Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Topological queries in spatial databases
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
Languages, automata, and logic
Handbook of formal languages, vol. 3
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
First-Order Queries on Finite Structures Over the Reals
SIAM Journal on Computing
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
On Topological Elementary Equivalence of Spatial Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
On the Structure of Queries in Constraint Query Languages
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
SSD '99 Proceedings of the 6th International Symposium on Advances in Spatial Databases
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
On First-Order Topological Queries
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
Spatial databases are modeled as closed semi-algebraic subsets of the real plane. First-order logic over the reals (expanded with a symbol to address the database) provides a natural language for expressing properties of such databases. Motivated by applications in geographical information systems, this paper investigates the question of which topological properties can be thus expressed.We introduce a novel, two-tiered logic for expressing topological properties, called CL, which is subsumed by first-order logic over the reals. We put forward the question whether the two logics are actually equivalent (when restricting attention to topological properties). We answer this question affirmatively on the class of "region databases." We also prove a general result which further illustrates the power of the logic CL.