Horn clauses and database dependencies.

@article{DBLP:journals/jacm/Fagin82,
  author    = {Ronald Fagin},
  title     = {Horn clauses and database dependencies},
  journal   = {J. ACM},
  volume    = {29},
  number    = {4},
  year      = {1982},
  pages     = {952-985},
  ee        = {db/journals/jacm/Fagin82.html, http://doi.acm.org/10.1145/322344.322347},
  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. Stéphane Lopes, Jean-Marc Petit, Lotfi Lakhal: Efficient Discovery of Functional Dependencies and Armstrong Relations. EDBT 2000: 350-364
2. Lucian Popa, Val Tannen: An Equational Chase for Path-Conjunctive Queries, Constraints, and Views. ICDT 1999: 39-57
3. Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61
4. Joachim Biskup, Andreas Kluck: A New Approach to Inferences of Semantic Constraints. ADBIS 1997: 72-79
5. Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)
6. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
7. Ke Wang, Li-Yan Yuan: First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng. 6(4): 518-533(1994)
8. Jyrki Kivinen, Heikki Mannila: The Power of Sampling in Knowledge Discovery. PODS 1994: 77-85
9. Andrea Neufeld, Guido Moerkotte, Peter C. Lockemann: Generating Consistent Test Data for a Variable Set of General Consistency Constraints. VLDB J. 2(2): 173-213(1993)
10. Xiaolei Qian: The Deductive Synthesis of Database Transactions. ACM Trans. Database Syst. 18(4): 626-677(1993)
11. Aaron Watters: Interpreting a Reconstructed Relational Calculus (Extended Abstract). SIGMOD Conference 1993: 367-376
12. Ashish Gupta, Jennifer Widom: Local Verification of Global Integrity Constraints in Distributed Databases. SIGMOD Conference 1993: 49-58
13. Ke Wang, Marc H. Graham: Constant-Time Maintainability: A Generalization of Independence. ACM Trans. Database Syst. 17(2): 201-246(1992)
14. M. Sh. Tsalenko: Database Theory in Russia (1979-1991) (an overview). ICDT 1992: 51-70
15. Allen Van Gelder, Rodney W. Topor: Safety and Translation of Relational Calculus Queries. ACM Trans. Database Syst. 16(2): 235-278(1991)
16. Dimitri Theodoratos: Monadic Databases with Equality. MFDBS 1991: 74-88
17. Stephen J. Hegner: Pairwise-Definable Subdirect Decompositions of General Database Schemata. MFDBS 1991: 243-257
18. János Demetrovics, Lajos Rónyai, Hua nam Son: On the Representation of Dependencies by Propositional Logic. MFDBS 1991: 230-242
19. Stephen J. Hegner: Foundations of Canonical Update Support for Closed Database Views. ICDT 1990: 422-436
20. Ronald Fagin: Finite-Model Theory - a Personal Perspective. ICDT 1990: 3-24
21. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
22. Gösta Grahne: Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases. PODS 1989: 75-82
23. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
24. Stephen J. Hegner: Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. PODS 1988: 174-183
25. Liz Sonenberg, Rodney W. Topor: On Domain Independent Disjunctive Databases. ICDT 1988: 281-291
26. Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40
27. Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362
28. Paolo Atzeni, Maria Cristina De Bernardis: A New Basis for the Weak Instance Model. PODS 1987: 79-86
29. Moshe Y. Vardi: On the Integrity of Databases with Incomplete Information. PODS 1986: 252-266
30. Yehoshua Sagiv: On Computing Restricted Projections of Representative Instances. PODS 1985: 171-180
31. Heikki Mannila, Kari-Jouko Räihä: Small Armstrong Relations for Database Design. PODS 1985: 245-250
32. Stavros S. Cosmadakis, Paris C. Kanellakis, Nicolas Spyratos: Partition Semantics for Relations. PODS 1985: 261-275
33. David Maier, Jeffrey D. Ullman, Moshe Y. Vardi: On the Foundations of the Universal Relation Model. ACM Trans. Database Syst. 9(2): 283-308(1984)
34. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
35. Edward P. F. Chan: Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions. SIGMOD Conference 1984: 149-163
36. Marc H. Graham, Moshe Y. Vardi: On the Complexity and Axiomatizability of Consistent Database States. PODS 1984: 281-289
37. Kent Laver, Alberto O. Mendelzon, Marc H. Graham: Functional Dependencies on Cyclic Database Schemes. SIGMOD Conference 1983: 79-91
38. John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69
39. Stephen J. Hegner: Algebraic Aspects of Relational Database Decomposition. PODS 1983: 400-413
40. Marc H. Graham: Path Expressions in Databases. PODS 1983: 366-378