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 ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/smod7592 or /cdrom

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

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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

Contents

Online Edition: ACM Digital Library

References

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

Last update Tue Sep 18 00:24:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page