Consider the relation schema R(A, B, C, D, E) and the set F…
Consider the relation schema R(A, B, C, D, E) and the set F = {A → B, B → CE, D → AE} of functional dependencies. Show that the FD AB → AC is logically implied by F by using Armstrong’s axioms only (do not use the derived inference rules and the attribute closure algorithm).
Read Details