In the context of schema normalization in relational DBMS, consider a set of functional dependencies. The set of all functional dependencies implied by is called the closure of . To compute the closure of , Armstrong's Axioms can be applied. Consider , and as sets of attributes over a relational schema. The three rules of Armstrong's Axioms are described as follows. Reflexivity: If , then Augmentation: If , then for any Z Transitivity: If and , then The additional rule of Union is defined as follows. Union: If and , then It can be proved that the additional rule of Union is also implied by the three rules of Armstrong's Axioms. Listed below are four combinations of these three rules. Which one of these combinations is both necessary and sufficient for the proof?


