Functional Dependencies
Functional dependency is a an extension of the notion of “key”.
Functional dependencies are constrains on a set of legal relations.
Functional dependency for ? ? R, ? ? R,
Holds on R if for all pairs of tuples t1 and t2 if t1[?] = t2[?] then t1[?] = t2[?]