An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic.

@article{DBLP:journals/jacm/SagivDPF81,
  author    = {Yehoshua Sagiv and
               Claude Delobel and
               Douglas Stott Parker Jr. and
               Ronald Fagin},
  title     = {An Equivalence Between Relational Database Dependencies and a
               Fragment of Propositional Logic},
  journal   = {J. ACM},
  volume    = {28},
  number    = {3},
  year      = {1981},
  pages     = {435-453},
  ee        = {db/journals/jacm/SagivDPF81.html, http://doi.acm.org/10.1145/322261.322263},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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/An5-2 or /cdrom

• 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/aDVD2 or /dvd

Online Edition

Referenced by

1. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
2. Liwu Li: Fast In-Place Verification of Data Dependencies. IEEE Trans. Knowl. Data Eng. 5(2): 266-281(1993)
3. Jyrki Kivinen, Heikki Mannila: Approximate Dependency Inference from Relations. ICDT 1992: 86-98
4. János Demetrovics, Lajos Rónyai, Hua nam Son: On the Composition and Decomposition of Attributes and Tuples. ICDT 1992: 71-85
5. János Demetrovics, Lajos Rónyai, Hua nam Son: On the Representation of Dependencies by Propositional Logic. MFDBS 1991: 230-242
6. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
   Contents
7. Bernhard Thalheim: Design Tools for Large Relational Database Systems. MFDBS 1987: 210-224
8. Hiroshi Arisawa, Takao Miura: On the Properties of Extended Inclusion Dependencies. VLDB 1986: 449-456
9. Hirofumi Katsuno: An Extension of Conflict-Free Multivalued Dependency Sets. ACM Trans. Database Syst. 9(2): 309-326(1984)
10. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
11. Allan Shepherd, Larry Kerschberg: PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. SIGMOD Conference 1984: 307-315
12. Patrick C. Fischer, Dirk Van Gucht: Weak Multivalued Dependencies. PODS 1984: 266-274
13. Stavros S. Cosmadakis, Christos H. Papadimitriou: Updates of Relational Views. PODS 1983: 317-331
14. Catriel Beeri, Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351
15. David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
    Contents
16. Carol Helfgott LeDoux, Douglas Stott Parker Jr.: Reflections on Boyce-Codd Normal Form. VLDB 1982: 131-141
17. Ronald Fagin: A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. 6(3): 387-415(1981)
18. Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259
19. William Ward Armstrong, Claude Delobel: Decomposition and Functional Dependencies in Relations. ACM Trans. Database Syst. 5(4): 404-430(1980)
20. K. K. Nambiar: Some Analytic Tools for the Design of Relational Database Systems. VLDB 1980: 417-428