Functional dependencies: what determines what

The rule underneath every normal form: X determines Y. How to test one against real rows, why the rows can only ever disprove it, and how a key makes the database enforce it.