Armstrong's axioms

Etymology
Developed by William W. Armstrong in a 1974 paper.

Noun

 * 1)  A set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.