Compiling the GCWA in Indefinite Deductive Databases
- 1 January 1988
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- On indefinite databases and the closed world assumptionPublished by Springer Nature ,2005
- An amateur's introduction to recursive query processing strategiesACM SIGMOD Record, 1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Deduction in non-Horn databasesJournal of Automated Reasoning, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984