Boyce-Codd

Boyce-Codd forma normal Simplemente, estados del requisito del Boyce-Codd forma normal (BCNF): Un determinante es un atributo (o el grupo de atributos) en cual un poco de otro atributo (s) es (son) totalmente funcionalmente dependientes. Examen de R2, R3, R4 y R5 encima de voluntad rápidamente revele que están en BCNF (de ahí 3NF). Por lo tanto tenemos que encontrar un ejemplo diferente esto ilustra la importancia de BCNF. Considere la situación donde desea guardar la pista de animales en varios zoo, y los encargados asignados para estos animales. Vamos a construir provisionalmente la relación R6 como mostrado abajo: R6 {zoo, animal, encargado} Suponga adelante que esto un encargado trabaje en un y sólo un zoo. Podemos por lo tanto identifique FDs siguiente: • [Zoo, animal] → encargado • Encargado → zoo Dado el susodicho, concluimos que [Zoo, el Animal] es la clave primaria. Observar esto R6 está en 3NF, pero no en BCNF, desde el Encargado no es una llave del candidato, pero es claramente a determinante. Usando el teorema del Brezal, podemos descomponer R6 así: R7 {animal, encargado} PK [Animal] R8 {encargado, zoo} PK [encargado] Como en ocasiones anteriores, vamos a examinar las consecuencias de nuestra acción: 1. Consiguiendo BCNF, nos beneficiamos de la reducción adicional de datos copia y anomalías de modificación. 2. Una ventaja adicional consiste en que podemos almacenar ahora archivos pendientes. En nuestro ejemplo, pueden asignar a un encargado a un zoo hasta antes asignan él/ella un animal. 3. Un inconveniente posible con BCNF consiste en que más relaciones tienen ser tenido acceso (afiliado) a fin de obtener la información útil. Otra vez refiriéndose al ejemplo, R7 debe ser afiliado con R8 en pedido de sacar a pares del animal del Zoo.

Observe: El principio de BCNF es muy simple, pero profundo. Siendo dirigido por ello, realmente puede evitar la obtención 1NF, 2NF y 3NF relaciones, y moverse directamente en un juego de relaciones BCNF. La adopción de este enfoque simplificará considerablemente el análisis proceso. Además, en la mayoría de las situaciones prácticas, no se requerirá que normalice más allá de BCNF. Este enfoque será clarificado adelante en el siguiente capítulo.

La cuarta forma normal La cuarta forma normal (4NF) está relacionada con la situación donde mutuamente independiente, pero los atributos relacionados forman una relación y el arreglo ineficaz causa la copia y de ahí anomalías de modificación. Considere el archivo de la base de datos, CTT-horario, representando combinaciones del texto del profesor del curso en una institución educativa. Asuma lo siguiente: a. Un curso puede ser enseñado por varios profesores. b. Un curso puede requerir cualquier número de textos. c. Los profesores y los textos son independientes el uno del otro es decir lo mismo los textos son usados independientemente de quien enseña el curso. d. Un profesor puede enseñar varios cursos.

excepto allanamiento de la estructura (haciendo cada parte de atributo de la clave primaria) como mostrado abajo: R9 {curso, profesor, texto} PK [curso, profesor, texto] Ya que R9 es keyed en todos sus atributos, está en BCNF. Aún, dos problemas potenciales son despido de datos y anomalías de modificación (antiguo llevar a éste). En nuestro enseñan por el ejemplo, a fin de registrar ese Cálculo II tanto el profesor B como el profesor C, cuatro archivos se requieren. De hecho, si un curso es enseñado por profesores p y requiere textos n, el número de archivos requeridos representar esta situación es p*n. Esto es extraordinario, y podría resultar ser muy exigente en el almacén.

La quinta forma normal Hasta ahora hemos estado tratando relaciones que son decomposable en otras dos relaciones. De hecho, hay relaciones que no pueden ser tan descompuestas, pero pueden ser descompuestas en n otras relaciones donde n> 2. Se dice que son relaciones n-decomposable (n> 2). La quinta forma normal (5NF) también es comúnmente referida como la juntura de la proyección normal la forma (PJNF) porque está relacionado con éstos (n> 2) proyecciones (de una relación no en 5NF) en las descomposiciones que pueden ser reincorporadas para ceder la relación original. Recuerde la relación de SupplierSchedule (unión de proveedores, artículos del inventario y proyectos) mencionado en el artículo 3.5; es representado aquí como perfilado abajo: SupplierSchedule {Suppl#, Item#, Proj#} PK [Suppl#, Item#, Proj#] La relación representa una relación M:M que implica a Proveedores, Artículos y Proyectos. Observe los rasgos siguientes sobre la relación: 1. SupplierSchedule es keyed en todos los atributos y por lo tanto por definición, está en BCNF. Por la inspección, también está en 4NF. 2. No es posible descomponer esta relación en dos otro relaciones. 3. Si hay proveedores S, N artículos y proyectos de J, entonces teóricamente, puede haber hasta archivos de S*N*J. No todos éstos puede ser válido.

Si consideramos a proveedores S, cada suministro N artículos a J proyectos, entonces no se necesita mucha imaginación de ver esto a la buena cantidad de la copia ocurrirá, a pesar de que la relación está en 4NF. Vamos a examinar una descomposición posible de SupplierSchedule como mostrado en la Figura 4-5. Si empleamos las dos primeras descomposiciones sólo, esto no causará una situación esto nos garantizará SupplierSchedule original. De hecho, si nos debíamos afiliar a estos dos descomposiciones (SI e IP), obtendríamos una representación falsa del original relación. La tercera proyección (PS) es absolutamente necesaria, si debemos tener garantía de obtener la relación original después de afiliarse a las proyecciones.

Nota: La primera juntura produce SupplierSchedule más tuples falso adicional. El el efecto de la segunda juntura es eliminar tuples falso. Ponerlo con perspectiva, SupplierSchedule es sujeto a un (tiempo independiente) Coacción (3D) 3-decomposable, a saber:

La forma normal clave a la esfera La forma normal clave a la esfera (DKNF) fue propuesta por Ronald Fagin en 1981. A diferencia del otras formas normales que todos relacionan con FDs, MVDs y JDs, esta forma normal son definidas en términos de esferas y llaves (de ahí su nombre). En su artículo, Fagin mostró que una relación DKNF no tiene anomalías de modificación, y que una relación sin la modificación las anomalías deben estar en DKNF. Por lo tanto sostuvo que una relación en DKNF necesitó no normalización adicional (al menos, no para reducir anomalías de modificación). La definición de DKNF es así:

...