A "multivalued dependency" is an assertion that two attributes or sets of attributes are independent of one another. This condition is, as we shall see, an overview of the notion of a functional dependency, in the sense that every FD implies a corresponding multivalued dependency.