Caracterizacao sistematica de restricoes de integridade em bancos de dados
Santos, Clesio Saraiva dos
Caracterizacao sistematica de restricoes de integridade em bancos de dados - 149 p.
^aTese^bDout. Informatica
Orientador: Furtado, Antonio Luz Orientador: Furtado, Antonio Luz
Este trabalho constitui um estudo sistematico sobre restricoes de integridade em bancos de dados, incluindo uma proposta para a sua classificao. Um modelo de entidades e relacionamentos, estendido pela incorporacao de mecanismos de abstracao, e usado como modelo de dados. Um formalismo baseado no calculo de predicados de primeira ordem, com varios sortes, e usado como linguagem de especificacao. Problemas relacionados com o uso deste formalismo para a especificacao e manipulacao de bancos de dados sao tambem abordados
Processamento eletrônico de dados
681.3.07 / S237
Caracterizacao sistematica de restricoes de integridade em bancos de dados - 149 p.
^aTese^bDout. Informatica
Orientador: Furtado, Antonio Luz Orientador: Furtado, Antonio Luz
Este trabalho constitui um estudo sistematico sobre restricoes de integridade em bancos de dados, incluindo uma proposta para a sua classificao. Um modelo de entidades e relacionamentos, estendido pela incorporacao de mecanismos de abstracao, e usado como modelo de dados. Um formalismo baseado no calculo de predicados de primeira ordem, com varios sortes, e usado como linguagem de especificacao. Problemas relacionados com o uso deste formalismo para a especificacao e manipulacao de bancos de dados sao tambem abordados
Processamento eletrônico de dados
681.3.07 / S237
