Design overview of the NAIL! System
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- 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
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Convergence of sideways query evaluationPublished by Association for Computing Machinery (ACM) ,1985
- Magic sets and other strange ways to implement logic programs (extended abstract)Published by Association for Computing Machinery (ACM) ,1985
- Data independent recursion in deductive databasesPublished by Association for Computing Machinery (ACM) ,1985
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Horn clauses and the fixpoint query hierarchyPublished by Association for Computing Machinery (ACM) ,1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976