Definition The term Armstrong axioms refers to the sound and complete set of inference rules or axioms, introduced by William W. Armstrong [ 2 ], that is used to test logical implication of functional dependencies. Given a relation schema R [ U ] and a set of functional dependencies Σ ...