Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles.
Magali DuboissetFrançois PinetMyoung-Ah KangMichel SchneiderPublished in: ER (2005)
Keyphrases
- expressive power
- integrity constraints
- spatial databases
- transitive closure
- conjunctive queries
- spatial objects
- data complexity
- query language
- first order logic
- functional dependencies
- relational algebra
- deductive databases
- code generation
- range queries
- query processing
- road network
- modeling language
- r tree
- software engineering