dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.

Catriel Beeri, Ronald Fagin, John H. Howard: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61
@inproceedings{DBLP:conf/sigmod/BeeriFH77,
  author    = {Catriel Beeri and
               Ronald Fagin and
               John H. Howard},
  editor    = {Diane C. P. Smith},
  title     = {A Complete Axiomatization for Functional and Multivalued Dependencies
               in Database Relations},
  booktitle = {Proceedings of the 1977 ACM SIGMOD International Conference on
               Management of Data, Toronto, Canada, August 3-5, 1977},
  publisher = {ACM},
  year      = {1977},
  pages     = {47-61},
  ee        = {http://doi.acm.org/10.1145/509404.509414},
  crossref  = {DBLP:conf/sigmod/77},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We investigate the inference rules that can be applied to functional and multivalued dependencies that exist in a database relation. Three types of rules are discussed. First, we list the well known rules for functional dependencies. Then we investigate the rules for multivalued dependencies. It is shown that for each rule for functional dependencies the same rule or a similar rule holds for multivalued dependencies. There is, however, one additional rule for multivalued dependencies that has no parallel among the rules for functional dependencies. Finally, we present rules that involve functional and multivalued dependencies together. The main result of the paper is that the rules presented are complete for the family of functional and multivalued dependencies.

Copyright © 1977 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Diane C. P. Smith (Ed.): Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, Toronto, Canada, August 3-5, 1977. ACM 1977 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
Contents

Online Edition: ACM Digital Library


References

[Arm]
William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Beer1]
...
[Beer2]
...
[Bern1]
Philip A. Bernstein: Synthesizing Third Normal Form Relations from Functional Dependencies. ACM Trans. Database Syst. 1(4): 277-298(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bern2]
...
[Codd1]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Codd2]
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fag1]
...
[Fag2]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fag3]
Ronald Fagin: The Decomposition Versus Synthetic Approach to Relational Database Design. VLDB 1977: 441-446 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Riss]
Jorma Rissanen: Independent Components of Relations. ACM Trans. Database Syst. 2(4): 317-325(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SS]
Hans Albrecht Schmid, J. Richard Swenson: On the Semantics of the Relational Data Model. SIGMOD Conference 1975: 211-223 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Zan]
...

Last update Tue Sep 18 00:24:54 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page