Let,
To check equivalence first we check G ⊆ F (F cover G) and then check F ⊆ G (G cover F). Actually, we do a membership test (see Membership Test), pick up the Functional Dependency of G, and check the membership test to F (G ⊆ F), and doing the same thing in the case of F ⊆ G.
G ⊆ F F = {A → B, AB → C, D → AC, D → E} ⊨A → BC ⊨D → AE
Here F ≡ G. | F ⊆ G G = {A → BC, D → AE} ⊨A → B ⊨AB → BC ⊨D → AC ⊨D → E |
Contributed by