Give a lossless decomposition into BCNF of schema of Exercise 7.1.


Use the algorithm given on Figure 7.11 (BCNF decomposition algorithm).

One possible decomposition: