Armstrong's Axioms