Augmentation Rule - Armstrong's Axioms | OneNoughtOne