Yujun Wang Baile Shi Yunyao Qu Decomposition and Lossless Join in Constraint Databases. 80-91 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#WangSQ97