Recursive query processing: the power of logic
- 5 December 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 69 (1), 1-53
- https://doi.org/10.1016/0304-3975(89)90088-1
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Magic templates: a spellbinding approach to logic programsThe Journal of Logic Programming, 1991
- Magic counting methodsACM SIGMOD Record, 1987
- A message passing framework for logical query evaluationACM SIGMOD Record, 1986
- An amateur's introduction to recursive query processing strategiesACM SIGMOD Record, 1986
- Depth-first iterative-deepening: An optimal admissible tree search: R.E. Korf [Artificial Intelligence 27 (1) (1985) 97–109]Artificial Intelligence, 1986
- Automating control for logic programsThe Journal of Logic Programming, 1985
- On recursive axioms in deductive databasesInformation Systems, 1983
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Algorithm = logic + controlCommunications of the ACM, 1979
- Linear resolution with selection functionArtificial Intelligence, 1972