Armstrong's axioms

English

Etymology

Developed by William W. Armstrong in a 1974 paper.

Noun

Armstrong's axioms pl (plural only)

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