Advertisement

MuTACLP: A Language for Declarative GIS Analysis

  • Paolo Mancarella
  • Gianluca Nerbini
  • Alessandra Raffaetà
  • Franco Turini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1861)

Abstract

This paper proposes an integration between Geographical Information System (GIS) technology and constraint logic programming in order to supply the user with a declarative language that supports and improves GIS analysis. We present the language MuTACLP, where spatio-temporal and thematic information can be represented in a uniform way, and the features of constraint logic programming, such as recursion and constraint handling, can be exploited to perform sophisticated spatio-temporal reasoning. This unifying language seems also promising to address the key problem of interoperability among different GISs.

Keywords

Spatio-temporal reasoning GIS analysis meta-programming 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A.I. Abdelmoty, N.W. Paton, M.H. Williams, A.A.A. Fernandes, M.L. Barja, and A. Dinn. Geographic Data Handling in a Deductive Object-Oriented Database. In 5th International DEXA Conference, volume 856 of LNCS, pages 445–454, 1994.Google Scholar
  2. 2.
    D. Aquilino, P. Asirelli, A. Formuso, C. Renso, and F. Turini. Using MedLan to Integrate Geographical Data. Journal of Logic Programming, 43(1):3–14, 2000.CrossRefGoogle Scholar
  3. 3.
    A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE TKDE, 10(5):686–705, 1998.Google Scholar
  4. 4.
    M.H. Böhlen, C.S. Jensen, and M.O. Scholl, editors. Spatio-Temporal Database Management, volume 1678 of LNCS. Springer Verlag, 1999.Google Scholar
  5. 5.
    K.A. Bowen and R.A. Kowalski. Amalgamating language and metalanguage in logic programming. In Logic programming, volume 16 of APIC studies in data processing, pages 153–172. Academic Press, 1982.Google Scholar
  6. 6.
    A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular logic programming. ACM TOPLAS, 16(4):1361–1398, July 1994.Google Scholar
  7. 7.
    J. Chomicki. Temporal Query Languages: A Survey. In Temporal Logic: Proc. of the 1st ICTL’94, volume 827 of LNAI, pages 506–534. Springer Verlag, 1994.Google Scholar
  8. 8.
    J. Chomicki and P.Z. Revesz. Constraint-Based Interoperability of Spatiotemporal Database. Geoinformatica, 3(3):211–243, 1999.CrossRefGoogle Scholar
  9. 9.
    M. Egenhofer. User interfaces. In Cognitive Aspects of Human-Computer Interaction for Geographical Information Systems, pages 1–8. Kluwer Academic, 1995.Google Scholar
  10. 10.
    T. Frühwirth. Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation, 22:555–583, 1996.zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. DEDALE, A Spatial Constraint Database. In Proc. of Intl. Workshop on Database programming Languages, volume 1369 of Lecture Notes in Computer Science, pages 38–59, 1998.Google Scholar
  12. 12.
    S. Grumbach, P. Rigaux, and L. Segoufin. Spatio-Temporal Data Handling with Constraints. In Proc. of the 6th International Symposium on Advances in GIS, pages 106–111. ACM Press, 1998.Google Scholar
  13. 13.
    S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE System for Complex Spatial Queries. In Proc. of the ACM SIGMOD, pages 213–224, 1998.Google Scholar
  14. 14.
    P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, August 1995.Google Scholar
  15. 15.
    G. Langran. Time in Geographical Information Systems. Taylor & Francis, 1992.Google Scholar
  16. 16.
    P. Mancarella, A. Raffaetà, and F. Turini. Temporal Annotated Constraint Logic Programming with Multiple Theories. In 10th International DEXA Workshop, pages 501–508. IEEE Computer Society Press, 1999.Google Scholar
  17. 17.
    Jan Paredaens. Spatial databases, the final frontier. In Database Theory— ICDT’95, volume 893 of LNCS, pages 14–32. Springer, 1995.Google Scholar
  18. 18.
    Esprit/Essi project no.21580. Guidelines for best practice in user interface for GIS. European Commission, 1999.Google Scholar
  19. 19.
    A. Raffaetà. Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories. PhD thesis, Dip. Informatica, Univ. Pisa, 2000.Google Scholar
  20. 20.
    A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass editors. Temporal Databases: Theory, Design, and Implementation. 1993.Google Scholar
  21. 21.
    G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computer, 25:38–49, March 1992.Google Scholar
  22. 22.
    M. F. Worboys. GIS-A Computing Perspective. Taylor & Francis, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Paolo Mancarella
    • 1
  • Gianluca Nerbini
    • 1
  • Alessandra Raffaetà
    • 1
  • Franco Turini
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations