Universidad Nacional de Sur Departamento de Ciencias e Ingeniera de la Computacin Teora y Diseo de Bases de Datos 2do. Cuatrimrestre 2004.

Un ejemplo de aplicacin con dependencias funcionales y descomposiciones para un problema real.

Descripcin del problema
Supongamos que deseamos mantener informacin sobre los cursados de alumnos de una universidad. Los datos que se desean mantener sobre los cursados incluyen1: ESQUEMA_CURSADOS (MateriaCdigo, MateriaNombre, DptoCdigo, DptoNombre, AlumnoLU, AlumnoApellido, AlumnoNombre, AlumnoDomicilio, AlumnoTipoDoc, AlumnoNroDoc, Cuatrimestre, AoAcadmico, CursadoResultado) Donde: Atributo MateriaCdigo MateriaNombre DptoCdigo DptoNombre AlumnoLU AlumnoApellido AlumnoNombre AlumnoDomicilio AlumnoTipoDoc AlumnoNroDoc Cuatrimestre AoAcadmico CursadoResultado Descripcin Cdigo de materia. Es el atributo que identifica a una materia. Nombre de la materia. Cdigo de departamento acadmico. Cada departamento tiene su propio cdigo. Nombre del departamento. Nmero de libreta de un alumno. A cada alumno se le asigna un nico nmero de libret Apellido del alumno. Nombre del alumno. Domicilio del alumno. Tipo de documento. Puede asumir uno de los siguientes valores: DNI, LC, CI o Pasaporte. Nmero de documento Cuatrimestre lectivo. Asume los valores: 1 y 2 Ao acadmico. Resultdo con que se califica el cursado. Puede tener asociado uno de los siguientes valores: Aprobado, Desaprobado, Ausente, Sin Calificar. Mapeo a Letra A B C D E F G I J K L M

Dependencias funcionales
Para el esquema del inciso anterior se plantearon las siguientes restricciones o dependencias funcionales que se espera satisfagan todas las instancias de R: Dependencias funcionales 1. MateriaCdigo MateriaNombre, DptoCdigo, DptoNombre
Este problema es una simplificacin de la realidad, por esta misma razn slo se consideraron un nmero reducido de atributos
1

Universidad Nacional de Sur Departamento de Ciencias e Ingeniera de la Computacin Teora y Diseo de Bases de Datos 2do. Cuatrimrestre 2004. 2. DptoCdigo DptoNombre 3. AlumnoLU AlumnoApellido, AlumnoNombre, AlumnoDomicilio, AlumnoTipoDoc, AlumnoNroDoc 4. AlumnoTipoDoc, AlumnoNroDoc AlumnoApellido, AlumnoNombre, AlumnoDomicilio, AlumnoLU 5. AlumnoLU, MateriaCdigo, DptoCdigo, AoAcadmico, Cuatrimestre CursadoResultado 6. AlumnoTipoDoc, AlumnoNroDoc, MateriaCdigo, DptoCdigo, AoAcadmico, Cuatrimestre CursadoResultado Siguiendo el mapeo de letras las dependencias anteriores podran reescribirse de la siguiente manera: Dependencias funcionales 1. A BCD 2. CD 3. EFGHIJ 4. IJ EFGH 5. ACEKL M 6. IJACKL M Esto es, ahora es posible redefinir el problema como: Dado R un esquema de relacin R(A,B,C,D,E,F,G,H,I,J,K,L,M) y sea el siguiente conjunto de dependencias funcionales definido sobre R F={ A BCD, CD, EFGHIJ, IJ EFGH, ACEKL M, IJACKL M} Queda propuesto como ejercicio al lector comprobar que el siguiente es un cubrimiento mnimo reducido para F: Fminimo reducido = {A BC, CD, EFGHIJ, IJ E, AEKL M}

Forma Normal
Qu forma normal respeta R?. Para poder responder esta consulta es necesario conocer las llaves de R Siempre AKL BDFGHM Nunca CEIJ Talvez

Clculo de las llaves candidatas AKL+ = AKLBCD no es llave. AKLC+ = AKLBCD no es llave. AKLE+ = AKLEBCDFGHIJM = ABCDEFGHIJKLM si es llave. AKLI+ = AKLIBCD no es llave. AKLJ+ = AKLJBCD no es llave. AKLCI+ = AKLCIBD no es llave. AKLCJ+ = AKLCJBD no es llave. AKLIJ+ =AKLIJBCDEFGHM = ABCDEFGHIJKLM si es llave. 2

Universidad Nacional de Sur Departamento de Ciencias e Ingeniera de la Computacin Teora y Diseo de Bases de Datos 2do. Cuatrimrestre 2004. Atributos primos AKLEIJ BCDFGH Atributos no primos

El esquema R(ABCDEFGHIJKLM) bajo el conjunto de dfs FMinimoReducido ={A BC, CD, EFGHIJ, IJ E, AEKL M}respeta la 1FN ya el dominio de todos los atributos es simple. Sin embargo no respeta la 2FN, dado que por ejemplo la dependencia funcional ABC sobre los atributos no primos BC contiene una dependencia parcial con una de las llaves, ms especficamente con las dos llaves de este esquema AKLE y AKLIJ.

Descomposicin
Un esquema que slo respeta la 1FN no es un buen diseo conceptual. Tiene problemas de redundancia, inconsistencia y anomalas de insercin y borrado. La solucin es plantear una descomposicin que respete una forma normal ms alta. Como resultado de aplicar el algoritmo 3FN-Preserva Dependencias-JSP visto en teora se obtiene la siguiente descomposicin para R (ABC, CD, EFGHIJ, AEKLM) donde: R1 (ABC) = {A BC} con llave A, est en la FNBC R2 (CD) = {CD} con llave C, est en la FNBC R3 (EFGHIJ) = {EFGHIJ, IJ E} con llaves E y IJ, est en la FNBC R4 (AEKLM) = {AEKLM} con llaves AEKL , est en la FNBC Luego la descomposicin (ABC, CD, EFGHIJ, AEKLM) obtenida respeta la FNBC, dado que cada uno de sus esquemas respeta la FNBC. Por otra parte preserva dependencias, de hecho la unin de las dependencias proyectadas en cada uno de los subesquemas es idntica al conjunto FminimoReducido de partida. Adems dado que uno de los subesquemas, R4 contiene a una las llaves de R, para este ejemplo la llave contenida es AEKL, podemos asegurar que la descomposicin tiene adems la propiedad de ser join sin prdida. Veamos ahora con los atributos reales cul es la descomposicin propuesta por el algoritmo: R1 (ABC) = Esquema_Materias (MateriaCdigo, MateriaNombre, DptoCdigo) R2 (CD) = Esquema_Dptos (DptoCdigo, DptoNombre) R3 (EFGHIJ) = Esquema_Alumnos( AlumnoLU, AlumnoApellido, AlumnoNombre, AlumnoDomicilio, AlumnoTipoDoc, AlumnoNroDoc) R4 (AEKLM) = Esquema_Cursados(MateriaCdigo, AlumnoLU, Cuatrimestre, AoAcadmico, CursadoResultado) Se invita al lector a comprobar que esta ltima descomposicin tambin se podra haber alcanzado a partir de un buen modelo ER.