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.

{UV WR, U W} {V R}

Explanation / Answer

{UV WR, U W} {V R}

UV WR,

U W

1.UWR

2.VWR

WWR (U W)

WV   

Therefore VR is not true

Related Questions

Navigate

• Browse (All)
• Browse P
• Subjects

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