unit-3-dbms
unit-3-dbms
• IR1, IR2, IR3 form a sound and complete set of inference rules
– These are rules hold and all other rules that hold can be
deduced from these
Inference Rules for FDs (2)
• Some additional inference rules that are
useful:
– Decomposition: If X -> YZ, then X -> Y and X -> Z
– Union: If X -> Y and X -> Z, then X -> YZ
– Psuedotransitivity:
If X -> Y and WY -> Z, then WX -> Z