generated at
lossless join decomposition