DBMS - Algorithm to Check Whether a Decomposition Is Lossless