Can also be called Nonadditive. If you decompose a relation






Let

Let


Let



The decomposition is a lossless-join decomposition of R if at least one of the following functional dependencies are in



∩
→
∩
→
Example
- Let
be the relation schema, with
,
,
and
attributes.
- Let
be the set of functional dependencies.
- Decomposition into
and
is lossless under
because
and
so
.
No comments:
Post a Comment