FD1={A->DF, A->B, D->F, DE->F} , FD2={A->BD, D->EF}
from FD1 : A->DF turns into A->D and A->F . Also A->F is not needed cause we can get there with A->D and D->F . So A->BD ,because A->B and A->D
How to prove that D->EF in FD1?
FD1={A->DF, A->B, D->F, DE->F} , FD2={A->BD, D->EF}
from FD1 : A->DF turns into A->D and A->F . Also A->F is not needed cause we can get there with A->D and D->F . So A->BD ,because A->B and A->D
How to prove that D->EF in FD1?
It is not difficult to prove that a functional dependency can be derived from a set of dependencies F. What you have to do is simply to compute the closure of the left part of the dependency with respect to F, and the see if the right part is contained in the closure.
For instance, if you want to discover if D -> EF is implied by FD1 ot not, you can compute the closure of D with respect to FD1 and see if EF is contained in it:
D+ = D
D+ = DF (because of the dependency D -> F in FD1)
no other depenencies in FD1 have the left part inside DF and the right part outside it, so the closure of D, D+ is DF, which does not contain E, so that the dependency D -> EF cannot be derived from FD1 and the two sets of dependencies are not equivalent.