Uma ferramenta para a definição e verificação de regras de integridade em banco de dados.
Ano de defesa: | 1990 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
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: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/12169 |
Resumo: | Este trabalho é a descrição de uma ferramenta desenvolvida com o objetivo de gerar automaticamente programas de crítica. O sistema, por nós desenvolvido, permite a definição de Regras de Integridade (Ris), usando uma linguagem em duas versões, uma versão em português e uma versão em lógica, permitindo ainda a definição de novos itens de dado (Definições), a partir de itens de dado reais do Banco de Dados. |