Model-Theoretic Minimal Chenge Operators for Constraint Databases.
Peter Z. ReveszPublished in: ICDT (1997)
Keyphrases
- constraint databases
- model theoretic
- deductive databases
- query evaluation
- description logics
- transitive closure
- linear constraints
- operational semantics
- decision procedures
- temporal data
- logic programs
- default reasoning
- query language
- fixpoint
- geographic information systems
- fixed point
- relational databases
- quantifier elimination
- probabilistic reasoning
- first order logic
- xml data
- integrity constraints
- modal logic
- conjunctive queries
- database theory
- knowledge representation
- nonmonotonic reasoning
- spatial databases
- machine learning
- database