First page Back Continue Last page Graphics
Inference Rules for FDs and MVDs
The following set of rules for fd's and mvd's is complete:
Let X, Y, Z, V, W be sets of attributes of R:
- F1: if Y X then X Y
- F2: if X Y then XZ YZ
- F3: if X Y and Y Z then X Z
- M1: if X Y then X R Y
- M2: if X Y and V W then XW YV
- M3: if X Y and Y Z then X Z Y
- FM1: if X Y then X Y
- FM2: if X Y and Y Z then X Z Y
Notes: