Give an example schema of the relational database which is in the thir normal form but not in the Boyce-Codd (BC) normal form. Decompose the schema into the BC normal form. Are the lossless join property and the functional dependency preserved during this decomposition?
See [ELM99] for a detailed answer.