Slide Title BANCO DE DADOS

Dependncias funcionais e Normalizao de Bancos de Dados Relacionais

(Material complementar aos Captulos 14-15 de Elmasri-Navathe 2000)

http://www.uniriotec.br/~tanaka tanaka@rjnet.com.br

Asterio K. Tanaka

Utilizao por terceiros autorizada com citao da fonte.

Asterio K. Tanaka George Hamilton

ProjetoSlide TitleDados de Bancos de

Requisitos de Dados
Modelagem dos requisitos de dados atravs de diagramas de Entidades e Relacionamentos (DER) ou de Classes e Objetos (DCO)

Projeto Conceitual
Esquema Conceitual

Projeto Lgico
Esquema Lgico

Mapeamento do esquema conceitual para o modelo de dados do SGBD escolhido, atravs de diagrama de estruturas de dados (DED)

Projeto Fsico
Esquema Fsico

Mapeamento do esquema lgico para os tipos de dados e restries de integridade do SGBD escolhido; criao de vises e ndices.

Asterio K. Tanaka George Hamilton

Normalizao

Slide Title

Normalizao de dados : processo de decomposio de esquemas para evitar anomalias de atualizao (na insero, excluso, modificao de dados).
Bom design evita redundncia de dados e anomalias de atualizao.

Mecanismo formal para analisar esquemas de relaes baseado nas suas chaves e nas dependncias funcionais entre seus atributos. Antes da modelagem conceitual, normalizao era um mtodo de projeto de relaes, a partir de uma RELAO UNIVERSAL. Uma modelagem conceitual bem feita resulta naturalmente em esquemas normalizados, portanto normalizao conseqncia, ou seja, um bom design conseqncia de uma boa modelagem.
Asterio K. Tanaka George Hamilton

Redundncia de Dados e Slide Title Anomalias de Atualizao

FUNC-DEPT
CPF Nome-Func Data-Nasc Endereo Num-Dept Nome-Dept Gerente-Dept

FUNC-PROJ
CPF Num-Proj Horas Nome-Func Nome-Proj Local-Proj

Redundncia nas tuplas: Num-Dept, Nome-Dept, Gerente-Dept so repetidos para todo funcionrio que trabalha naquele departamento. Idem para Nome-Func, Nome-Proj, Local-Proj para cada funcionrio alocado em determinado projeto. Anomalias de atualizao: Insero: incluir um novo funcionrio implica em incluir dados de departamento our deixar nulos; como incluir um novo departamento, se CPF chave primria Excluso: ao excluir um funcinrio que seja o nico funcinrio de um departamento, estaremos perdendo dados sobre o departamento Modificao: ao mudarmos um dado de um departamento (por exemplo, o gerente), todas as tuplas de funcionrios daquele departamento tero que ser modificadas.
Asterio K. Tanaka George Hamilton

Projeto de BD por Normalizao Slide Title

CPF Nome Emp Num Dept Nome Dept Num Proj Nome Proj Horas

relao universal (tabelo com todos os dados)

Normalizao

Esquema com relaes normalizadas

CPF Nome Emp Num Dept Num Dept Nome Dept

CPF

Num Proj

Horas Num Proj Nome Proj

Asterio K. Tanaka George Hamilton

Slide Title Primeira Forma Normal (1FN)

parte da definio formal de uma relao; foi definida para no permitir atributos multivalorados, atributos compostos e suas combinaes. A 1FN garante a propriedade de fechamento da lgebra Relacional.

Uma relao est em 1FN se e somente se todos os seus atributos contm apenas valores atmicos (simples, indivisveis).

Asterio K. Tanaka George Hamilton

DEPARTAMENTO Nome Nm Pesq Adm Sede 5 4 1

Slide Title
Data-Inicio 22Mai88 01Jan92 19Jun91

atributo multivalorado

Gerente 333445555 987654321 888665555

Localizao Lins, Bauru, Santos Campinas Santos

Relao que no est em 1FN

DEPARTAMENTO Nome Nm Pesq Adm Sede 5 4 1 Gerente 333445555 987654321 888665555 Data-Inicio 22Mai88 01Jan92 19Jun91

Relaes em 1FN sem redundncia

LOCAL_DEPT Num-Dept Localizao 1 4 5 5 5 Santos Campinas Lins Bauru Santos

Asterio K. Tanaka George Hamilton

Slide Title
atributo composto
TRABALHA_EM CPF-Emp Projetos Num-Proj Horas 123456789 666884444 453453453 333445555 1 2 3 1 2 2 3 10 20 30 10 10 30 30 20 20 32,5 7,5 40,0 20,0 20,0 10,0 10,0 10,0 10,0 30,0 10,0 35,0 5,0 20,0 15,0 nulo TRABALHA_EM CPF-Emp Num-Proj Horas 123456789 123456789 666884444 453453453 453453453 333445555 333445555 333445555 333445555 999887777 999887777 987987987 987987987 987654321 987654321 888665555 1 2 3 1 2 2 3 10 20 30 10 10 30 30 20 20 32,5 7,5 40,0 20,0 20,0 10,0 10,0 10,0 10,0 30,0 10,0 35,0 5,0 20,0 15,0 nulo

999887777 987987987 987654321 888665555

Relao que no est em 1FN

Relao em 1FN

Asterio K. Tanaka George Hamilton

XpY Os valores dos atributos do conjunto X determinam os valores dos atributos do conjunto Y ou, inversamente, os valores dos atributos do conjunto Y dependem funcionalmente dos valores dos atributos do conjunto X.
EMP-PROJ CPF
df1 df2 df3

Dependncia Funcional Slide Title

Num-Proj

Horas

Nome-Emp

Nome-Proj

Local-Proj

df1 : {CPF, Num-Proj} p {Horas} df2 : {CPF} p {Nome-Emp} df3 : {Num-Proj} p {Nome-Proj, Local-Proj}

DF deve ser explicitamente definida por algum que conhea a semntica dos atributos de uma relao. No basta deduzir a DF pelas instncias.
Asterio K. Tanaka George Hamilton

Regras de Inferncia para Slide Title Dependncias Funcionais

Regra reflexiva : Se X Y, ento X p Y. Regra de aumento : {X pY} XZ p Y. Regra transitiva : {X pY, Y pZ} X p Z. Regra projetiva ou de decomposio : {X p YZ} X p Y. Regra aditiva ou de unio : {X p Y, X p Z} X p YZ. Regra pseudo-transitiva : {X p Y, WY p Z} WX p Z.

Asterio K. Tanaka George Hamilton

Slide Title Segunda Forma Normal (2FN)

Uma relao est em 2FN se e somente se estiver em 1FN e todo atributo no-primo (isto , que no seja membro de uma chave) for totalmente dependente de qualquer chave.

Asterio K. Tanaka George Hamilton

Relao em 1FN que no est em 2FN

EMP-PROJ CPF Num-Proj
df1 df2 df3

Slide Title
Nome-Emp

Horas

Nome-Proj

Local-Proj

TRABALHA_EM CPF Num-Proj

df1

Horas

Relaes em 2FN

EMPREGADO CPF Nome-Emp

df2

PROJETO Num-Proj Nome-Proj

df3

Local-Proj

Asterio K. Tanaka George Hamilton

Terceira Forma Title Normal (3FN) Slide

Uma relao est em 3FN se e somente se estiver em 2FN e nenhum atributo no-primo (isto , que no seja membro de uma chave) for transitivamente dependente da chave primria. Em outras palavras, para toda df X p A, uma das duas condies seguintes devem valer: X uma superchave ou A membro de uma chave candidata

Asterio K. Tanaka George Hamilton

Relao em 2FN que no est em 3FN EMP-DEPT

df1 df2

Slide Title

CPF Nome-Emp Data-Nasc Endereo Num-Dept Nome-Dept Ger-Dept

EMPREGADO
CPF Nome-Emp Data-Nasc Endereo Num-Dept df1

Relaes em 3FN DEPARTAMENTO

Num-Dept Nome-Dept Ger-Dept df2
Asterio K. Tanaka George Hamilton

Forma Normal de Boyce-Codd (FNBC) Slide Title

uma forma mais restritiva de 3FN, isto toda relao em FNBC est tambm em 3FN; entretanto, uma relao em 3FN no est necessariamente em FNBC. Uma relao est em FNBC se para toda DF X p Z, X uma super-chave.

Asterio K. Tanaka George Hamilton

Relao em 3FN que no est em FNBC AULA

Aluno df1 df2 df2 : {Professor} p_Disciplina} {Professor} no uma superchave.

Slide Title
Disciplina

Professor

AULA
Aluno Carlos Carlos Marta Marta Joo Disciplina Qumica Fsica Qumica Portugus Portugus Professor Ana Antonio Ana Maria Manoel

Anomalia de excluso : Se Carlos sair da aula de Fsica, no teremos nenhum registro de que Antonio leciona Fsica.
Asterio K. Tanaka George Hamilton

Relaes em FNBC R1
Aluno Carlos Carlos Marta Marta Joo Professor Ana Antonio Ana Maria Manoel

Slide Title
R2
Professor Ana Antonio Maria Manoel Disciplina Qumica Fsica Portugus Portugus

Note, entretanto, que a dependncia funcional df1 : {Aluno, Disciplina} p_Professora foi perdida na decomposio. Considere, por exemplo, a insero de (Marta, Manoel) em R1.

Asterio K. Tanaka George Hamilton

Decomposio/Juno sem Perda

Slide Title

Concluso: alguns esquemas no podem ser normalizados em FNBC e ao mesmo tempo preservar todas as dfs. Soluo: redundncia parcial. AULA
Aluno Carlos Carlos Marta Marta Joo Disciplina Qumica Fsica Qumica Portugus Portugus Professor Ana Antonio Ana Maria Manoel

R2
Professor Ana Antonio Maria Manoel Disciplina Qumica Fsica Portugus Portugus

Relaes em FNBC, com redundncia parcial e todas as dependncias funcionais preservadas

Asterio K. Tanaka George Hamilton

Slide Title Quarta Forma Normal

Baseada em dependncias multivaloradas (DMVs) Quarta forma normal (4FN) Uma relao R est em 4FN se e somente se estiver em FNBC e, caso exista alguma DMV X --->> Y, a DMV trivial (i.e., Y X ou X Y = R) ou X uma superchave de R.
Asterio K. Tanaka George Hamilton

EMPREGADO Nome-Emp
Prado Prado Prado Prado Borba Borba Borba Borba Borba Borba Borba Borba Borba Borba Borba Borba

Nome-Proj
X Y X Y W X Y Z W X Y Z W X Y Z

Slide Title Nome-Depend

Joo Ana Ana Joo Jos Jos Jos Jos Joana Joana Joana Joana Beto Beto Beto Beto Relao EMPREGADO no est em 4FN. 2 DMVs no triviais: Nome-Emp --->> Nome-Proj Nome-Emp --->> Nome-Depend

EMP-PROJ Nome-Emp
Prado Prado Borba Borba Borba Borba

EMP-DEP Nome-Proj
X Y W X Y Z

As relaes EMPPROJ e EMP-DEP esto em 4FN

Nome-Emp
Prado Prado Borba Borba Borba

Nome-Depend
Joo Ana Jos Joana Beto
Asterio K. Tanaka George Hamilton

OutrasSlide Title Formas Normais

Tipos adicionais de dependncias. dependncias de juno e de incluso, que levam a formas normais mais restritas (Quinta Forma Normal, Forma Normal de Domnio-Chave). A utilidade prtica destas formas normais limitada, porque num banco de dados real com muitos atributos, muito difcil (e praticamente irrelevante) descobrir tais dependncias e restries.

Asterio K. Tanaka George Hamilton

Normalizao como Ferramenta para Slide Title Validao da Qualidade de um Esquema

As formas normais at FNBC so baseadas em dependncias funcionais, exceto a 1FN, que faz parte da definio do modelo relacional. O design conceitual baseado nos modelos ER ou OO tende naturalmente a produzir esquemas normalizados, a menos da 1FN. A separao de conceitos o resultado natural do design conceitual bem feito. Na prtica, esquemas que violam a normalizao so exemplos de esquemas mal projetados.
Asterio K. Tanaka George Hamilton