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), .