Detalhes bibliográficos
| Ano de defesa: |
1999 |
| Autor(a) principal: |
Barroso, Ana Valeria Farias |
| 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: |
Não Informado pela instituição
|
| 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://siduece.uece.br/siduece/trabalhoAcademicoPublico.jsf?id=12887
|
Resumo: |
Slicing e um processo para obtencao automatica de subpartes de um programa com significado coletivo. Ele foi empregado inicialmente em linguagens de programacao procedimentais para resolver uma gama de problemas relacionados ao desenvolvimento de software. Recentemente tem sido propostas algumas adaptacoes das tecnicas de Slicing para programas em logica. Este trabalho adapta e estende as tecnicas de Slicing para os sistemas de Banco de Dados dedutivos. Esta nova tecnica compreende uma proposta para a representacao das inferencias realizadas pelo sistema, um meio de detectar e representar as dependencias entre partes do sistema e uma definicao formal de relevancia entre estas partes. Foi desenvolvido um algoritmo para a obtencao de slinces executaveis de um sistema de Banco de Dados Dedutivos, preenchendo a lacuna existente nas propostas de Slicing anteriores que nao se adequavam a inferencia bottom-up da linguagem de banco de dados dedutiva datalog.Palavras-chave: tecnicas de Slicing, banco de dados dedutivos, desenvolvimento e reuso de sistemas. |
