Dependncia Funcional e Normalizaes

Prof. Alexandre Denes

Monday, May 2, 2011

Uma tabela (relao) composta de colunas (atributos). Cada relao deve ser interpretada como um conjunto de fatos. A semntica deve ser explicada em termos das relaes e no dos atributos da relaes

Semntica de Relaes
Monday, May 2, 2011

Diretriz
Projetar um esquema de relao de maneira que seja simples descrever seu signicado.

No misturar atributos de mltiplas entidades em uma

nica relao

Monday, May 2, 2011

Anomalia de Insero
Para inserir uma nova tupla em EMP_DEPT, deve-se incluir os valores do departamento, garantindo que esses valores sero consistentes com os outros valores de outras tuplas que se referem ao mesmo departamento. Para inserir um novo departamento sem empregados, necessrio inserir null nos dados do empregado, o que no possvel porque NSS chave primria.
Monday, May 2, 2011

Anomalia de Remoo
Se for removido o ltimo empregado de um departamento, os dados desse departamento sero perdidos.

Monday, May 2, 2011

Anomalia de Modicao
Se o gerente de um departamento mudar, isso ter de ser feito em todas as tuplas de empregados referentes quele departamento, ou a base se tornar inconsistente.

Monday, May 2, 2011

Diretriz
Projetar esquemas que quando aplicadas operaes join-naturais no sejam geradas tuplas esprias

Monday, May 2, 2011

Diretriz
Eviter criar atributos cujos valores possam ser null
Isso causa vrios problemas: - Funes agregadoras tem problemas com null - Mltiplas interpretaes do que signica null: - No pode ser aplicado? - desconhecido? - Vai ser preenchido ainda?

Monday, May 2, 2011

E como fazer?
A chave formal para aplicao dessas diretrizes no projeto de relaes esto nos conceitos de Dependncia Funcional e Normalizao

Monday, May 2, 2011

Seja R uma varivel de relao (tabela), e sejam X e Y subconjuntos arbitrrios do conjunto de atributos de R. Ento, dizemos que Y funcionalmente dependente de X

Denio

X Y se, e somente se, em todo valor possvel de R, cada valor X tem associado a ele exatamente um valor Y. Diz-se ento que X determina funcionalmente Y.

Monday, May 2, 2011

Exemplo

REMESSA ID CIDADE JID QDE

ID,JID QDE
100 100 200 200 300 400 400 400

1 1 2 2 3 4 4 4

Londres Londres Paris Paris Paris Londres Londres Londres

1 2 1 2 2 2 4 5

ID,JID CIDADE ID,JID CIDADE,QDE ID,JID ID ID,JID ID,CIDADE,JID,QDE ID QDE QDE ID

Monday, May 2, 2011

Exemplo
Emprestimo = (nome_agncia, nmero_emprstimo,nome_cliente,total) Queremos garantir nesse esquema as DFs nmero_emprstimo total nmero_emprstimo nome_agncia Mas no queremos a DF nmero_emprstimo nome_cliente
Monday, May 2, 2011

DFs Triviais e No Triviais

Uma DF dita trivial se, e somente se, o lado direito um subconjunto do lado esquerdo. ID,PID ID Como o nome indica, DFs triviais no tem interesse prtico e portanto, podem ser eliminadas do conjunto de DFs em anlise.

Monday, May 2, 2011

Algumas dependncias podem implicar outras:

Fecho de DFs

ID,PID cidade,qde implica em ID,PID cidade ID,PID qde

Monday, May 2, 2011

Fecho de DF
O conjunto de todas as DFs implicadas por um determinado conjunto S de DFs chamado fecho de S, representado por S+ As regras pelas quais novas DFs podem ser inferidas so conhecidas como Axiomas de Armstrong Assim, sejam A, B e C subconjuntos arbitrrios dos atributos de R, o seguinte se aplica:
Monday, May 2, 2011

Axiomas de Armstrong
Reexividade (trivialidade) Se B um subconjunto de A, ento AB

Monday, May 2, 2011

Axiomas de Armstrong
Aumento Se AB ento AC BC Onde XY denota a unio de X com Y

Monday, May 2, 2011

Axiomas de Armstrong
Transitividade Se ABeBC ento AC

Monday, May 2, 2011

Axiomas de Armstrong
Autodeterminao AA

Monday, May 2, 2011

Axiomas de Armstrong
Decomposio Se A BC ento ABeAC

Monday, May 2, 2011

Axiomas de Armstrong
Unio Se ABeAC ento A BC

Monday, May 2, 2011

Axiomas de Armstrong
Composio Se ABeCD ento AC BD

Monday, May 2, 2011

Axiomas de Armstrong
Exerccio: Sejam as DFs A BC BE CD EF mostre que AD F uma DF vlida
Monday, May 2, 2011

Conjuntos Irredutveis
Monday, May 2, 2011

Sejam S1 e S2 dois conjuntos de DFs. Se toda DF implicada por S1 for implicada por S2 (S1+ S2+), dizemos que S2 cobre S1, ou seja, impondo das restries S2 no SGBD estaremos automaticamente impondo as restries S1.

Conjuntos Irredutveis
Adicionalmente, se S1 cobre S2 e S2 cobre S1, dizemos que S1 e S2 so equivalentes S1+ = S2+

Monday, May 2, 2011

Conjuntos Irredutveis
Um conjunto S de DFs dito irredutvel se, e somente se, satisfaz s propriedades: 1. O lado direito de cada DF em S contm apenas um atributo 2. O lado esquerdo de cada DF em S irredutvel (nenhum atributo pode ser descartado sem mudar o fecho S+) 3. Nenhuma DF pode ser descartada de S sem alterar o fecho S+
Monday, May 2, 2011

Conjuntos Irredutveis
Pode-se armar que para todo conjunto de DFs, existe pelo menos um conjunto equivalente que irredutvel. A partir das DFs do conjunto irredutvel, as derivaes na forma X A onde A o conjunto de todos os atributos de R so as chaves candidatas de R.

Monday, May 2, 2011

Procedimento
Suponha a relao R com os atributos A, B, C, D e as DFs: A BC BC AB AB C AC D

Monday, May 2, 2011

Procedimento
Passo 1: reescrever as DFs de modo que cada uma tenha um lado direito unitrio. Passo 2: Eliminar redundncias at no ser possvel eliminar mais nada. O resultado o conjunto irredutvel.

Monday, May 2, 2011

Conjuntos Irredutveis
Seja R{A,B,C,D,E} e os conjuntos de DFs: DF1: AB, ABC, DAC, DE DF2: ABC, DAE Eles so equivalentes? Seja Horrio denida com os atributos D - Dia da Semana (1 a 5) H - Horrio no dia (1 a 4) S - Sala de aula P - Nome do Professor C - Nome da Cadeira Quais as dependncias funcionais vlidas? Quais a chaves candidatas?
Monday, May 2, 2011

Obrigado!
@alexandredenes denes@denes.com.br
Monday, May 2, 2011

denes.com..br