lossless decomposition

decomposition of a database relation such that a natural join of the resulting relations yields back the original relation