Skip to main content

TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development

  • Chapter
Advances in Geoinformatics

Abstract

Recent, research in GIScience proposes to use functional programming for geospatial application development [15]. Their main argument is that many of theoretical problems in GIScience can be expressed as algebraic theories. For these problems, functional languages enable fast development of rigorous and testable solutions [2]. However, developing a GIS in a functional language is not feasible, since many parts needed for a GIS are already avaliable in imperative languages such as C++ and Java. This is especially true for spatial databases, where applications such as Post- GIS/PostgreSQL offer a basic support for spatial data management. It is unrealistic to develop such support using functional programming.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Frank, A. Higher order functions necessary for spatial theory development. in Auto-Carto 13. 1997. Seattle, WA: ACSM/ASPRS.

    Google Scholar 

  2. Frank, A. and W. Kuhn, Specifying Open GIS with Functional Languages, in Advances in Spatial Databases—4th International Symposium, SSD’ 95, Portland, ME, M. Egenhofer and J. Herring, Editors. 1995, Springer-Verlag: Berlin. p. 184–195.

    Google Scholar 

  3. Frank, A. One Step up the Abstraction Ladder: Combining Algebras-From Functional Pieces to a Whole. in COSIT-Conference on Spatial Information Theory. 1999: Springer-Verlag.

    Google Scholar 

  4. Medak, D., Lifestyles-a new Paradigm in Spatio-Temporal Databases, in Department for Geoinformation. 1999, Technical University of Vienna: Vienna.

    Book  Google Scholar 

  5. Winter, S. and S. Nittel, Formal information modelling for standardisation in the spatial domain. International Journal of Geographical Information Science, 2003. 17: p. 721–741.

    Article  Google Scholar 

  6. Hudak, P., Conception, evolution, and application of functional programming languages. ACM Comput. Surv., 1989. 21(3): p. 359–411.

    Article  Google Scholar 

  7. Jones, S.P., Haskell 98 Language and Libraries The Revised Report. 2002.

    Google Scholar 

  8. Peyton Jones, S., J. Hughes, and L. Augustsson. Haskell 98: A Non-strict, Purely Functional Language. 1999 [cited; Available from: http://www.haskell.org/onlinereport/.

    Google Scholar 

  9. Thompson, S., Haskell:The Craft of Functional Programming. 1999, Harlow, England: Pearson Education.

    Google Scholar 

  10. Chakravarty, M., The Haskell 98 foreign function interface 1.0: An addendum to the Haskell 98 report. 2003.

    Google Scholar 

  11. Wadler, P., Comprehending monads, in Proceedings of the 1990 ACM conference on LISP and functional programming 1990, ACM Press: Nice, France. p. 61–78.

    Chapter  Google Scholar 

  12. Jones, S.P., Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. 2005.

    Google Scholar 

  13. Vinhas, L. and K.R. Ferreira, Descrição da TerraLib, in Bancos de Dados Geográficos, M. Casanova, et al., Editors. 2005, MundoGeo Editora: Curitiba. p. 397–439.

    Google Scholar 

  14. Chakravarty, A.P.a.M. Interfacing Haskell with Object-Oriented Language. in 15th International Workshop on the Implementation of Functional Languages. 2004. Lübeck, Germany: Springer-Verlag.

    Google Scholar 

  15. Shields, M. and S.L.P. Jones, Object-Oriented Style Overloading for Haskell. Electronic Notes in Theoretical Computer Science, 2001. 59(1).

    Google Scholar 

  16. Tomlin, C.D., A Map Algebra, in Harvard Computer Graphics Conference. 1983: Cambridge, MA.

    Google Scholar 

  17. Câmara, G., Representação computacional de dados geográficos, in Bancos de Dados Geográficos, M. Casanova, et al., Editors. 2005, MundoGeo Editora: Curitiba. p. 11–52.

    Google Scholar 

  18. OGC. Open GIS Consortium. Topic 6: the coverage type and its subtypes. 2000 [cited 2006 10/05/2006]; Available from: http://portal.opengeospatial.org/files/?artifact_id=7198.

    Google Scholar 

  19. Câmara, G., et al. Towards a generalized map algebra: principles and data types. in VII Workshop Brasileiro de Geoinformática. 2005. Campos do Jordão: SBC.

    Google Scholar 

  20. Câmara, G., et al., SPRING: Integrating Remote Sensing and GIS with Object-Oriented Data Modelling. Computers and Graphics, 1996. 15(6): p. 13–22.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Costa, S.S., Câmara, G., Palomo, D. (2007). TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development. In: Davis, C.A., Monteiro, A.M.V. (eds) Advances in Geoinformatics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73414-7_8

Download citation

Publish with us

Policies and ethics