Claudia Maria Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-21T03:03:43Z (GMT). No. of bitstreams: 1
Cilia_MarianoAriel_M.pdf: 2685893 bytes, checksum: 47e8649946a694f7818dd90f4c8ae6ad (MD5)
Previous issue date: 1996 / Resumo: Esta dissertação trata da utilização de sistemas ativos no contexto de aplicações geográficas. Os resultados aqui apresentados estendem o paradigma de SGBD ativos com o objetivo de solucionar o problema de manutenção de relacionamentos espaciais (topológicos) na presença de atualizações.
A solução apresentada para este problema está dividida em três etapas: i) especificação da restrição topo lógica; ii) transformação da restrição em regras; e iii) manutenção automática da restrição, com base nas regras geradas. Esta abordagem foi utilizada no desenvolvimento de um protótipo de sistema ativo que incorpora um modelo geográfico OO, eliminando o problema da impedância existente entre Sistemas de Informação Geográfica (SIG) e sistemas de regras.
As principais contribuições deste trabalho são um estudo detalhado sobre relacionamentos topológicos binários; uma proposta integrada para o problema de manutenção desses relacionamentos; e a definição de algoritmos para a verificação de integridade topológica, implementados no protótipo. / Abstract: This dissertation concerns the use of active databases in geographic applications. The results presented here extend the active database systems paradigm to solve the problem of maintaining spatial (topological) constraints.
The solution for this problem is divided in three steps: i) topological constraint specification; ii) translation of the constraint into roles; and iii) automatic constraint maintenance, using the generated rules. This approach was used in the development of an active system prototype that incorporates an object-oriented geographic model, thus removing the gap between Geographic Information Systems (GIS) and role systems.
The main contributions presented are a detailed study about binary topological relationships; an integrated proposal for the problem of maintaining these relationships; and the definition of algorithms to verify the topological integrity (these algorithms are incorporated in the prototype). / Mestrado / Mestre em Ciência da Computação
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/276027 |
Date | 11 March 1996 |
Creators | Cilia, Mariano Ariel |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Medeiros, Claudia Maria Bauzer, 1954-, Magalhães, Geovane Cayres, Camara, Gilberto |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica, Programa de Pós-Graduação em Matemática |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | 108f. : il., application/octet-stream |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0012 seconds