Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics.
Françoise FabretMireille RégnierEric SimonPublished in: ICDT (1992)
Keyphrases
- datalog programs
- fixpoint semantics
- datalog programs with negation
- inconsistent databases
- fixpoint
- deductive databases
- logic programs
- model theoretic
- conjunctive queries
- query answering
- magic sets
- recursive queries
- stable models
- data complexity
- logic programming
- formal semantics
- operational semantics
- data exchange
- query containment
- declarative semantics
- np complete
- programming language