More precisely, we say the decomposition
is lossless if, for all legal database instances (that is, database instances that satisfy
the specified functional dependencies and other constraints), relation r contains
the same set of tuples as the result of the following SQL query