Armstrong's axioms