ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Efficient tests for top-down termination of logical rules.

Jeffrey D. Ullman, Allen Van Gelder: Efficient tests for top-down termination of logical rules. J. ACM 35(2): 345-373(1988)
@article{DBLP:journals/jacm/UllmanG88,
  author    = {Jeffrey D. Ullman and
               Allen Van Gelder},
  title     = {Efficient tests for top-down termination of logical rules},
  journal   = {J. ACM},
  volume    = {35},
  number    = {2},
  year      = {1988},
  pages     = {345-373},
  ee        = {db/journals/jacm/UllmanG88.html, http://doi.acm.org/10.1145/42282.42285},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

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. Sha Guo, Wei Sun, Mark Allen Weiss: On Satisfiability, Equivalence, and Impication Problems Involving Conjunctive Queries in Database Systems. IEEE Trans. Knowl. Data Eng. 8(4): 604-616(1996)
  2. Kirack Sohn: Constraints among Argument Sizes in Logic Programs. PODS 1994: 68-74
  3. Kirack Sohn, Allen Van Gelder: Termination Detection in Logic Programs using Argument Sizes. PODS 1991: 216-226
  4. Alexander Brodsky, Yehoshua Sagiv: Inference of Inequality Constraints in Logic Programs. PODS 1991: 227-240
  5. 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)
  6. Allen Van Gelder: Deriving Constraints Among Argument Sizes in Logic Programs. PODS 1990: 47-60
  7. Hirohisa Seki: On the Power of Alexander Templates. PODS 1989: 150-159
  8. Alexander Brodsky, Yehoshua Sagiv: Inference of Monotonicity Constraints in Datalog Programs. PODS 1989: 190-199
  9. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
BibTeX

Copyright © Sun May 17 00:05:46 2009 by Michael Ley (ley@uni-trier.de)