The generalized counting method for recursive logic queries
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Evaluation of database recursive logic programs as recurrent function seriesPublished by Association for Computing Machinery (ACM) ,1986
- A message passing framework for logical query evaluationPublished by Association for Computing Machinery (ACM) ,1986
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Naive Evaluation of Recursively Defined RelationsPublished by Springer Nature ,1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Magic sets and other strange ways to implement logic programs (extended abstract)Published by Association for Computing Machinery (ACM) ,1985
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- Horn clauses and the fixpoint query hierarchyPublished by Association for Computing Machinery (ACM) ,1982
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976