Bancos de dados ativos como suporte a restrições topologicas em sistemas de informação geografica

Claudia Maria Bauzer MedeirosDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: 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).MestradoMestre em Ciência da Computaçã

On rules and integrity constraints in database systems

Information and Software Technology343147-158ISOT