Theory of Multivalued Dependencies (Cont.) 。 Complementation rule.If a>>B holds,then a>>R-B-a holds. 。 Multivalued augmentation rule.If aB holds and y R and y,then y aB holds. 。 Multivalued transitivity rule.If a>B holds and B>>y holds, then→>y-βholds. Replication rule.If a>B holds,then a>B. Coalescence rule.lfo->>βholds and yβand there is aδ such thatδRandδ∩B=☑andδ>Y,then>y holds. Database System Concepts-7th Edition 28.4 @Silberschatz,Korth and SudarshanDatabase System Concepts - 7 28.4 ©Silberschatz, Korth and Sudarshan th Edition Theory of Multivalued Dependencies (Cont.) • Complementation rule. If   holds, then  R –  –  holds. • Multivalued augmentation rule. If   holds and   R and   , then     holds. • Multivalued transitivity rule. If   holds and   holds, then   –  holds. • Replication rule. If   holds, then  . • Coalescence rule. If   holds and    and there is a  such that   R and    =  and  , then   holds