An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.
Hendrik DeckerPublished in: JICSLP (1996)
Keyphrases
- deductive databases
- integrity checking
- logic programming
- integrity constraints
- constraint checking
- logical implication
- view definitions
- query evaluation
- disjunctive deductive databases
- fixpoint
- logic programs
- semantic query optimization
- model theoretic
- declarative language
- stable models
- declarative semantics
- closed world assumption
- knowledge representation
- knowledge base
- reasoning tasks
- answer sets
- background knowledge
- logic programming language
- fixpoint semantics