Mixed Fixpoint Theory for Disjunktive Deductive Databases.
Dietmar SeipelUlrich GüntzerPublished in: WLP (1995)
Keyphrases
- deductive databases
- fixpoint
- model theoretic
- closed world assumption
- semantics of logic programs
- query evaluation
- integrity constraints
- logic programming
- logic programs
- stable models
- fixpoint semantics
- truth values
- declarative semantics
- update propagation
- datalog programs
- knowledge representation
- metadata
- recursive queries
- horn clauses