Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Database Programming Languages

DBPL 2001: Database Programming Languages pp 198–212Cite as

A Theory of Spatio-temporal Database Queries

  • Conference paper
  • First Online:

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

Abstract

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 transformations that preserve certain characteristics of spatio-temporal data (e.g., collinearity, distance, velocity, acceleration,...) that are relevant to a database user. These transformations also respect the monotone nature of time.

We investigate different genericity classes relative to the constraint database model for spatio-temporal databases and we identify sound and complete languages for the first-order, respectively the computable, queries in these genericity classes.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Abel and B. C. Ooi (eds.), Advances in spatial databases— 3rd Symposium (SSD’93), Lecture Notes in Computer Science, vol. 692, Springer-Verlag, 1993.

    MATH  Google Scholar 

  2. J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26 (1983), no. 11, 832–843.

    Article  MATH  Google Scholar 

  3. J. F. Allen and G. Ferguson, Actions and events in interval temporal logic, Journal of Logic and Computation 4 (1994), no. 5, 531–579.

    Article  MATH  MathSciNet  Google Scholar 

  4. M. H. Böhlen, Ch. S. Jensen, and M. Scholl (eds.), Proceedings of the international workshop on spatio-temporal database management (STDBM’99), Lecture Notes in Computer Science, vol. 1678, Springer, 1999.

    Google Scholar 

  5. A. Buchmann (ed.), Design and implementation of large spatial databases—1st Symposium (SSD’89), Lecture Notes in Computer Science, vol. 409, Springer-Verlag, 1989.

    Google Scholar 

  6. A. K. Chandra and D. Harel, Computable queries for relational data bases, Journal of Computer and System Sciences 21 (1980), no. 2, 156–178.

    Article  MATH  MathSciNet  Google Scholar 

  7. C. X. Chen and C. Zaniolo, SQLST: A spatio-temporal data model and query language, Conceptual Modeling (ER’00) (V. Storey, A. Laender, S. Liddle, eds.), Lecture Notes in Computer Science, vol. 1920, Springer-Verlag, 2000, pp. 96–111.

    Google Scholar 

  8. J. Chomicki and P. Revesz, Constraint-based interoperability of spatio-temporal databases, inA. Voisard (eds.), Advances in spatial databases—5th Symposium(SSD’97), Lecture Notes in Computer Science, vol. 1262, Springer-Verlag, 1997 [26], pp. 142–161.

    Google Scholar 

  9. J. Chomicki and P. Revesz, A geometric framework for specifying spatiotemporal objects, Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, IEEE Computer Society, 1999, pp. 41–46.

    Google Scholar 

  10. M. J. Egenhofer and J. R. Herring (eds.), Advances in spatial databases—4th Symposium (SSD’95), Lecture Notes in Computer Science, vol. 951, Springer-Verlag, 1995.

    Google Scholar 

  11. M. Erwig, R. H. Güting, M. Schneider, and M. Vazirgiannis, Spatio-temporal data types: An approach to modeling and querying moving objects in databases, GeoIn-formatica 3 (1999), no. 3, 269–296.

    Google Scholar 

  12. A. Frank, S. Grumbach, R. Güting, C. Jensen, M. Koubarakis, N. Lorentzos, Y. Manopoulos, E. Nardelli, B. Pernici, H.-J. Schek, M. Scholl, T. Sellis, B. Theodoulidis, and P. Widmayer, Chorochronos: A research network for spa-tiotemporal database systems, SIGMOD Record 28 (1999), 12–21.

    Google Scholar 

  13. S. Grumbach, P. Rigaux, and L. Segoufin, Spatio-temporal data handling with constraints, Proceedings of the 6th international symposium on Advances in Geographic Information Systems (ACM-GIS’98) (R. Laurini, K. Makki, and N. Pissi-nou, eds.), 1998, pp. 106–111.

    Google Scholar 

  14. O. Gunther and H.-J. Schek (eds.), Advances in spatial databases—2nd Symposium (SSD’ 91), Lecture Notes in Computer Science, vol. 525, Springer-Verlag, 1991.

    Google Scholar 

  15. R. H. Güting, M. H. Bohlen, M. Erwig, C. S. Jensen, N. A. Lorentzos, M. Schneider, and M. Vazirgiannis, A foundation for representing and querying moving objects, ACM Transactions on Databases Systems 25 (2000), 1–42.

    Article  Google Scholar 

  16. R.H. Güting (ed.), Advances in spatial databases—6th Symposium (SSD’99), Lecture Notes in Computer Science, vol. 1651, Springer-Verlag, 1999.

    Google Scholar 

  17. M. Gyssens, J. Van den Bussche, and D. Van Gucht, Complete geometric query languages, Journal of Computer and System Sciences 58 (1999), no. 3, 483–511.

    Article  MATH  MathSciNet  Google Scholar 

  18. P. C. Kanellakis, G. M. Kuper, and P.Z. Revesz, Constraint query languages, Journal of Computer and System Sciences 51 (1995), 26–52 (also in Proceedings of the 9th ACM Symposium on Principles of Database Systems (PODS’90), ACM Press, 1990, pp. 299–313).

    Article  MathSciNet  Google Scholar 

  19. B. Kuijpers and D. Van Gucht, Genericity in spatial databases, Chapter 12 inG. Kuper, and L. Libkin (eds.), Constraint databases, Springer-Verlag, 2000 [24], pp. 293–304.

    Google Scholar 

  20. B. Kuijpers, J. Paredaens, and D. Van Gucht, Towards a theory of movie database queries, Proceedings of the 7th International Workshop on Temporal Representation and Reasoning, IEEE Computer Society, 2000, pp. 95–102.

    Google Scholar 

  21. G. Kuper and M. Scholl, Geographic information systems, Constraint databases (J. Paredaens, G. Kuper, and L. Libkin, eds.), Springer-Verlag, 2000, pp. 175–198.

    Google Scholar 

  22. L. Libkin, Variable independence, quantifier elimination, and constraint representation, Automata, Languages and Programming, 27th International Colloquium (ICALP 2000) (U. Montanari, J. D. P. Rolim, and E. Welzl, eds.), Lecture Notes in Computer Science, vol. 1853, Springer-Verlag, 2000, pp. 260–271.

    Chapter  Google Scholar 

  23. J. Paredaens, J. Van denBussche, and D. Van Gucht, Towards a theory of spatial database queries, Proceedings of the 13th ACM Symposium on Principles of Database Systems (PODS’94), ACM Press, 1994, pp. 279–288.

    Google Scholar 

  24. J. Paredaens, G. Kuper, and L. Libkin (eds.), Constraint databases, Springer-Verlag, 2000.

    Google Scholar 

  25. D. Pfoser and N. Tryfona, Requirements, definitions and notations for spatiotemporal application environments, Proceedings of the 6th International Symposium on Advances in Geographic Information Systems (ACM-GIS’98) (R. Laurini, K. Makki, and N. Pissinou, eds.), 1998, pp. 124–130.

    Google Scholar 

  26. M. Scholl and A. Voisard (eds.), Advances in spatial databases—5th Symposium (SSD’97), Lecture Notes in Computer Science, vol. 1262, Springer-Verlag, 1997.

    Google Scholar 

  27. W. Schwabhäuser, W. Szmielew, and A. Tarski, Metamathematische methoden in der geometrie, Springer-Verlag, 1983.

    Google Scholar 

  28. J. Van den Bussche, Constraint databases, queries and query languages, Chapter 2 inG. Kuper, and L. Libkin (eds.), Constraint databases, Springer-Verlag, 2000 [24], pp. 21–54.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department WNI, University of Limburg, B-3590, Diepenbeek, Belgium

    Floris Geerts, Sofie Haesevoets & Bart Kuijpers

Authors
  1. Floris Geerts
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sofie Haesevoets
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bart Kuijpers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Univesità di Pisa, Corso Italia 40, 56125, Pisa, Italy

    Giorgio Ghelli

  2. Department of Computer Science, Concordia University, 1455 De Maisonneuve Blvd. West, Montréal, Québec, Canada, H3G 1M8

    Gösta Grahne

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Geerts, F., Haesevoets, S., Kuijpers, B. (2002). A Theory of Spatio-temporal Database Queries. In: Ghelli, G., Grahne, G. (eds) Database Programming Languages. DBPL 2001. Lecture Notes in Computer Science, vol 2397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46093-4_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-46093-4_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44080-2

  • Online ISBN: 978-3-540-46093-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation