Santos, Clesio Saraiva dos <br/><br/>
Caracterizacao sistematica de restricoes de integridade em bancos de dados 

 - 149 p. 
<br/><br/>^aTese^bDout. Informatica 
<br/><br/>Orientador: Furtado, Antonio Luz  Orientador: Furtado, Antonio Luz 
<br/><br/> 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 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Processamento eletrônico de dados
<br/><br/><label>Universal Decimal Class. No.: </label>681.3.07  / S237