Transitivity Rule - Armstrong's Axioms | OneNoughtOne