Computational geometry: an introduction
Computational geometry: an introduction
Proceedings of the first symposium on Design and implementation of large spatial databases
SSD '90 Proceedings of the first symposium on Design and implementation of large spatial databases
Proceedings of the 2nd symposium on Advances in spatial databases
SSD '91 Proceedings of the 2nd symposium on Advances in spatial databases
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries with arithmetical constraints
Theoretical Computer Science - Special issue: principles and practice of constraint programming
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An expressive language for linear spatial database queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Exact and approximate aggregation in constraint query languages
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint Databases
Proceedings of the Third International Symposium on Advances in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Proceedings of the 4th International Symposium on Advances in Spatial Databases
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Proceedings of the 5th International Symposium on Advances in Spatial Databases
SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
On Topological Elementary Equivalence of Spatial Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
On the Desirability and Limitations of Linear Spatial Database Models
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
First-order Definability over Constraint Databases
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
On Expressing Topological Connectivity in Spatial Datalog
CDB '97 Second International Workshop on Constraint Database Systems, Constraint Databases and Their Applications
Termination Properties of Spatial Datalog Programs
LID '96 Proceedings of the International Workshop on Logic in Databases
DEDALE, A Spatial Constraint Database
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Operational Semantics for Fixed-Point Logics on Constraint Databases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls
ICDT '01 Proceedings of the 8th International Conference on Database Theory
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Reachability and connectivity queries in constraint databases
Journal of Computer and System Sciences - Special issue on PODS 2000
Theoretical Computer Science - Database theory
Proceedings of the 13th annual ACM international workshop on Geographic information systems
Trajectory databases: Data models, uncertainty and complete query languages
Journal of Computer and System Sciences
Hi-index | 0.00 |
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate linear approximations of spatial databases and study in which language they can be expressed effectively. Specifically, we show that they cannot be expressed in the standard first-order query language for polynomial constraint databases but that an extension of this first-order language with transitive closure suffices to express the approximation query in an effective manner. Furthermore, we introduce an extension of transitive-closure logic and show that this logic is complete for the computable queries on linear spatial databases. This result together with our first result implies that this extension of transitive-closure logic can express all computable topological queries on arbitrary spatial databases in the plane.