Suppose that we decompose the schema into
Show that this decomposition is a lossless decomposition if the following set of functional dependencies holds:
A decomposition is a lossless decomposition if or . Let , , and . Since is a candidate key (see Practice Exercise 7.6), .