Consider the following relation R = (A, B, C, D, E, F, G, H) and the functional dependency set F = {A ? D, B ? E, B ? F, C ? A, C ? B, EF ? GH}. Prove that the following functional dependencies are in F+, using Armstrongs 3 axioms (reflexivity, augmentation and transitivity). Note that you are not allowed to use the additional rules. Show your work and indicate the axiom you used at each step.

a) C ? DB

b) C ? G