Theory of Multivalued Dependencies (Cont.) 4.Complementation rule.If>B holds,then R-B-a holds. 5.Multivalued augmentation rule.Ife>B holds and y R and 8 cy,thena δB holds. 6.Multivalued transitivity rule.If e>B holds and>y holds, then->y-βholds. 7.Replication rule.If B holds,then>B. 8.Coalescence rule.Ife>B holds andy B and there is a 8 such thatδR andδB=g-andδY,t拽eno y holds. Database System Concepts,5th Ed. C.3 ©Silberschat乜，Korth and SudarshanDatabase System Concepts, 5 C.3 ©Silberschatz, Korth and Sudarshan th Ed. Theory of Multivalued Dependencies (Cont.) 4. Complementation rule. If   holds, then  R –  –  holds. 5. Multivalued augmentation rule. If   holds and   R and   , then     holds. 6. Multivalued transitivity rule. If   holds and   holds, then   –  holds. 7. Replication rule. If   holds, then  . 8. Coalescence rule. If   holds and    and there is a  such that   R and    =  and  , then   holds