Tema 6

Diseo de Bases de Datos relacionales basado en

dependencias funcionales
FORMAS NORMALES DE CODD
PRIMERA FORMA NORMAL (1FN)

Def.1: Se dice que el esquema R(T,L) est en 1FN cuando los dominios de todos los atributos de la
relacin incluyen valores atmicos, es decir, ninguna tupla puede tener dos valores distintos
para un mismo atributo.

Def.2: Se dice que el esquema R(T,L) est en 1FN cuando NO hay atributos MULTIVALUADOS.
(un campo no puede tener 2 valores a la vez). Suponemos que siempre se cumple.

SEGUNDA FORMA NORMAL (2FN)

Def.1: Se dice que el esquema R(T,L) est en 2FN si y slo si:

1. Est en 1FN.
2. Todos sus atributos no principales tienen dependencia funcional completa respecto de
todas las claves existentes en el esquema.

Def.2: Se dice que el esquema R(T,L) est en 2FN cuando est en 1FN y adems no hay ninguna
D.F. en la que el implicante sea un subconjunto estricto de la clave y el implicado pertenezca
a Q.

OJO! Cuando normalicemos a 2FN estaremos eliminando dependencias funcionales parciales o no

completas.
TERCERA FORMA NORMAL (3FN)

Def.1: Se dice que el esquema R(T,L) est en 2FN si y slo si:

1. Est en 2FN.
2. Ningn atributo no principal depende transitivamente de alguna de las claves existentes
en el esquema.

Def.2: Se dice que el esquema R(T,L) est en 3FN si est 2FN y adems no hay ninguna D.F. en la
que tanto el implicante como el implicado pertenezcan a Q.

OJO! Cuando normalicemos a 3FN estaremos eliminando dependencias funcionales transitivas.

FORMA NORMAL DE BOYCE-CODD (FNBC)

Def.1: Se dice que el esquema R(T,L) est en FNBC si y slo si:

1. Est en 3FN
2. Para toda dependencia funcional X A no trivial de L, se cumple que X es clave o
superclave de R(T,L).

Def.2: Se dice que el esquema R(T,L) est en FNBC si est en 3FN y adems TODOS los
implicantes son clave o superclave.

PROPIEDAD LOSSLESS-JOIN (LJ)

La unin natural de las tablas de una descomposicin debe dar como resultado la tabla original, sin tuplas
falsas.

Test de la propiedad LJ para una descomposicin binaria:

Una descomposicin de una relacin en otras dos relaciones verifica la propiedad LJ si y slo si:
((T1T2) (T1 T2)) L+.
o bien
((T1T2) (T2 T1)) L+.
NOTA: Para una descomposicin ternaria o n-aria, se comprueban 2 a 2. No tiene porque cumplirse para
TODOS los pares de relaciones, pero si tienen que estar comunicadas todas entre s.
Ejem.: Si tenemos las relaciones L1, L2 y L3, se puede cumplir para los pares L1 con L2 y L2 con L3, y no
cumplirse para L1 con L3 (L1 y L3 estn comunicadas a travs de L2).

ALGORITMO DE DESCOMPOSICIN EN FNBC CON LA PROPIEDAD LJ

1. Calcular RMNR del conjunto de DF original L.
2. Sea un esquema Ri que no est en FNBC:
2.1 determinar X Y que hace que Ri no est en FNBC y
2.2 agregar a la descomposicin (Ri Y ) (XY ) y remover Ri
3. Terminar cuando todos los esquemas estn en FNBC.
En resumen, por cada dependencia funcional conictiva con FNBC, sacar el lado derecho de la relacin con
problemas y agregar una nueva relacin que guarde la dependencia. Esta estrategia de normalizacin
NO asegura preservar dependencias, pero si asegura la recuperacin de la informacin por join.
Esquema
R: <T, L>
XA
T1 = {X} {A}

T2 = T {A}

Comprobacin
(T1T2)

T1

T2

L+.

(({X} {A}) (T {A})) ({X} {A}) (T {A}) L+.

X
SIEMPRE se cumple X A L+.

L+.

PROCESO DE NORMALIZACIN
Concepto de Normalizacin
Proceso mediante el cual se descompone un esquema en un conjunto equivalente de subesquemas en una
determinada forma normal y cumpliendo a ser posible las propiedades LJ y de preservacin de DF.
NOTA: Ante dos descomposiciones tales que una slo cumpla la propiedad LJ y la otra slo cumpla la
propiedad de preservacin de DF se elegir SIEMPRE la que cumpla la propiedad LJ.
Las caractersticas principales del proceso son:
No se pueden perder atributos.
No se pueden perder dependencias.

Esquema grfico del proceso