First page Back Continue Last page Graphics

Inclusion Dependencies


Notes:

The inclusion dependencies are something special because the order of the attributes plays an important role. In simple inclusion dependencies we do not yet see this.

For sid's the rules are reflexivity and transitivity.

For id's reflexivity and transitivity also hold, but then there is also the projection and permutation rule (which can be given as one rule or as two rules).
An attribute with the same index may be omitted on both sides, and the order of the attributes may be changed in the same way on the left and right sides.

We can only prove the correctness of the rules today as we are going to see the proofs of completeness later.