Armstrong's axioms noun[plural only]1 •A set of references (or, more precisely, inference rules) used to infer all the functional dependencies on a relational database.
