Recursive query answering with non-horn clauses
- 9 June 2005
- conference paper
- Published by Springer Nature
- p. 294-312
- https://doi.org/10.1007/bfb0012838
Abstract
No abstract availableKeywords
This 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 strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Deduction in non-Horn databasesJournal of Automated Reasoning, 1985
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- On Evaluation of Queries Containing Derived Relations in a Relational Data BasePublished by Springer Nature ,1981
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979