MuTACLP: A Language for Declarative GIS Analysis

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.

[1]  Christian S. Jensen,et al.  Spatio-Temporal Database Management , 1999, Lecture Notes in Computer Science.

[2]  David J. Maguire,et al.  Geographical Information Systems , 1993 .

[3]  Norman W. Paton,et al.  Geographic Data Handling in a Deductive Object-Oriented Database , 1994, DEXA.

[4]  M. Egenhofer,et al.  Cognitive Aspects of Human-Computer Interaction for Geographic Information Systems , 1995 .

[5]  Jim Holder,et al.  User interfaces , 1985, ALET.

[6]  F. Turini,et al.  Using MedLan to Integrate Geographical Data , 2000, J. Log. Program..

[7]  Jan Chomicki,et al.  Temporal Query Languages: A Survey , 1994, ICTL.

[8]  G. Langran.  Time in Geographic Information Systems , 1990 .

[9]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[10]  Alessandra Raffaetà.  Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories , 2000 .

[11]  Michel Scholl,et al.  DEDALE, A Spatial Constraint Database , 1997, DBPL.

[12]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[13]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..

[14]  Franco Turini,et al.  Temporal annotated constraint logic programming with multiple theories , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[15]  Jan Chomicki,et al.  Constraint-based Interoperability of Spatiotemporal Databases* , 1999, GeoInformatica.

[16]  Elisa Bertino,et al.  An Extended Algebra for Constraint Databases , 1998, IEEE Trans. Knowl. Data Eng..

[17]  Jan Paredaens,et al.  Spatial Databases, The Final Frontier , 1995, ICDT.

[18]  Georg Gottlob,et al.  Database Theory — ICDT '95 , 1995, Lecture Notes in Computer Science.

[19]  Thom W. Frühwirth,et al.  Temporal Annotated Constraint Logic Programming , 1996, J. Symb. Comput..

[20]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[21]  Stéphane Grumbach,et al.  The DEDALE system for complex spatial queries , 1998, SIGMOD '98.

[22]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[23]  Stéphane Grumbach,et al.  Spatio-temporal data handling with constraints , 1998, GIS '98.

[24]  Peter Buneman,et al.  Workshop on Database Programming Languages , 1988 .