On the complementation rule for multivalued dependencies in database relations

SummaryWe study the interrelation between various versions of the complementation rule and other inference rules for multivalued dependencies in database relations. In particular we settle two open questions of [1] concerning the derivability of inference rules for Boolean operations on the right side of multivalued dependencies. Furthermore we prove that there is a trade-off between the complementation rule and the augmentation rule.