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
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
- 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)
- Kirack Sohn:
Constraints among Argument Sizes in Logic Programs.
PODS 1994: 68-74
- Kirack Sohn, Allen Van Gelder:
Termination Detection in Logic Programs using Argument Sizes.
PODS 1991: 216-226
- Alexander Brodsky, Yehoshua Sagiv:
Inference of Inequality Constraints in Logic Programs.
PODS 1991: 227-240
- 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)
- Allen Van Gelder:
Deriving Constraints Among Argument Sizes in Logic Programs.
PODS 1990: 47-60
- Hirohisa Seki:
On the Power of Alexander Templates.
PODS 1989: 150-159
- Alexander Brodsky, Yehoshua Sagiv:
Inference of Monotonicity Constraints in Datalog Programs.
PODS 1989: 190-199
- 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)