Summary
We 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.
Similar content being viewed by others
References
Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proc. 1977 ACM SIGMOD (ed. D.C.P. Smith), pp. 47–61. Toronto: 1977
Cadiou, J.-M.: On semantic issues in the relational model of data. In: Math. foundations of computer science. Proceedings 1976, Lecture Notes in Computer Science, Vol. 45, pp. 23–38. Berlin-Heidelberg-New York: Springer 1976
Codd, E.F.: A relational model of data for large shared data banks. Comm. ACM 13, 377–387 (1970)
Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2, 262–278 (1977)
Fagin, R.: Private communication 1978
Mendelzon, A.O.: On axiomatizing multivalued dependencies in relational databases. Princeton University Technical Report 228, Princeton, N.J., 1977
Zaniolo, C.: Analysis and design of relational schemata for database systems. Ph. D. Dissertation, UCLA, Technical Report UCLA-ENG-7669, 1976
Zaniolo, C., Melkanoff, M.A.: Relational schemas for data base systems. Technical Report UCLA-ENG-7801, UCLA, 1978
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Biskup, J. On the complementation rule for multivalued dependencies in database relations. Acta Informatica 10, 297–305 (1978). https://doi.org/10.1007/BF00264322
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264322