Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Multivalued Dependencies
Let R be a relation schema, and X and Y be disjoint subsets of R (i.e., X R, Y R,
XY= ), and Z = R- XY.A relation r(R) satisfies X Y if for any two tuples t1 and t2,
o t1(X)=t2(X), then there exist t3 in r such that
o t3(X)=t1(X), t3(Y)=t1(Y), t3(Z)=t2(Z).
o By symmetry, there exist t4 in r such that
o t4(X)=t1(X), t4(Y)=t2(Y), t4(Z)=t1(Z).
X Y Z
t1 x1 y1 z1
t2 x1 y2 z2
t3 x1 y1 z2
t4 x1 y2 z1
The MVD X Y says that the relationship between X and Y is independent of the
relationship between X and R-Y
For example consider the table Employee:
test relations to determine whether they are legal under a given set of FDs
and MVDs
specify constraints on a set of relations
Let D: a set of FDs and MVDs then D+: the closure of D is the set of all FDs and MVDs
logically implied by D.
D+ can be computed using the following set of sound and complete rules
1. reflexivity: if Y X then XY
2. augmentation: if X Y then WX Y
3. transitivity: if XY and YZ then X Z
4. complementation: if XY then X R-XY
5. MV augmentation: if X Y and W R, V W,then WX VY
6. MV transitivity: if X Y and Y Z then X Z-Y
7. replication: if X Y then X Y
8. coalescence: if XY and ZY, WR, WY= , WZ, then XZ
Note: The first three rules are Armstrongs axioms.