Qi (2 pt): Proof Accumulation Rule via the three Armstrong Axioms (re- flexivity, augmentation, and transitivity): • (Ac
Posted: Sat Nov 27, 2021 10:30 am
Qi (2 pt): Proof Accumulation Rule via the three Armstrong Axioms (re- flexivity, augmentation, and transitivity): • (Accumulation Rule) If X + YZ and Z → W, then X + YZW