Formal Models for Spatiotemporal Data

Motivation

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.

People

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

Prototyping GIS Application in Functional Programming. Sérgio Costa, Gilberto Câmara, et.al. In: GeoPantanal, 2009, Corumbá. Anais do II Geopantanal, 2009.

TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development. Sergio Costa, Gilberto Camara, Danilo Palomo. VIII Brazilian Symposium in Geoinformatics, GeoInfo 2006, Campos do Jordão, 2006.

Rule-based Evolution of Typed Spatio-temporal Objects. Olga Bittencourt, Gilberto Câmara, Lúbia Vinhas, Joice Mota. IX Brazilian Symposium in Geoinformatics, GeoInfo 2007, Campos do Jordão, 2007.