Apuntes > Informática >Normalización de Bases de Datos
La Forma Normal de Boyce-Codd (FNBC)
Teoría:
Una relación R está en FNBC si y solo si todo determinante es una clave candidata. def. Determinante. Un determinante es un atributo del que depende funcionalmente de manera completa algún otro atributo. |
En la práctica:
La mayoría de las relaciones en 3FN estarán en FNBC. Para verificar que esto es así buscaremos todos los determinantes existentes en la relación así como todas las claves candidatas, comparamos ambos conjuntos y si encontramos que hay algún determinante que no resulta ser clave candidata podemos afirmar que no estamos en FNBC. Usualmente se considera aceptable tener relaciones que lleguen sólo hasta la FNBC.
El conjunto de relaciones obtenido hasta ahora está en 3FN y también en FNBC, de hecho es lo que suele ocurrir en la mayoría de los casos. Sin embargo, para ver una resolución práctica, consideraremos el caso de la tabla SP inicial con ligeras modificaciones:
- Dada la relación SP(S#,P#,nompro,cantidad), donde el nombre del proveedor es único, es decir, no se repite, y además no puede contener valores nulos. Esto significa que el par (nompro,P#) es clave candidata, ya que conociendo su valor podemos determinar el resto de atributos de la relación.
En primer lugar realizamos el diagrama de dependencias correspondiente:
Fig.3. Diagrama de dependencias funcionales para la FNBC. |
Comprobamos que la relación está en 1FN, todos los atributos son atómicos. También está en 2FN ya que no hay dependencias funcionalmente completas entre atributos que no sean clave ( formen parte de la clave). Y finalmente se verifica que no hay ningún atributo que dependa de forma transitiva de la clave Primaria, luego está en 3FN.
Ahora queda comprobar si está en FNBC, según la definición habrá que verificar si todos los determinantes son clave candidata, vemos que no es así, S# y P# son determinantes y no son clave candidata, luego no está en FNBC.
El problema:
La definición de la 3FN no produce diseños satisfactorios cuando se dan las siguientes condiciones, o lo que es lo mismo, cuando una relación NO ESTE EN FNBC concurrirán las siguientes circunstancias:
- Existen varias claves candidatas.
- Las claves candidatas son compuestas.
- Las claves candidatas se solopan, tienen al menos un atributo en común.
La solución:
En la práctica:
No hay un teorema sobre la división de la relación, el motivo es que no se puede asegurar que al descomponer una relación en dos para conseguir la FNBC el significado de las relaciones obtenidas se corresponda semánticamente a lo que representa la relación inicial. En otras palabras, podemos meter la pata al descomponer ya que puede que perdamos parte de la semántica de la relación anterior.
En el caso que nos ocupa podemos perfectamente dividir la relación en dos sin perder significado alguno.
El resultado sería:
- S(S#,nombre)
- SP(S#,P#,cantidad)
o bien esta otra descomposición:
- S(S#,nombre)
- SP(nombre,P#,cantidad)
Ambas están en FNBC.
Como posible criterio para seleccionar una u otra, en la práctica podemos escoger aquella distribución que “ocupe menos espacio“. Supongamos que en nuestro caso el atributo nombre tiene hasta 50 caracteres (no variables, fijos) mientras que S# es sólo un entero, parecería más razonable tomar la primera descomposición como solución ya que las tuplas de la tabla SP son más pequeñas que las de la misma tabla en la otra descomposición.
En situaciones normales podíamos darnos por satisfechos con haber llegado hasta esta descomposición, sin embargo seguiremos viendo algunos casos excepcionales para comprender la cuarta y la quinta forma normal.
Hazlo tu mismo:
- Atrévete a diseñar algunas relaciones que incumplan la Forma Normal de Boyce-Codd pero que sí estén en 3 FN. (Recuerda las características que tiene una relación en FNBC).
| Anterior | [1] | [2] | [3] | [4] | [5] | [6] | Siguiente |