In database design, a lossless join decomposition is a decomposition of
a relation into relations. such that a natural join of the two smaller
relations yields back the original relation. This is central in removing
redundancy safely from databases while preserving the original data.
