On compiling queries in recursive first-order databases
- 1 January 1984
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 31 (1), 47-85
- https://doi.org/10.1145/2422.2423
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- On Evaluation of Queries Containing Derived Relations in a Relational Data BasePublished by Springer Science and Business Media LLC ,1981
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980
- Deductive Question-Answering on Relational Data BasesPublished by Springer Science and Business Media LLC ,1978
- On Closed World Data BasesPublished by Springer Science and Business Media LLC ,1978
- A Search Technique for Clause Interconnectivity GraphsIEEE Transactions on Computers, 1976
- Π-representation: A clause representation for parallel searchArtificial Intelligence, 1975
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965