Soundness and Completeness - Armstrong's Axioms | OneNoughtOne