Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases.
Mark WallacePublished in: SLP (1987)
Keyphrases
- deductive databases
- efficient implementation
- constraint checking
- logic programming
- integrity constraints
- fixpoint
- query evaluation
- disjunctive deductive databases
- datalog programs
- active set
- integrity checking
- stable models
- logic programs
- declarative semantics
- closed world assumption
- semantic query optimization
- model theoretic
- artificial intelligence
- fixpoint semantics
- declarative language
- query language
- constraint logic programming
- constraint solving
- expert systems
- update propagation
- object oriented
- knowledge base
- database
- answer set programming
- answer sets