Question: 3 . [ Functional Dependencies ] ( 3 0 ) Recall Armstrong s axioms. Reflexivity rule: if Y X then X - > Y Augmentation

3.[Functional Dependencies](30) Recall Armstrongs axioms.
Reflexivity rule: if Y X then X -> Y
Augmentation rule: if X -> Y then XZ -> YZ
Transitivity rule: if X -> Y and Y -> Z then X -> Z
a.[10 pts] Give two examples for using Armstrongs inference rules to induce new FDs from the set of FDs you designed in question 2(b).
b.[20 pts] Prove the following inference rules also hold, using FD definition and Armstrongs Axioms.
i. decomposition rule: if X -> YZ then: X -> Y and X -> Z
ii. Psuedo transitivity: if X -> Y and YW -> Z then: XW -> Z

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!