Handling infinite temporal data
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linear vs. order constraint queries over rational databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finitely representable databases
Journal of Computer and System Sciences - Special issue on principles of database systems
Relational expressive power of constraint query languages
Journal of the ACM (JACM)
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Incremental distance join algorithms for spatial databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A constrant-based spatial extension to SQL
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
First-Order Queries on Finite Structures Over the Reals
SIAM Journal on Computing
Journal of Computer and System Sciences
SIAM Journal on Computing
Querying spatial databases via topological invariants
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
On the expressiveness of linear-constraint query languages for spatial databases
Theoretical Computer Science
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Constraint Databases
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
Efficient Computation of Spatial Joins
Proceedings of the Ninth International Conference on Data Engineering
An expressive language for linear spatial database queries
Journal of Computer and System Sciences
Hi-index | 0.00 |
Linear constraint databases and query languages are appropriate for spatial database applications. Not only is the data model suitable for representing a large portion of spatial data such as in GIS systems, but there also exist efficient algorithms for the core operations in the query languages. An important limitation of linear constraints, however, is that they cannot model constructs such as Euclidean distance; extending such languages to include such constructs, without obtaining the full power of polynomial constraints has proven to be quite difficult. One approach to this problem, by Kuijpers, Kuper, Paredaens, and Vandeurzen, used the notion of Euclidean constructions with ruler and compass as the basis for a first order query language. While their language had the desired expressive power, the semantics are not really natural, due to its use of an ad hoc encoding. In this paper, we define a language over a similar class of databases, with more natural semantics. We show that this language captures a natural subclass, the representation independent queries of the first order language of Kuijpers, Kuper, Paredaens, and Vandeurzen.