On Moving Object Queries

Database applications for moving objects pose new challenges in modeling, querying, and maintenance of objects whose locations are rapidly changing over time. Previous work on modeling and querying spatio-temporal databases and constraint databases focus primarily on snapshots of changing databases. In this paper we study query evaluation techniques for moving object databases where moving objects are being updated frequently. We consider a constraint database approach to moving objects and queries. We classify moving object queries into: “past”, “continuing”, and “future” queries. We argue that while traditional constraint query evaluation techniques are suitable for past queries, new techniques are needed for continuing and future queries. Motivated by nearest-neighbor queries, we define a query language based on a single “generalized distance” function f mapping from objects to continuous functions from time to R. Queries in this language may be past, continuing, or future. We show that if f maps to polynomials, queries can be evaluated efficiently using the plane sweeping technique from computational geometry. Consequently, many known distance based queries can be evaluated efficiently.

[1]  Markus Schneider,et al.  A foundation for representing and querying moving objects , 2000, TODS.

[2]  Jan Chomicki,et al.  A geometric framework for specifying spatiotemporal objects , 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.

[3]  Leonid Libkin,et al.  Incremental maintenance of views with duplicates , 1995, SIGMOD '95.

[4]  Joseph O'Rourke,et al.  Computational Geometry in C. , 1995 .

[5]  Bo Xu,et al.  Moving objects databases: issues and solutions , 1998, Proceedings. Tenth International Conference on Scientific and Statistical Database Management (Cat. No.98TB100243).

[6]  Gio Wiederhold,et al.  Incremental Recomputation of Active Relational Expressions , 1991, IEEE Trans. Knowl. Data Eng..

[7]  Victor Y. Pan,et al.  Complexity of Computations with Matrices and Polynomials , 1992, SIAM Rev..

[8]  A. Prasad Sistla,et al.  Modeling and querying moving objects , 1997, Proceedings 13th International Conference on Data Engineering.

[9]  Latha S. Colby,et al.  Algorithms for deferred view maintenance , 1996, SIGMOD '96.

[10]  V. S. Subrahmanian,et al.  Maintaining views incrementally , 1993, SIGMOD Conference.

[11]  Jianwen Su,et al.  Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries , 1998, J. Comput. Syst. Sci..

[12]  Nick Roussopoulos,et al.  K-Nearest Neighbor Search for Moving Query Point , 2001, SSTD.

[13]  Thomas Ottmann,et al.  Algorithms for Reporting and Counting Geometric Intersections , 1979, IEEE Transactions on Computers.

[14]  Ouri Wolfson,et al.  A Spatiotemporal Model and Language for Moving Objects on Road Networks , 2001, SSTD.

[15]  Stéphane Grumbach,et al.  Constraint Databases , 1999, JFPLC.

[16]  W. Böge,et al.  Quantifier Elimination for Real Closed Fields , 1985, AAECC.

[17]  Jianwen Su,et al.  Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries , 1995, Inf. Comput..

[18]  J. Renegar,et al.  On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I , 1989 .

[19]  Dieter Pfoser,et al.  Novel Approaches to the Indexing of Moving Object Trajectories , 2000, VLDB.

[20]  Ralf Hartmut Güting,et al.  A data model and data structures for moving objects databases , 2000, SIGMOD '00.

[21]  James Renegar On the computational complexity and geome-try of the first-order theory of the reals , 1992 .

[22]  A. Tarski A Decision Method for Elementary Algebra and Geometry , 2023 .

[23]  J. O´Rourke,et al.  Computational Geometry in C: Arrangements , 1998 .

[24]  Ralf Hartmut Güting,et al.  Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases , 1999, GeoInformatica.

[25]  John H. Reif,et al.  The complexity of elementary algebra and geometry , 1984, STOC '84.

[26]  Oscar H. Ibarra,et al.  Moving Objects: Logical Relationships and Queries , 2001, SSTD.

[27]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[28]  Dimitrios Gunopulos,et al.  On indexing mobile objects , 1999, PODS '99.