Prove or disprove the following proposed inference rules for functional dependen

Question

Prove or disprove the following proposed inference rules for functional dependencies. A proof should be made by using the reflexive, augmentation, transitive, decomposition, union, and pseudotransitive rules. A disproof should be performed by demonstrating a relation instance that satisfies the conditions and functional dependencies on the left hand side of the proposed rule but does not satisfy the dependencies on the right hand side. No other form of dispoof will be accepted.

{U V, U W, VW R} { U R }

Explanation / Answer

Proof :

(i) Given U->V
(ii) Given U->W
(iii) Given VW->R
(iv) U->UV (using augmentation with U)
(v) UV->VW (using augmentation with V)
(vi) U->VW (using transitivity)
(vii) U->R(using transitivity)

Related Questions

Navigate

• Browse (All)
• Browse P
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.