Skip to main content
SpringerLink
Log in

Moving Objects: Logical Relationships and Queries

  • Conference paper
  • First Online:
Book cover Advances in Spatial and Temporal Databases (SSTD 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2121))

Included in the following conference series:

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Agarwal, L. Arge, and J. Erickson. Indexing moving points. In Proc. ACM Symp. on Principles of Database Systems, 2000.

    Google Scholar 

  2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.

    Google Scholar 

  3. 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.

    Article  Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. M. J. Egenhofer and R. Franzosa. Point-set topological spatial relations. Int. Journal of Geo. Info. Systems, 5(2):161–174, 1991.

    Article  Google Scholar 

  7. M. J. Egenhofer. Reasonning about binary topological relations. In Proc. Symp. on Large Spatial Databases, 1991.

    Google Scholar 

  8. 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.

    Article  Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. A. Gray. Modern Differential Geometry of Curves and Surfaces with Mathematica (Second Edition) CRC Press, 1998.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. S. Grumbach and J. Su. Towards practical constraint databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.

    Google Scholar 

  15. S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55(2):273–298, October 1997.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, 1995.

    Article  MathSciNet  Google Scholar 

  19. G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000.

    Google Scholar 

  20. B. Kuijpers, J. Paredaens, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In Proc. Int. Conf. on Database Theory, 1997.

    Google Scholar 

  21. G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A constraint-based spatial extension to SQL. In Proc. ACM Symp. Geographical Information Systems, 1998.

    Google Scholar 

  22. R. S. Millman and G. D. Parker. Elements of Differential Geometry. Prentice-Hall, Edgewood Cliffs, NJ, 1977.

    MATH  Google Scholar 

  23. C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.

    Google Scholar 

  24. J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255–352, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  25. A. P. Sistla, O. Wolfson, S. Chamberlain, and S. Dao. Modeling and querying moving objects. In Proc. Int. Conf. on Data Engineering, 1997.

    Google Scholar 

  26. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.

    MATH  Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, Santa Barbara, CA, 93106, USA

    Jianwen Su, Haiyan Xu & Oscar H. Ibarra

Authors
  1. Jianwen Su
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Haiyan Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Oscar H. Ibarra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Aalborg University, Fredrik Bajers Vej 7E, 9220, Aalborg Øst, Denmark

    Christian S. Jensen

  2. Praktische Informatik IV, FernUniversität Hagen, 58084, Hagen, Germany

    Markus Schneider

  3. Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, 35032, Marburg, Germany

    Bernhard Seeger

  4. Department of Computer Science and Engineering, University of California, Riverside, CA, 92521, USA

    Vassilis J. Tsotras

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation