Lossless-join decomposition