Descriptive Complexity Theory for Constraint Databases.
Erich GrädelStephan KreutzerPublished in: CSL (1999)
Keyphrases
- constraint databases
- complexity theory
- computational geometry
- transitive closure
- theoretical basis
- linear constraints
- temporal data
- relational databases
- query language
- query evaluation
- geographic information systems
- fixed point
- spatial databases
- first order logic
- computer graphics
- computer vision
- convex hull
- expressive power
- data model
- voronoi diagram
- query processing
- pairwise