AN ALGEBRA FOR OPENGIS COVERAGES BASED ON TOPOLOGICAL PREDICATES.pdfVIP

® AN ALGEBRA FOR OPENGIS COVERAGES BASED ON TOPOLOGICAL PREDICATES Danilo Mori Palomo Master Thesis in Applied Computing Science, advised by Dr. Gilberto Câmara INPE São José dos Campos 2007 MINISTÉRIO DA CIÊNCIA E TECNOLOGIA INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS INPE- ® AN ALGEBRA FOR OPENGIS COVERAGES BASED ON TOPOLOGICAL PREDICATES Danilo Mori Palomo Master Thesis in Applied Computing Science, advised by Dr. Gilberto Câmara. 2 ® AN ALGEBRA FOR OPENGIS COVERAGES BASED ON TOPOLOGICAL PREDICATES ABSTRACT Map algebra is a collection of functions for handling spatial datasets where each data contains a set of geometries of the same type which bound to a geographical reference. The current theory for Map Algebra uses ad hoc operators proposed by Dana Tomlin. His proposal has had great practical success, and most GIS implementations provide its operations. However, there is a lack of theoretical foundations for the operations proposed in Tomlin’s map algebra. This is a limitation for the proposal of international standards for map algebra. Specifically, the Open Geospatial Consortium’s proposal for handling a map (the coverage data type) lacks a set of functions to manipulate its content. To address this problem, our work proposes a specification f