Lossless-Join Decomposition