A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases.
Andreas BehrendRainer MantheyPublished in: FoIKS (2008)
Keyphrases
- deductive databases
- fixpoint
- integrity constraints
- logic programming
- datalog programs
- query evaluation
- declarative language
- disjunctive deductive databases
- model theoretic
- view definitions
- semantic query optimization
- integrity checking
- truth values
- logic programs
- fixpoint semantics
- declarative semantics
- constraint checking
- semantics of logic programs
- nonmonotonic reasoning
- hidden markov models
- machine learning
- database