Towards a Generalized Map Algebra: Principles and Data Types

Map Algebra is a collection of functions for handling continuous spatial data, which allows modeling of different problems and getting new information from the existing data. There is an established set of map algebra functions in the GIS literature, originally proposed by Dana Tomlin. However, the question whether his proposal is complete is still an open problem in GIScience. This paper describes the design of a map algebra that generalizes Tomlin’s map algebra by incorporating topological and directional spatial predicates. Our proposal enables operations that are not directly expressible by Tomlin’s proposal. One of the important results of our paper is to show that Tomlin’s Map Algebra can be defined as an application of topological predicates to coverages. This paper points to a convergence between these two approaches and shows that it is possible to develop a foundational theory for GIScience where topological predicates are the heart of both object-based algebras and field-based algebras.

[1]  Fabien Robineau,et al.  OpenGIS Simple Features Specification For SQL, Revision 0 , 1997 .

[2]  Ralf Hartmut Güting,et al.  Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems , 1988, EDBT.

[3]  M. Erwig,et al.  Formalization of Advanced Map Operations , 2000 .

[4]  David Pullar.  MapScript: A Map Algebra Programming Language Incorporating Neighborhood Analysis , 2001, GeoInformatica.

[5]  Stephan Winter.  Topological relations between discrete regions , 1995 .

[6]  M. Egenhofer.  Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[7]  Andrew U. Frank,et al.  Topology in Raster and Vector Representation , 2000, GeoInformatica.

[8]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[9]  Helen Couclelis,et al.  Map Dynamics Integrating Cellular Automata and GIS Through Geo-Algebra , 1997, Int. J. Geogr. Inf. Sci..

[10]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[11]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[12]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1997, Lecture Notes in Computer Science.

[13]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[14]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[15]  C. Tomlin.  Geographic information systems and cartographic modeling , 1990 .

[16]  Dimitris Papadias,et al.  Algorithms for Hierarchical Spatial Reasoning , 1997, GeoInformatica.

[17]  Andrew U. Frank,et al.  Formalization of Families of Categorical Coverages , 1997, Int. J. Geogr. Inf. Sci..

[18]  Oliver Günther,et al.  Progress in computational methods for representing geographical concepts , 1999, Int. J. Geogr. Inf. Sci..

[19]  Andrew U. Frank,et al.  Using Hierarchical Spatial Data Structures for Hierarchical Spatial Reasoning , 1997, COSIT.

[20]  Andrew U. Frank,et al.  Map Algebra Extended with Functors for Temporal Data , 2005, ER.

[21]  Max J. Egenhofer,et al.  Interaction with GIS Attribute Data Based on Categorial Coverages , 1993, COSIT.

[22]  Joshua Zhexue Huang,et al.  Solving Spatial Analysis Problems with GeoSAL, A Spatial Query Language , 1992, SSDBM.

[23]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1976, Software Pioneers.

[24]  Joseph K. Berry,et al.  Fundamental operations in computer-assisted map analysis , 1987, Int. J. Geogr. Inf. Sci..

[25]  Jeremy Mennis,et al.  Cubic Map Algebra Functions for Spatio-Temporal Analysis , 2005 .

[26]  Andrew U. Frank.  HIGHER ORDER FUNCTIONS NECESSARY FOR SPATIAL THEORY DEVELOPMENT , 1997 .