You are at INPE :: Earth System Science Centre :: Geospatial Change Modelling Research :: Formal Models for Spatiotemporal Data

Formal Models for Spatiotemporal Data


Geospatial data consists of a collection of spatial, non-spatial and spatio-temporal data types and operations on them. Many spatial analysis problems can be expressed as algebraic theories, which formalize these spatial components in a rigorous and generic way. Functional languages express the semantics of abstract data types directly and allow building of complex geospatial systems from small parts. Each of these small parts is expressed as an algebra and developed in a rigorous and testable fashion. The resulting algebras are abstract building blocks which can be combined to create more complex solutions.


The research team in this area includes Dr.Gilberto Câmara, and PhD students Sergio Costa, Olga Oliveira and Karine Reis Ferreira.

TerraHS: A Haskell GIS Programming Environment

We have developed TerraHS, a software component that enables the development of geographical applications in a functional language, using the data handling capabilities of TerraLib. TerraLib is a C++ library that supports different spatial database management systems, and that includes a large number of spatial algorithms. As a result, we get a combination of the good features of both programming paradigms.

Papers and Reports on TerraHS

Download and Installation

Notes about download and instalations is available in the TerraHS Wiki

Personal Tools