Detalhes bibliográficos
Ano de defesa: |
2000 |
Autor(a) principal: |
Paduan, Emerson dos Santos |
Orientador(a): |
Não Informado pela instituição |
Banca de defesa: |
Não Informado pela instituição |
Tipo de documento: |
Dissertação
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: |
|
Link de acesso: |
https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-115526/
|
Resumo: |
Nos sistemas de bancos de dados ativos difundidos no mecado e na literatura, regras são projetadas sem preocupação com seu inter-relacionamento e, na maioria das vezes, com a confluência. No primeiro caso, o desenvolvedor de aplicação é, com frequência, incapaz de ter uma visão global das regras já projetadas e, consequentemente, de saber se algumas propriedades vitais aos bancos de dados ativos são satisfeitas ou não. Já no segundo caso, o sistema de gerenciamento de banco de dados ativo não garante a consistência das informações por ele gerenciadas. Mesmo quando se procura garantir a confluência utilizando métodos de análise estática das regras, verificamos que a complexidade para tal análise é bastante grande. Neste trabalho propomos um novo modelo de execução das regras em bancos de dados ativos com o objetivo de garantir a propriedade de confluência |