Functional dependencies.

(+) show the model is in BCNF. Not sure about 4NF (but 4NF not very
important)