Abstract
In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temporal logics) and ad hoc query optimization. In this paper we investigate logical properties of moving objects in connection with queries over such objects using tools from differential geometry. In an abstract model, object locations can be described as vectors of continuous functions of time. Using this conceptual model, we examine the logical relationships between moving objects, and between moving objects and (stationary) spatial objects in the database. We characterize these relationships in terms of position, velocity, and acceleration. We show that these fundamental relationships can be used to describe natural queries involving time instants and intervals. Based on this foundation, we develop a concrete data model for moving objects which is an extension of linear constraint databases. We also present a preliminary version of a logical query language for moving object databases.
Supported in part by NSF grants IRI-9700370 and IIS-9817432
On a sabbatical leave from Department of Computer Science, Fukoka Institute of Technology, Japan
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Agarwal, L. Arge, and J. Erickson. Indexing moving points. In Proc. ACM Symp. on Principles of Database Systems, 2000.
S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE Trans. on Knowledge and Data Engineering, 10(5):686–705, 1998.
M. Ben-Or, D. Kozen, and J. Reif. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(2):251–264, April 1986.
G. E. Collins. Quantifier elimination for real closed fields by cylindric decompositions. In Proc. 2nd GI Conf. Automata Theory and Formal Languages, volume 35 of Lecture Notes in Computer Science, pages 134–83. Springer-Verlag, 1975.
M. J. Egenhofer and R. Franzosa. Point-set topological spatial relations. Int. Journal of Geo. Info. Systems, 5(2):161–174, 1991.
M. J. Egenhofer. Reasonning about binary topological relations. In Proc. Symp. on Large Spatial Databases, 1991.
M. Erwig, R. H. Guting, M. Schneider, and M. Vazirgiannis. Spatiotemporal data types: an approach to modeling and querying moving objects in databases. GeoInformatica, 3(3):269–296, 1999.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 7, pages 995–1072. North Holland, 1990.
L. Forlizzi, R. H. Guting, E. Nardelli, and M. Schneider. A data model and data structures for moving objects databases. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 2000.
R. H. Güting, M. H. Böhlen, M. Erwig, S. Jensen, N. A. Lorentzos, M. Schneider, and M. Varirgiannis. A foundation for representing and querying moving objects. ACM Transactions on Database Systems, 25(1), 2000. to appear.
A. Gray. Modern Differential Geometry of Curves and Surfaces with Mathematica (Second Edition) CRC Press, 1998.
S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE system for complex spatial queries. In Proc. ACM SIGMOD Int. Conf. on Management of Data, June 1998.
S. Grumbach and J. Su. Towards practical constraint databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.
S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55(2):273–298, October 1997.
B. Kuijpers and J. Van den Bussche. On capturing first-order topological properties of planar spatial databases. In Proc. Int. Conf. on Database Theory, 1999.
G. Kollios, D. Gunopulos, and V. J. Tsotras. On indexing mobile objects. In Proc. ACM Symp. on Principles of Database Systems, pages 261–272, 1999.
P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, 1995.
G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000.
B. Kuijpers, J. Paredaens, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In Proc. Int. Conf. on Database Theory, 1997.
G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A constraint-based spatial extension to SQL. In Proc. ACM Symp. Geographical Information Systems, 1998.
R. S. Millman and G. D. Parker. Elements of Differential Geometry. Prentice-Hall, Edgewood Cliffs, NJ, 1977.
C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.
J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255–352, 1992.
A. P. Sistla, O. Wolfson, S. Chamberlain, and S. Dao. Modeling and querying moving objects. In Proc. Int. Conf. on Data Engineering, 1997.
A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
O. Wolfson, S. Chamberlain, S. Dao, L. Jiang, and G. Mendez. Cost and imprecision in modeling the position of moving objects. In Proc. Int. Conf. on Data Engineering, Orlando, FL, 1998.
O. Wolfson, S. Chamberlain, S. Dao, and L. Jiang. Location management in moving objects databases. In Proc. the Second International Workshop on Satellite-Based Information Services (WOSBIS’97), Budapest, Hungary, October 1997.
O. Wolfson, L. Jiang, P. Sistla, S. Chamberlain, N. Rishe, and M. Deng. Databases for tracking mobile units in real time. In Proc. Int. Conf. on Database Theory, pages 169–186, Jerusalem, Israel, 1999.
O. Wolfson, B. Xu, S. Chamberlain, and L. Jiang. Moving objects databases: issues and solutions. In Proc. Int. Conf. on Statistical and Scientific Database Management, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Su, J., Xu, H., Ibarra, O.H. (2001). Moving Objects: Logical Relationships and Queries. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds) Advances in Spatial and Temporal Databases. SSTD 2001. Lecture Notes in Computer Science, vol 2121. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47724-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-47724-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42301-0
Online ISBN: 978-3-540-47724-2
eBook Packages: Springer Book Archive