Decompose R(A, B, C, D, E, F) with dependencies: AB→C, BC→AD, D→E, CF→B By BCNF decomposition, we split R into R1 = ABCDE and R2 = ABF Compute the restrictions F1 of F for R1 and F2 of F for R2 F1 : D→E, AB→C, BC→AD, F2 : ∅ Decompose R1(A, B, C, D, E) with dependencies: D→E, AB→C, BC→AD By BCNF decomposition, we split R1 into R11 = DE and R12 = ABCD Compute the restrictions F11 of F for R11 and F12 of F for R12 F11 : D→E, F12 : AB→C, BC→AD Decompose R11(D, E) with dependencies: D→E DE it is in BCNF Decompose R12(A, B, C, D) with dependencies: AB→C, BC→AD ABCD it is in BCNF Decompose R2(A, B, F) with dependencies: ∅ ABF it is in BCNF
