Negation in rule-based database languages: a survey
- 21 January 1991
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 78 (1) , 3-83
- https://doi.org/10.1016/0304-3975(51)90003-5
Abstract
No abstract availableKeywords
This publication has 67 references indexed in Scilit:
- Negation by default and unstratifiable logic programsTheoretical Computer Science, 1991
- Negation in rule-based database languages: a surveyTheoretical Computer Science, 1991
- Logic programming with setsJournal of Computer and System Sciences, 1990
- Principles of database and knowledge-base systemsChoice Reviews Online, 1989
- Minimalism, justification and non-monotonicity in deductive databasesJournal of Computer and System Sciences, 1989
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- Negation as inconsistency. IThe Journal of Logic Programming, 1986
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955