2010-12-06 22 views
10

Estoy tratando de averiguar los pasos correctos para realizar una descomposición de BCNF. Encontré este ejemplo, pero no entiendo cómo realizar los pasos correctos.Descomposición BCNF

esquema = (A, B, C, D, E, F, G, H) + de FD {A -> CGH, AD-> C, DE-> F, G-> G}

¿Alguien podría mostrar los pasos correctos?

+0

¿Ha encontrado este ejemplo en su tarea? –

+0

No, estaba en el libro de texto, pero no fue respondido, por supuesto. Estoy tratando de encontrar más ejemplos para ayudarme en la final. – Mike

+0

Parece una tarea. Intente revisar el siguiente [presentación de diapositivas] (http://www.comp.nus.edu.sg/~lingtw/rm.pdf). Si lo sigues, deberías poder completar el ejercicio. – NealB

Respuesta

11

determinar una cobertura mínima de la utilización de su FD:

{A -> C, A -> G, A -> H, 
B -> nothing, 
C -> nothing, 
D -> nothing, 
E -> nothing, 
F -> nothing 
G -> nothing 
H -> nothing 
DE -> F} 

Nota AD -> C se retira porque A solo determina C que implica D es redundante en el FD (ver Armstrong axiomas - Aumento).

Las definiciones 3NF y BCNF se refieren a las dependencias sobre las claves de compund. La única clave compuesta que tiene aquí es DE. Ni D ni E participan en ningún otro FD no nulo , por lo que eliminar las dependencias transitivas y garantizar que los atributos dependientes dependan de la clave , toda la clave y nada más que la clave no es un problema aquí.

rotura en relaciones de manera que el lado izquierdo FD es la clave y los lados derecho son los atributos no dependientes de la clave de esa clave:

[Key(A), C, G, H] 
[Key(D, E), F] 

Ahora eliminar estos atributos de la cubierta, lo que sea queda son relaciones independientes.

[Key(B)] 

Esto debería estar en 3NF/BCNF

+0

Para AD -> C, no entiendo cómo Se aplica la regla de aumento. Sin embargo, creo que se elimina porque es una dependencia de clave parcial, que no está permitida en 2NF. –

+1

@Alex W Buen punto. Si 'A -> C' luego' AD -> CD' es verdadero por aumento. A través de la descomposición podemos derivar 'AD -> C'. Pero la elección de preservar 'A -> C' o' AD -> C' está determinada por reglas para construir una cobertura mínima a partir de un conjunto de FD dado. La eliminación de 'D' del LHS de los FD no impide que' C' se determine en F +, en consecuencia, la "redundancia" es la base real para descartarlo. – NealB

+0

Estoy obteniendo relaciones descompuestas como R1 (DEF), R2 (ACGH) y R3 (ABDE). No entiendo cómo B puede ser la clave candidata. Obtuve ABDE como la clave para la relación anterior. – Josh

Cuestiones relacionadas