A Proof Procedure Using Connection Graphs.

Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975)
  author    = {Robert A. Kowalski},
  title     = {A Proof Procedure Using Connection Graphs},
  journal   = {J. ACM},
  volume    = {22},
  number    = {4},
  year      = {1975},
  pages     = {572-595},
  ee        = {db/journals/jacm/Kowalski75.html,},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition

Citation Page BibTeX

Referenced by

  1. John Jeffrey, Jorge Lobo, Tadao Murata: A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. IEEE Trans. Knowl. Data Eng. 8(2): 241-259(1996)
  2. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
  3. Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)
  4. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
  5. Guido Moerkotte, Stefan Karl: Efficient Consistency Control in Deductive Databases. ICDT 1988: 118-128
  6. Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69
  7. Eliezer L. Lozinskii: A Problem-Oriented Inferential Database System. ACM Trans. Database Syst. 11(3): 323-356(1986)
  8. Charles Kellogg, Anthony B. O'Hare, Larry Travis: Optimizing the Rule-Data Interface in a KMS. VLDB 1986: 42-51
  9. Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt: Adaptive Predicate Managers in Database Systems. VLDB 1986: 21-29
  10. Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985)
  11. Carlo Zaniolo: The Representation and Deductive Retrieval of Complex Objects. VLDB 1985: 458-469
  12. David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
  13. Charles Kellogg, Philip Klahr, Larry Travis: A Deductive Capability for Data Management. VLDB 1976: 181-196

Copyright © Sun May 17 00:05:23 2009 by Michael Ley (