Question: Prove that the following two dependency sets are equivalent. F1 = { A,B -> C,D,E,F,G A -> C B -> D,E,F E -> F }

Prove that the following two dependency sets are equivalent.

F1 = { A,B -> C,D,E,F,G A -> C B -> D,E,F E -> F } F2 = { A,B -> G A -> C B -> D,E,F E -> F } 

That is:

A [2 marks]: Show that dependency A,B -> C,D,E,F,G in F1 is a logical consequence of the dependencies in F2 using the 6 FD inference rules.

B [2 marks]: Show that dependency A,B -> G in F2 is a logical consequence of the dependencies in F1 using the 6 FD inference rules.

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 Databases Questions!