Some other rules
Provable from IR1-3:
IR4. Decomposition: if X?YZ then X?Y
IR5. Union (additive) rule: if X?Y and X?Z then X?YZ
IR6. Pseudotransitivity: if X?Y and WY?Z then WX?Z
These should also make sense. Try them out with actual attributes!
Previous slide
Next slide
Back to first slide
View graphic version