Proceedings of the 2nd symposium on Advances in spatial databases
SSD '91 Proceedings of the 2nd symposium on Advances in spatial databases
Hilbert's tenth problem
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth 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
Queries with arithmetical constraints
Theoretical Computer Science - Special issue: principles and practice of constraint programming
Spatio-temporal data handling with constraints
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Requirements, definitions, and notations for spatiotemporal application environments
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complete geometric query languages
Journal of Computer and System Sciences
Chorochronos: a research network for spatiotemporal database systems
ACM SIGMOD Record
A foundation for representing and querying moving objects
ACM Transactions on Database Systems (TODS)
Maintaining knowledge about temporal intervals
Communications of the ACM
Introduction to constraint databases
Introduction to constraint databases
Proceedings of the First Symposium on Design and Implementation of Large Spatial Databases
SSD '89 Proceedings of the First Symposium on Design and Implementation of Large Spatial 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
Modeling and Querying Moving Objects
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Moving Objects Information Management: The Database Challenge
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Constraint-Based Interoperability of Spatiotemporal Databases
SSD '97 Proceedings of the 5th 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
A Geometric Framework for Specifying Spatiotemporal Objects
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
Towards a Theory of Movie Database Queries
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
Trajectory databases: Data models, uncertainty and complete query languages
Journal of Computer and System Sciences
Hi-index | 0.00 |
We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under groups of geometric transformations that preserve certain characteristics of spatio-temporal data (e.g., collinearity, distance, velocity, acceleration, …). These groups depend on the notions that are relevant in particular spatio-temporal database applications. These transformations also have the distinctive property that they respect the monotone and unidirectional nature of time. We investigate different genericity classes with respect to the constraint database model for spatio-temporal databases and we identify sound and complete languages for the first-order and the computable queries in these genericity classes. We distinguish between genericity determined by time-invariant transformations, genericity notions concerning physical quantities and genericity determined by time-dependent transformations.