The Semantics of Predicate Logic as a Programming Language.

@article{DBLP:journals/jacm/EmdenK76,
  author    = {Maarten H. van Emden and
               Robert A. Kowalski},
  title     = {The Semantics of Predicate Logic as a Programming Language},
  journal   = {J. ACM},
  volume    = {23},
  number    = {4},
  year      = {1976},
  pages     = {733-742},
  ee        = {db/journals/jacm/EmdenK76.html, http://doi.acm.org/10.1145/321978.321991},
  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. Peter Z. Revesz: Safe Query Languages for Constraint Databases. ACM Trans. Database Syst. 23(1): 58-99(1998)
2. Louiqa Raschid, Jorge Lobo: Semantics for Update Rule Programs and Implementations in a Relational Database Management System. ACM Trans. Database Syst. 21(4): 526-571(1996)
3. Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Deductive Databases by Mixed Integer Programming. ACM Trans. Database Syst. 21(2): 238-269(1996)
4. Jürgen Kalinski: Disjunctive Rules, Maybe Tuples and Null Values: Logic Programs with Incomplete Information. ADBIS 1996: 84-92
5. Beat Wüthrich: Probabilistic Knowledge Bases. IEEE Trans. Knowl. Data Eng. 7(5): 691-698(1995)
6. Teruhiro Shimura, Jorge Lobo, Tadao Murata: An Extended Petri Net Model for Normal Logic Programs. IEEE Trans. Knowl. Data Eng. 7(1): 150-162(1995)
7. V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382
8. Giansalvatore Mecca, Anthony J. Bonner: Finite Query Languages for Sequence Databases. DBPL 1995: 12
9. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
10. Werner Kießling, Helmut Schmidt, Werner Strauß, Gerhard Dünzinger: DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology. VLDB J. 3(2): 211-243(1994)
11. Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. IEEE Trans. Knowl. Data Eng. 6(4): 501-517(1994)
12. Liwu Li: High-Level Petri Net Model of Logic Program with Negation. IEEE Trans. Knowl. Data Eng. 6(3): 382-395(1994)
13. Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen: An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. IEEE Trans. Knowl. Data Eng. 6(5): 713-722(1994)
14. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
15. Terry Gaasterland, Jorge Lobo: Qualified Answers That Reflect User Needs and Preferences. VLDB 1994: 309-320
16. Jan Chomicki, Tomasz Imielinski: Finite Representation of Infinite Query Answers. ACM Trans. Database Syst. 18(2): 181-223(1993)
17. Edward P. F. Chan: A Possible World Semantics for Disjunctive Databases. IEEE Trans. Knowl. Data Eng. 5(2): 282-292(1993)
18. Marco Schaerf: Negation and Minimality in Non-Horn Databases. PODS 1993: 147-157
19. Yangjun Chen: A Bottom-up Query Evaluation Method for Stratified Databases. ICDE 1993: 568-575
20. Guozhu Dong, Jianwen Su: First-Order Incremental Evaluation of Datalog Queries. DBPL 1993: 295-308
21. Anthony J. Bonner: The Complexity of Reusing and Modifying Rulebases. PODS 1992: 316-330
22. José Alberto Fernández, Jack Minker: Semantics of Disjunctive Deductive Databases. ICDT 1992: 21-50
23. Guozhu Dong, Rodney W. Topor: Incremental Evaluation of Datalog Queries. ICDT 1992: 282-296
24. Monica D. Barback, Jorge Lobo, James J. Lu: Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT 1992: 246-260
25. Marianne Baudinet, Marc Niézette, Pierre Wolper: On the Representation of Infinite Temporal Data and Queries. PODS 1991: 280-290
26. Peter Sander: Specifying Operations for Nested Relations by Rules and Partial Orders. MFDBS 1991: 44-58
27. Michael Kifer, Eliezer L. Lozinskii: On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 15(3): 385-426(1990)
28. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)
29. Sumit Ganguly, Abraham Silberschatz, Shalom Tsur: A Framework for the Parallel Processing of Datalog Queries. SIGMOD Conference 1990: 143-152
30. John S. Schlipf: The Expressive Powers of the Logic Programming Semantics. PODS 1990: 196-204
31. Yatin P. Saraiya: Polynomial-Time Program Transformations in Deductive Databases. PODS 1990: 132-144
32. Véronique Royer: Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS 1990: 183-195
33. Jan Chomicki: Polynomial Time Query Processing in Temporal Deductive Databases. PODS 1990: 379-391
34. Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186
35. Yuli Zhou, Meichun Hsu: A Theory for Rule Triggering Systems. EDBT 1990: 407-421
36. Carlo Zaniolo: Deductive Databases - Theory Meets Practice. EDBT 1990: 1-15
37. Anthony J. Bonner, Tomasz Imielinski: The Reuse and Modification of Rulebases by Predicate Substituation. EDBT 1990: 437-451
38. Stefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166(1989)
39. Yannis E. Ioannidis, Timos K. Sellis: Conflict Resolution of Rules Assigning Values to Virtual Attributes. SIGMOD Conference 1989: 205-214
40. Jan Chomicki, Tomasz Imielinski: Relational Specifications of Infinite Query Answers. SIGMOD Conference 1989: 174-183
41. Kenneth A. Ross: A Procedural Semantics for Well Founded Negation in Logic Programs. PODS 1989: 22-33
42. François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50
43. Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52
44. Nikolaus Steger, Helmut Schmidt, Ulrich Güntzer, Werner Kießling: Semantics and Efficient Compilation for Quantitative Deductive Databases. ICDE 1989: 660-669
45. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
46. Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329
47. Runping Qi, Wolfgang Bibel: A Framework for the Parallel Evaluation of Recursive Queries in Deductive Databases. DASFAA 1989: 301-309
48. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
49. Ouri Wolfson, Abraham Silberschatz: Distributed Processing of Logic Programs. SIGMOD Conference 1988: 329-336
50. Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988: 10-14
51. Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230
52. Jan Chomicki, Tomasz Imielinski: Temporal Deductive Databases and Infinite Objects. PODS 1988: 61-73
53. François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162
54. Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117
55. Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressiblity. ICDT 1988: 144-160
56. Domenico Saccà, Carlo Zaniolo: Magic Counting Methods. SIGMOD Conference 1987: 49-59
57. Yehoshua Sagiv: Optimizing Datalog Programs. PODS 1987: 349-362
58. Jeffrey F. Naughton, Yehoshua Sagiv: A Decidable Class of Bounded Recursions. PODS 1987: 227-236
59. Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20
60. Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37
61. Michael Kifer, Eliezer L. Lozinskii: Implementing Logic Programs as a Database System. ICDE 1987: 375-385
62. Ulrich Güntzer, Werner Kießling, Rudolf Bayer: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. ICDE 1987: 120-129
63. G. Barbara Demo: Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases. ICDE 1987: 130-137
64. Stefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402
65. Allen Van Gelder: A Message Passing Framework for Logical Query Evaluation. SIGMOD Conference 1986: 155-165
66. François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52
67. Domenico Saccà, Carlo Zaniolo: On the Implementation of a Simple Class of Logic Queries for Databases. PODS 1986: 16-23
68. Stavros S. Cosmadakis, Paris C. Kanellakis: Parallel Evaluation of Recursive Rule Queries. PODS 1986: 280-293
69. Domenico Saccà, Carlo Zaniolo: The Generalized Counting Method for Recursive Logic Queries. ICDT 1986: 31-53
70. Shamim A. Naqvi: Some Extensions to the Closed World Assumption in Databases. ICDT 1986: 341-348
71. Michael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202
72. Paris C. Kanellakis: Logic Programming and Parallel Complexity. ICDT 1986: 1-30
73. Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985)
74. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
75. Ashok K. Chandra, David Harel: Horn Clauses and the Fixpoint Query Hierarchy. PODS 1982: 158-163
76. Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421