Armstrong's axioms
English
Etymology
Developed by William W. Armstrong in a 1974 paper.
Noun
Armstrong's axioms pl (plural only)
- (databases) A set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.