3.1.05. Aims
Attribute preservation
Union of all decomposed relations = original
Lossless/non-additive join
For every extension, total join of r(R
i
) yeilds r(R)
no spurious/erroneous tuples