Fixpoint Iteration with Subsumption in Deductive Databases.
Gerhard KöstlerWerner KießlingHelmut ThöneUlrich GüntzerPublished in: J. Intell. Inf. Syst. (1995)
Keyphrases
- fixpoint
- deductive databases
- logical implication
- integrity constraints
- logic programming
- query evaluation
- description logics
- stable models
- model theoretic
- fixpoint semantics
- datalog programs
- update propagation
- recursive queries
- transitive closure
- declarative semantics
- machine learning
- data model
- truth values
- np complete
- logic programs
- finite state machines
- object identity
- general purpose
- query language
- semantics of logic programs