無損失結合分解
lossless join decomposition