Can also be called Nonadditive. If you decompose a relation into relations and you will guarantee a Lossless-Join if ⋈ = .
Let be a relation schema.
Let be a set of functional dependencies on .
Let and form a decomposition of .
The decomposition is a lossless-join decomposition of R if at least one of the following functional dependencies are in +(where + stands for the closure for every attribute 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