First-order Definability over Constraint Databases.
Stéphane GrumbachJianwen SuPublished in: CP (1995)
Keyphrases
- constraint databases
- quantifier elimination
- fixed point
- first order logic
- finite model theory
- database theory
- transitive closure
- linear constraints
- query evaluation
- temporal data
- relational databases
- query language
- geographic information systems
- expressive power
- database
- normal form
- spatial databases
- open problems
- higher order
- belief propagation
- database design
- sufficient conditions
- databases