Consider the following set F of functional dependencies on the relation schema R(A, B, C, D, E, F):
F = {A -> BCD, BC -> DE, B -> D, D -> A}
(a) Compute B+.
(b) Prove (using Armstrong’s axioms) that AF is a superkey.
(c) Give a BCNF decomposition of R using the original set of FDs.