Refinamiento y Descomposición de Esquemas

El refinamiento de esquemas es el proceso de descomponer una relación en relaciones más pequeñas para alcanzar una forma normal deseada, sujeto a los requisitos de que la descomposición sea sin pérdidas y, idealmente, preserve las dependencias originales.

Definition

La descomposición reemplaza un esquema de relación R con un conjunto de esquemas cuyos atributos cubren juntos R, de modo que la relación original se puede recuperar uniendo las partes (unión sin pérdidas) y, cuando sea posible, cada dependencia funcional original se puede aplicar a las partes (preservación de dependencias).

Scope

Este tema cubre los algoritmos y criterios para descomponer esquemas relacionales: la propiedad de unión sin pérdidas y cómo se prueba, la preservación de dependencias y su tensión con formas normales superiores, y los algoritmos estándar de síntesis y descomposición que producen un diseño 3NF (que preserva dependencias y sin pérdidas) o BCNF (sin pérdidas) a partir de un conjunto de dependencias funcionales. Excluye las definiciones de las formas normales en sí mismas y de las dependencias que impulsan la descomposición.

Core questions

• ¿Qué hace que una descomposición sea sin pérdidas y cómo se prueba la propiedad?
• ¿Qué significa que una descomposición preserve las dependencias?
• ¿Por qué la descomposición BCNF puede no preservar las dependencias mientras que la síntesis 3NF sí lo hace?
• ¿Cómo funcionan los algoritmos estándar de descomposición BCNF y síntesis 3NF?
• ¿Cómo se toma la decisión entre BCNF y 3NF en la práctica?

Key concepts

• descomposición de un esquema
• propiedad de unión sin pérdidas
• preservación de dependencias
• tuplas espurias
• algoritmo de descomposición BCNF
• algoritmo de síntesis 3NF
• cubierta mínima
• compromiso entre BCNF y 3NF

Key theories

Descomposición de unión sin pérdidas

Una descomposición binaria es sin pérdidas si los atributos comunes de las dos partes forman una clave de al menos una de ellas; la ausencia de pérdidas garantiza que la unión de las partes reconstruye exactamente la relación original sin tuplas espurias.

Preservación de dependencias

Una descomposición preserva las dependencias si la unión de las dependencias aplicables a las partes individuales implica todas las dependencias originales, de modo que la consistencia se puede verificar sin volver a calcular las uniones.

Descomposición BCNF versus síntesis 3NF

El algoritmo de descomposición BCNF garantiza la ausencia de pérdidas pero puede sacrificar la preservación de dependencias, mientras que el algoritmo de síntesis 3NF a partir de una cubierta mínima garantiza tanto una unión sin pérdidas como la preservación de dependencias a costa de posiblemente detenerse en 3NF.

Clinical relevance

Los algoritmos de descomposición son la forma en que la teoría de la normalización se convierte en un procedimiento de diseño accionable: su aplicación produce esquemas que evitan la redundancia pero que aún pueden reconstruirse y validarse de manera eficiente, lo que afecta directamente la corrección y la mantenibilidad de las bases de datos de producción.

History

La teoría de la descomposición sin pérdidas y que preserva dependencias se desarrolló a lo largo de la década de 1970 a medida que los investigadores formalizaron cuándo la división de una relación es segura. Los algoritmos de síntesis que producen diseños 3NF que preservan dependencias, y el reconocimiento de que BCNF puede entrar en conflicto con la preservación de dependencias, se convirtieron en material estándar en los textos de bases de datos y siguen siendo centrales para el diseño de esquemas.

Key figures

• Edgar F. Codd
• Jeffrey D. Ullman
• Philip Bernstein

Seminal works

• silberschatz2019
• ramakrishnan2003
• garciamolina2008

Frequently asked questions

¿Qué es una tupla espuria y por qué es importante?

Una tupla espuria es una fila que aparece cuando se unen las partes de una descomposición mal elegida, pero que no corresponde a ninguna tupla real de la relación original. Una descomposición de unión sin pérdidas es precisamente aquella que no produce tuplas espurias, por lo que la ausencia de pérdidas es un requisito innegociable.

¿Por qué podría elegir 3NF en lugar de BCNF?

La descomposición en BCNF siempre preserva la propiedad de unión sin pérdidas, pero puede romper la preservación de dependencias, lo que significa que algunas restricciones solo podrían verificarse uniendo tablas. El algoritmo de síntesis 3NF garantiza tanto la ausencia de pérdidas como la preservación de dependencias, por lo que los diseñadores aceptan 3NF cuando no existe un diseño BCNF que preserve dependencias.