Derived Rules (Union, Decomposition, Pseudotransitivity) - Armstrong's Axioms | OneNoughtOne