Correct Decompositions
•
Given R(A,B,C) s.t. A
à
B, the
decomposition into R1(A,B), R2(A,C) is
lossless
•