Caracterizacao sistematica de restricoes de integridade em bancos de dados

Por:

Santos, Clesio Saraiva dos

Rio de Janeiro : 1980Descrição: 149 pTipo de conteúdo:

text

Tipo da mídia:

unmidiated

Tipo de armazenamento:

volume

Assunto(s):

Processamento eletrônico de dados

Créditos de produção:

Orientador: Furtado, Antonio Luz

Nota de dissertação: ^aTese^bDout. Informatica PUC-RJ. Departamento de Informatica Resumo: 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

Tags desta biblioteca: Sem tags desta biblioteca para este título. Faça o login para adicionar tags.

Exemplares
Tipo de material	Biblioteca atual	Coleção	Número de chamada	Materiais especificados	Número do exemplar	Situação	Devolver até	Código de barras
Tese	Biblioteca Lydia de Queiroz Sambaquy	Tese	681.3.07 S237 (Percorrer estante(Abre abaixo))		Ex. 1	Disponível		027126

Percorrer Biblioteca Lydia de Queiroz Sambaquy estante, Coleção: Tese Fechar navegador de prateleira (Oculta o navegador da estante)

Anterior	Capa não disponível	Capa não disponível	Capa não disponível	Capa não disponível	Capa não disponível	Capa não disponível	Capa não disponível	Próximo
Anterior	681.3.07 C198c Contribuicao ao estudo do nivel conceitual para sistemas de gerenciamento de base de dados	681.3.07 C268 Projeto modular de banco de dados	681.3.07 C352 Especificações formais para o projeto de aplicações de banco de dados	681.3.07 S237 Caracterizacao sistematica de restricoes de integridade em bancos de dados	681.3.07 T727 Simulacao em banco de dados	681.3.07 T727 Simulacao em banco de dados	681.3(073) 048 Um modulo para criacao e modificacao de cursos para ensino por computador	Próximo

^aTese^bDout. Informatica PUC-RJ. Departamento de Informatica

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

CNPq; CAPES; IBM do Brasil

Não há comentários sobre este título.

para postar um comentário.