Skip to main content
SpringerLink
Log in

Spatio-temporal Annotated Constraint Logic Programming

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2001)

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

Included in the following conference series:

Abstract

We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to obtain a framework where both temporal and spatial information can be dealt with and reasoned about. This results in a conceptually simple, uniform setting, called STACLP (Spatio-Temporal Annotated Constraint Logic Programming), where temporal and spatial data are represented by means of annotations that label atomic first- order formulae. The expressiveness and conciseness of the approach are illustrated by means of some examples: Definite, periodic and indefinite spatio-temporal information involving time-varying objects and properties can be handled in a natural way.

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. A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE TKDE, 10(5):686–705, 1998.

    Google Scholar 

  2. C. Bettini, X. S. Wang, and S. Jajodia. An architecture for supporting interoperability among temporal databases. In [6], pages 36–55. 1998.

    Google Scholar 

  3. M.H. Böhlen, C.S. Jensen, and M.O. Scholl, editors. Spatio-Temporal Database Management, volume 1678 of LNCS. Springer, 1999.

    Google Scholar 

  4. J. Chomicki and P.Z. Revesz. Constraint-Based Interoperability of Spatiotemporal Database. Geoinformatica, 3(3):211–243, 1999.

    Article  Google Scholar 

  5. M. J. Egenhofer. Reasoning about binary topological relations. In Advances in Spatial Databases, volume 525 of LNCS, pages 143–160. Springer, 1991.

    Google Scholar 

  6. O. Etzion, S. Jajodia, and S. Sripada, editors. Temporal Databases: Research and Practice, volume 1399 of LNCS. Springer, 1998.

    Google Scholar 

  7. T. Frühwirth. Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation, 22:555–583, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  8. S. Grumbach, P. Rigaux, and L. Segoufin. Spatio-Temporal Data Handling with Constraints. In ACM GIS, pages 106–111. ACM Press, 1998.

    Google Scholar 

  9. R.H. Güting. An Introduction to Spatial Database Systems. VLDB Journal, 3(4):357–400, 1994.

    Article  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  11. M. Koubarakis and S. Skiadopoulos. Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information. In [3], pages 204–223, 1999.

    Google Scholar 

  12. P. Mancarella, G. Nerbini, A. Raffaetà, and F. Turini. MuTACLP: A Language for Declarative GIS Analysis. In DOOD2000, volume 1861 of LNAI, pages 1002–1016. Springer, 2000.

    Google Scholar 

  13. K. Marriott and P. J. Stuckey. Programming with Constraints. MIT Press, 1998.

    Google Scholar 

  14. M. A. Orgun and W. Ma. An Overview of Temporal and Modal Logic Programming. In ICTL’94, volume 827 of LNAI, pages 445–479. Springer, 1994.

    Google Scholar 

  15. J. Paredaens. Spatial databases, the final frontier. In ICDT’95, volume 893 of LNCS, pages 14–32. Springer, 1995.

    Google Scholar 

  16. A. Raffaetà and T. Frühwirth. Semantics for Temporal Annotated Constraint Logic Programming. In Labelled Deduction, volume 17 of Applied Logic Series, pages 215–243. Kluwer Academic, 2000.

    Google Scholar 

  17. D. Randell, Z. Cui, and A. Cohn. A Spatial Logic based on Regions and Connection. In KR1992, pages 165–176. Morgan Kaufmann, 1992.

    Google Scholar 

  18. SICS. Sicstus Prolog User’s Guide, 1995.

    Google Scholar 

  19. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass editors. Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings, 1993.

    Google Scholar 

  20. F. Wolter and M. Zakharyaschev. Spatio-temporal representation and reasoning based on RCC-8. In KR2000, pages 3–14. Morgan Kaufmann, 2000.

    Google Scholar 

  21. M. F. Worboys. GIS-A Computing Perspective. Taylor & Francis, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Pisa

    Thom Frühwirth

  2. Institut für Informatik - Ludwig-Maximilians, Universität München, München

    Alessandra Raffaetà

Authors
  1. Alessandra Raffaetà
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thom Frühwirth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, State University of New York, Stony Brook, 11794, NY, USA

    I. V. Ramakrishnan

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raffaetà, A., Frühwirth, T. (2001). Spatio-temporal Annotated Constraint Logic Programming. In: Ramakrishnan, I.V. (eds) Practical Aspects of Declarative Languages. PADL 2001. Lecture Notes in Computer Science, vol 1990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45241-9_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45241-9_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45241-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation