Aula 05

BANCO DE DADOS I
FAMETA
Sistemas de informação
Ricardo yamasaki sassagawa
Aula 05

VERIFICAÇÃO DE UM MODELO ER


Um modelo ER deve ser validado e verificado.



Verificação
 Controle

de qualidade que define se modelo usado para a construção do banco de dados gerará um bom produto. 

Um modelo para ser considerado bom, deve ser:
 Completo
 Correto
 Não

conter redundâncias

MODELO CORRETO


Não contém erros de modelagem.



Os conceitos de modelagem ER foram corretamente empregados para modelar a realidade em questão.



Existem dois erros:
 Sintáticos:

o modelo não respeita construção de um modelo ER.

as

regras

Associação entre atributos e atributos
 Associação entre atributos e relacionamentos
 Associação entre relacionamentos e relacionamentos
 Especialização de atributos e relacionamentos


de

MODELO CORRETO


Semânticos: ocorrem quando o modelo, apesar de estar sintaticamente correto, reflete a realidade de forma inconsistente.
 Estabelecer


associações incorretas.

Um exemplo é associar a uma entidade um atributo que na realidade pertence a outra entidade.

 Usar

uma entidade do modelo como atributo de outra entidade.  Usar o número incorreto de entidades em um relacionamento. MODELO COMPLETO


Deve fixar todas propriedades desejáveis do banco de dados.



Para se atestar se o modelo está completo deve-se verificar:  Se

todos os dados que devem ser obtidos do banco de dados estão presentes.

 Se

todas as transações de modificação do banco de dados podem ser executadas sobre o modelo.

MODELO COMPLETO


Este requisito é aparentemente conflitante já que o poder de expressão de modelos ER é limitado.



Temos que considerar todas as propriedades que podem ser expressas com modelos ER.

MODELO DEVE SER LIVRE DE
REDUNDÂNCIAS
Deve ser mínimo.
 Isto é não deve conter conceitos redundantes.




Tipos de redundância:
 Redundância


são resultado da combinação de outros relacionamentos entre as mesmas entidades.

