An efficient strategy for non-Horn deductive databases
- 21 January 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 78 (1) , 245-259
- https://doi.org/10.1016/0304-3975(51)90010-2
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Procedural interpretation of non-horn logic programsPublished by Springer Nature ,2005
- Recursive query answering with non-horn clausesPublished by Springer Nature ,2005
- Syntactical characterization of a subset of domain-independent formulasJournal of the ACM, 1992
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Nonmonotonic ReasoningAnnual Review of Computer Science, 1987
- Negation as failure: Careful closure procedureArtificial Intelligence, 1986
- The Alexander Method — A technique for the processing of recursive axioms in deductive databasesNew Generation Computing, 1986