Facts about FD
FDs are purely semantic in nature
FDs are facts about the abstract relation, not just about a particular relation instance
- They must hold for all possible legal instances of a relation
All attributes of a relation are functionally dependent upon its key!
- In fact, we can formally define keys in terms of FDs.