TerraMAP: Uma lgebra de Mapas Genrica Baseada em Predicados Espaciais

Danilo Palomo

Gilberto Cmara (orientador)

Ricardo Cartaxo Souza

Olga Oliveira

Diviso de Diviso de Diviso de Diviso de Processamento de Processamento de Processamento de Processamento de Imagens Instituto Imagens Instituto Imagens Instituto Imagens Instituto Nacional de Pesquisas Nacional de Pesquisas Nacional de Pesquisas Nacional de Pesquisas Espaciais (INPE) Espaciais (INPE) Espaciais (INPE) Espaciais (INPE) So Jos dos Campos So Jos dos Campos So Jos dos Campos So Jos dos Campos SP Brasil SP Brasil SP Brasil SP Brasil danilo@dpi.inpe.br gilberto@dpi.inpe.br cartaxo@dpi.inpe.br olga@dpi.inpe.br

Resumo
Este artigo descreve o projeto de um conjunto geral de operaes de lgebra de mapas. Esta proposta generaliza a lgebra de mapas de Tomlin por incorporar os predicados espaciais topolgicos e direcionais. O artigo tambm descreve a linguagem TerraMAP, que disponibiliza um conjunto geral de operaes para lgebra de mapas. Ns argumentamos que TerraMAP uma linguagem de lgebra de mapas mais geral e completa do que outras propostas na literatura de geoinformao. Palavras-chave: lgebra de mapas, predicados semnticos espaciais

1.

Introduo

O termo lgebra de Mapas denota um conjunto de operaes sobre dados geogrficos, que se referem a um conjunto de objetos que compem uma regio de estudo. Estas operaes so aplicadas a todos os elementos do conjunto e incluem procedimentos como sobreposio e reclassificao. As operaes de lgebra de Mapas permitem ao usurio modelar diferentes problemas e obter novas informaes, a partir de um conjunto de dados j existentes. Por analogia com operaes de superposio manual de mapas em papel [12], o termo tornou-se uso corrente no ambiente de

geoinformao. Diferentes operaes em mapas foram propostas na literatura [1] [9] [10] [11] [7]. A principal contribuio para a lgebra de Mapas o trabalho de Tomlin [15] cuja taxonomia de operaes inclui trs tipos. As operaes locais envolvem valores de localizaes correspondentes em diferentes mapas. Por exemplo, classifique como alto risco todas as reas sem vegetao com declividade maior que 15%. As operaes focais ou de vizinhana envolvem os valores de localizaes prximas no mesmo mapa. Por exemplo, calcule a mdia local dos valores do mapa. As operaes zonais envolvem os valores de localizaes de um mapa contidas em zonas definidas em outro mapa. Por exemplo, dados um mapa de cidades e um de altimetria, calcule a altitude mdia de cada cidade. Na grande maioria dos SIG, as operaes disponveis para lgebra de mapas so as projetadas por Tomlin. Um dos grandes desafios em aberto na cincia da geoinformao determinar at que ponto as operaes propostas por Tomlin so genricas. Essas definies so empricas e nasceram da experincia do autor, que depois se verificou serem de utilidade prtica. No entanto, permanece a questo: Qual seria o conjunto completo de operaes de lgebra de Mapas? possvel definir este conjunto partindo de consideraes conceituais de cincia da geoinformao? Ao analisar a lgebra de Mapas de Tomlin, verificamos o carter arbitrrio das operaes propostas. Na operao focal, a funo de vizinhana

est restrita as funes de adjacncia. As operaes zonais so restritas condio de pertinncia topolgica. Considerando essas limitaes e analisando-se o conjunto de predicados semnticos espaciais disponveis, pode-se mostrar que as operaes de Tomlin no so as nicas possveis de serem realizadas e, portanto, so apenas um subconjunto restrito de todos as possveis operaes sobre mapas. Com esta motivao, este trabalho apresenta um conjunto genrico de operaes sobre mapas e uma nova linguagem associada a estas operaes. A linguagem chamada TerraMAP, por ter ser seu desenvolvimento associado com a biblioteca de cdigo aberto TerraLib [4]. Sua definio, no entanto, genrica e no restrita ao ambiente da TerraLib.

Figura 1. Predicados topolgicos. Fonte: adaptado de Egenhofer [6]

2.

Predicados semnticos espaciais e lgebra de mapas

No o caso do relacionamento direcional, os predicados: north, south, east, west, northwest, northeast, southeast, southwest (Figura 2) so apresentados em [16] aplicados a geometrias matriciais e em [13] aplicados a geometrias vetoriais.

A concepo deste artigo que uma lgebra de mapas genrica deveria ser baseada nos predicados topolgicos e direcionais j estabelecidos na literatura de geoinformao. A partir destes predicados, projetamos as operaes. Mostramos ainda como a proposta de Tomlin um caso particular destas operaes. Para tanto, partimos de uma reviso dos predicados semnticos espaciais existentes na literatura e as operaes da lgebra de mapas de Tomlin.

Figura 2. Predicados direcionais. Fonte: [13]

2.1.

Predicados semnticos espaciais

Para a determinao dos relacionamentos topolgicos entre elementos, o modelo apresentado em [6] e depois refinado em [5], conhecido como Matriz de 9-Intersees, permite a identificao de 512 relacionamentos, dos quais em 2 podemos identificar 8 predicados possveis de serem realizados entre regies: disjoint, equal, meet, overlap, contains, inside, covers, covered by (Figura 1), 33 entre linhas e 19 entre regies simples e linhas, 2 entre pontos e 3 entre pontos e linhas e regies.

A identificao do relacionamento topolgico entre dois elementos, atravs da utilizao do modelo de 9-intersees abrange todos os possveis relacionamentos topolgicos [6]. A identificao do relacionamento direcional atravs do modelo apresentado acima abrange um conjunto abrangente de relacionamentos direcionais.

2.2.

lgebra de mapas: breve descrio

A principal contribuio para a lgebra de mapas vem do trabalho de Tomlin [15]. A sua definio de operaes seguida na grande maioria dos ambientes que implementam lgebra de mapas, tais como GRID, utilizada no ArcGIS [8], LEGAL [2] utilizada no SPRING [3] e MapScript [14]. Suas operaes so de trs tipos: Operao local: o novo valor calculado como uma funo especificada a partir dos valores de localizaes presentes em dois ou mais mapas existentes (Figura 3). Dentre os operadores locais esto funes como as expresses matemticas e lgicas.

3.

Projeto de uma lgebra de mapas genrica

Esta seo apresenta uma lgebra de mapas que generaliza as idias de Tomlin, para incluir os predicados topolgicos e direcionais.

3.1.
Figura 3. Operao local

Operaes genrica

da

lgebra

de

mapas

Operao focal: o novo valor calculado como uma funo aplicada aos valores dos vizinhos da localizao de sada (Figura 4). Os operadores focais incluem funes como a mdia local.

Essa lgebra de mapas genrica tem um conjunto de operaes locais, semelhantes s de Tomlin, uma funo de seleo que utiliza os predicados semnticos e uma operao de vizinhana. Operao local: sua especificao segue a especificao da operao local de Tomlin [15]. A funo seleo aplica um predicado semntico espacial, gerando para cada elemento um subconjunto dos elementos que satisfazem o predicado. Operao de vizinhana: o novo valor de sada calculado como uma funo, aplicada aos valores dos elementos do conjunto, associado ao elemento de sada pela aplicao da funo seleo (Figura 6).

Figura 4. Operao focal

Operao zonal: o novo valor calculado como uma funo aplicada aos valores contidos em uma zona, definida em outro mapa (Figura 5).

Figura 5. Operao zonal

Como podemos observar, a utilizao de relacionamentos espaciais se d nas operaes focal e zonal. Na operao focal, a funo de vizinhana est restrita a funo de adjacncia, ou seja, a utilizao do predicado meet e na operao zonal, a funo est restrita contingncia topolgica, ou seja, a utilizao do predicado inside. Dentre todos os possveis predicados semnticos espaciais propostos na literatura, as operaes de Tomlin [15] se utilizam apenas de alguns deles e de uma forma restritiva em cada uma de suas operaes, ou seja, a lgebra de Tomlin no completa em relao aos predicados topolgicos e direcionais.

Figura 6. Operao de vizinhana

A funo de seleo permite a utilizao de todos os predicados semnticos na seleo dos elementos de interesse. Esta funo engloba o conceito das funes de seleo das operaes local e zonal. Pode ser aplicada a um mesmo mapa ou a um outro mapa. Isso possibilita que operao de vizinhana generalize as operaes focais e zonais de Tomlin.

4.

A linguagem TerraMAP

Predicados direcionais: north, south,

east, west, northwest, northeast, southeast, southwest, left, right, below, above.

Nesta seo mostraremos como uma linguagem TerraMAP foi desenvolvida para realizar as funcionalidades da lgebra de mapas genrica descrita na seo 3.

4.1.

Operaes

As operaes em TerraMAP so realizadas atravs da operao local e da operao de vizinhana. As funes e operaes de TerraMAP fazem referncia a todos os elementos do mapa sem a necessidade de do loops explcitos. (a) Operao local: gera o novo valor a partir da aplicao do operador escolhido pelo usurio, nos valores dos elementos dos mapas de entrada que se encontram sobre o elemento de sada. Os possveis operadores so: Operadores Matemticos: log, exp; sin, cosine, tan, arcsin, arccosine, arctan, sinh, cosineh, tanh, arcsinh, arccosineh, arctanh; sqrt, power; mod, ceiling, floor (c)

Figura 8. Exemplo da aplicao de alguns predicados espaciais

Operao de vizinhana: aplica-se o operador escolhido pelo usurio ao seu conjunto de valores associado, gerando o novo valor a ser atribudo. Os operadores so:
sum, product, and, or, maximum, minimum, mean, median, variety, majority, minority, count, percentage, percentile, ranking.

A sua sintaxe apresentada na Figura 9.

mapa_saida:= operador_sobre_vizinhanca ( mapa_entrada predicado_selecao mapa_referencia ); Figura 9. Sintaxe da operao de vizinhana

Operador lgico: not Operadores sobre mltiplos valores: sum,

product, and, or, maximum, minimum, mean, median, variety, majority, minority, count; percentage, percentile, ranking

A sua sintaxe mostrada na Figura 7.

mapa_saida := operador_local (lista_de_mapas); Figura 7. Sintaxe da operao local

onde mapa_saida representa o mapa de sada a ser preenchido com os novos valores, operador_local representa um dos operadores apresentados acima e lista_de_mapas representa a lista de mapas de entrada. (b) A funo seleo toma o elemento do mapa de referncia, o qual o elemento de sada est associado. Aplica-se ento o predicado de seleo aos elementos do mapa de entrada; os valores dos elementos que satisfizerem o predicado faro parte do conjunto de valores associado ao elemento de sada (Figura 8). Os predicados semnticos disponveis para a linguagem so: Predicados topolgicos: disjoint,
meet, inside, overlap, equal, intersects covers,

onde mapa_saida representa o mapa de sada a ser preenchido com os novos valores; operador_sobre_vizinhanca representa um dos operadores explicados acima; mapa_entrada representa o mapa de qual os valores que formaro o conjunto sero tomados; predicado_selecao representa os predicados de seleo; e mapa_referencia representa o mapa tomado como referncia na aplicao do predicado.

5.

Exemplos

Por simplicidade, consideramos que os problemas modelados atravs da operao local so equivalentes na TerraMAP e na lgebra de Tomlin. No que segue, daremos um exemplo de operao focal e zonal e um exemplo adicional.

5.1.

Exemplo de operao focal

Considere o problema: Dado um mapa de desmatamento, deseja-se saber quais so os pontos de maior concentrao. Para isto, tomamos uma

soma local dos dados de desmatamento (Figura 10). Considerando o mapa de desmatamento como entrada (desm) e o mapa de concentrao como sada (conc) , o comando em TerraMAP :
conc := sum ( desm touch conc );

Mapas de desmatamento (grade) e reas indgenas (reas em cor)

Resultado da operao (desmInd)

Figura 11. Clculo do desmatamento em reas indgenas

5.3.
Figura 10. Clculo dos pontos de concentrao de desmatamento

Operaes no previstas por Tomlin

Note-se um aspecto da linguagem: o mapa de concentrao (conc), onde armazenado o resultado da operao tambm usado como restrio topolgica (desm touch conc). Esta sintaxe pode parecer paradoxal. No entanto, esta estrutura decorre do carter flexvel e genrico da TerraMAP. Ao utilizarmos o mapa conc como restrio de conc, estamos restringindo a operao topolgica. Se assim no fosse, o interpretador no teria como calcular corretamente os valores de sada. No lugar do mapa de concentrao, poderamos ter qualquer outro mapa como restrio do predicado touch, que tivesse a mesma resoluo espacial de conc.

As duas sees anteriores mostraram como os predicados semnticos da TerraMAP permitem construir todas as operaes previstas por Tomlin. Nesta seo, apresentamos um exemplo que no pode ser realizada atravs da lgebra de mapas de Tomlin. Consideramos o problema: Dada uma estrada (BR163) e um mapa de desmatamento, desejarmos calcular a mdia do desmatamento ao longo da BR163. Temos como entrada o mapa da BR-163 (road) e o de desmatamento (desm). Para a resoluo desse problema com o TerraMAP, devemos realizar a seleo utilizando o predicado intersects e por fim proceder soma dos valores. Esses passos so ilustrados na Figura 12. Ficando o comando da seguinte forma:
desmRoad := mean ( desm intersects road);

5.2.

Exemplo de operao zonal

Um exemplo de operao zonal : Qual a soma dos desmatamentos nas reas indgenas?. Para isso, tomando o mapa das reas indgenas (ind) e o mapa de desmatamento (desm). Para sua resoluo devemos selecionar os elementos do desmatamento que esto dentro das reas indgenas utilizando o predicado de seleo inside e realizar a soma dos valores associados (Figura 11). O comando em TerraMAP :
desmInd := sum ( desm inside ind);

Figura 12. Clculo da mdia do desmatamento ao longo da BR-163

6.

Concluses

Este artigo mostra que possvel definir uma lgebra de Mapas genrica que utilize os predicados espaciais estabelecidos e que englobe as operaes de Tomlin [15] como um caso particular. Disto conclumos que a proposta de Tomlin pode ser generalizada. O artigo apresenta uma linguagem (TerraMAP) que expressa uma lgebra de mapas genrica baseada em duas operaes (local e vizinhana) e um predicado (seleo). Com os exemplos da seo 5, mostramos o maior poder expressivo da TerraMAP frente proposta de Tomlin. Conclumos que possvel a construo uma lgebra de mapas que utilize os predicados semnticos espaciais, para generalizar as operaes de Tomlin, com maior poder expressividade que as demais linguagens de lgebra de mapas.

[6] Egenhofer, M., Herring, J. Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases. Department of Surveying Engineering, University of Maine, Orono, ME, 1991. [7] Erwig, M., Schneider, M. Partition and Conquer. In: 3rd Int. Conf. on Spatial Information Theory (COSIT 97). Lecture Notes in Computer Science 1329. Springer, Berlin,1997. 389408. [8] ESRI. ARCGIS Manual: GRID, Redlands, CA, 2000. [9] Frank, A. Overlay Processing in Spatial Information Systems. In: Chrisman, N.R.(ed.): AUTO-CARTO 8, Eighth International Symposium on Computer-Assisted Cartography, Baltimore, MD 1987 16-31. [10] Gting, R. Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems. In: Schmidt, J., Ceri, S., Missikoff, M.(ed.): Advances in Database TechnologyEDBT '88 International Conference on Extending Database Technology, Venice, Italy. Springer-Verlag, New York, NY 1988 506-527. [11] Huang, Z., Svensson, P., Hauska, H. Solving Spatial Analysis Problems with GeoSAL, a Spatial Query Language. In: 6th Int. Working Conf. on Scientific and Statistical Database Management.1992. [12] McHarg, I.L. Design with nature. Natural History Press, Garden City, N.Y., 1969. [13] Papadias, D., Egenhofer, M., "Hierarchical Spatial Reasoning about Direction Relations", GeoInformatica, 1 1997 251-273. [14] Pullar, D., "MapScript: A Map Algebra Programming Language Incorporating Neighborhood Analysis", GeoInformatica, 5 2001 145-163. [15] Tomlin, C.D. Geographic Information Systems and Cartographic Modeling. Prentice-Hall, Englewood Cliffs, NJ, 1990. [16] Winter, S., Frank, A., "Topology in Raster and Vector Representaion", GeoInformatica 2000.

7.

Referncias

[1] Berry, J.K., "Fundamental Operations in Computer-Assisted Map Analysis", International Journal of Geographical Information Systems, 1 1987 119136. [2] Cmara, G. Modelos, Linguagens e Arquiteturas para Bancos de Dados Geogrficos. Instituto Nacional de Pesquisas Espaciais (INPE), So Jos dos Campos, SP,1995. [3] Cmara, G., Souza, R., Freitas, U., Garrido, J., "SPRING: Integrating Remote Sensing and GIS with Object-Oriented Data Modelling", Computers and Graphics, 15 1996 13-22. [4] Cmara, G., Souza, R., Pedrosa, B., Vinhas, L., Monteiro, A.M., Paiva, J., Carvalho, M.T., Gattass, M. TerraLib: Technology in Support of GIS Innovation. In: II Brazilian Symposium on Geoinformatics, GeoInfo2000. So Paulo,2000. [5] Clementini, E., Di Felice, P., "A Model for Representing Topological Relationships Between Complex Geometric Features in Spatial Databases", Information Sciences, 90 1996 121-136.