Important Point!
Functional dependencies are part of the
schema!
They constrain the possible
legal
data
instances.
At any point in time, the actual database
may satisfy additional FDs.