Cuarta y quinta forma normal

Cuarta forma normal. Definicin formal: Un esquema de relaciones R est en 4FN con respecto a un conjunto D de dependencias funcionales y de valores mltiples s, para todas las dependencias de valores mltiples en D de la forma X->->Y, donde X<=R y Y<=R, se cumple por lo menos una de estas condiciones: * X->->Y es una dependencia * X es una superllave del esquema R. de valores mltiples trivial.

Para entender mejor an esto consideremos una afinidad (tabla) llamada estudiante que contiene los siguientes atributos: Clave, Especialidad, Curso tal y como se demuestra en la siguiente figura: Clave Especialidad Curso S01 S01 S01 B01 C03 Sistemas Bioqumica Sistemas Bioqumica Civil Natacin Danza Natacin Guitarra Natacin

Suponemos que los estudiantes pueden inscribirse en varias especialidades y en diversos cursos. El estudiante con clave S01 tiene su especialidad en sistemas y Bioqumica y toma los cursos de Natacin y danza, el estudiante B01 tiene la especialidad en Bioqumica y toma el curso de Guitarra, el estudiante con clave C03 tiene la especialidad de Civil y toma el curso de natacin. En esta tabla o relacin no existe dependencia funcional porque los estudiantes pueden tener distintas especialidades, un valor nico de clave puede poseer muchos valores de especialidades al igual que de valores de cursos. Por lo tanto existe dependencia de valores mltiples. Este tipo de dependencias produce redundancia de datos, como se puede apreciar en la tabla anterior, en donde la clave S01 tiene tres registros para mantener la serie de datos en forma independiente lo cual ocasiona que al realizarse una actualizacin se requiera de demasiadas operaciones para tal fin. Existe una dependencia de valores mltiples cuando una afinidad tiene por lo menos tres atributos, dos de los cuales poseen valores mltiples y

sus valores dependen solo del tercer atributo, en otras palabras en la afinidad R (A,B,C) existe una dependencia de valores mltiples si A determina valores mltiples de B, A determina valores mltiples de C, y B y C son independientes entre s. En la tabla anterior Clave determina valores mltiples de especialidad y clave determina valores mltiples de curso, pero especialidad y curso son independientes entre s. Las dependencias de valores mltiples se definen de la siguiente manera: Clave ->->Especialidad y Clave->->Curso; Esto se lee "Clave multidetermina a Especialidad, y clave multidetermina a Curso" Para eliminar la redundancia de los datos, se deben eliminar las dependencias de valores mltiples. Esto se logra construyendo dos tablas, donde cada una almacena datos para solamente uno de los atributos de valores mltiples. Para nuestro ejemplo, las tablas correspondientes son: Tabla Eespecialidad Clave Especialidad S01 Sistemas B01 C03 Tabla ECurso Clave Curso S01 S01 B01 C03 Natacin Danza Guitarra Natacin Bioqumica Civil

Quinta forma normal. Definicin formal: Un esquema de relaciones R est en 5FN con respecto a un conjunto D de dependencias funcionales, de valores mltiples y de producto, si para todas las dependencias de productos en D se cumple por lo menos una de estas condiciones: * (R1, R2, R3, ... Rn) es una dependencia de producto trivial. * Toda Ri es una superllave de R. La quinta forma normal se refiere a dependencias que son extraas. Tiene que ver con tablas que pueden dividirse en subtablas, pero que no pueden reconstruirse.

Cuarta forma normal (4FN)

La cuarta forma normal tiene por objetivo eliminar las dependencias multivaluadas. Definicin: Una relacin est en 4NF si y slo si, en cada dependencia multivaluada X ->> Y no trivial, X es clave candidata. Una dependencia multivaluada A ->-> B es trivial cuando B es parte de A. Esto sucede cuando A es un conjunto de atributos, y B es un subconjunto de A. Tomemos por ejemplo la tabla de Agenda, pero dejando slo los atributos multivaluados:
Agenda(nombre, telfono, correo)

Lo primero que debemos hacer es buscar las claves y las dependencias. Recordemos que las claves candidatas deben identificar de forma unvoca cada tupla. De modo que estamos obligados a usar los tres atributos para formar la clave candidata. Pero las dependencias que tenemos son:
nombre ->-> telfono nombre ->-> correo

Y nombre no es clave candidata de esta relacin.

Resumiendo, debemos separar esta relacin en varias (tantas como atributos multivaluados tenga).
Telfonos(nombre, telfono) Correos(nombre, correo)

Ahora en las dos relaciones se cumple la cuarta forma normal.