Descomposición de unión sin pérdida

---

En el diseño de bases de datos , una descomposición de unión sin pérdidas es una descomposición de una relación en relaciones tales que una unión natural de las dos relaciones más pequeñas devuelve la relación original. Esto es fundamental para eliminar la redundancia de forma segura de las bases de datos mientras se conservan los datos originales. ^[1]${\ estilo de visualización R}$${\ estilo de visualización R_{1},R_{2}}$

Si se divide en y , para que esta descomposición no tenga pérdidas (es decir, ), se debe cumplir al menos uno de los dos criterios siguientes.${\ estilo de visualización R}$${\ estilo de visualización R_ {1}}$${\ estilo de visualización R_ {2}}$${\displaystyle R_{1}\corbatín R_{2}=R}$

Proyectar sobre y , y volver a unirlos, da como resultado la relación con la que comenzaste. ^{[3] [ fuente poco fiable? ]}${\ estilo de visualización R_ {1}}$${\ estilo de visualización R_ {2}}$

Sea F un conjunto de dependencias funcionales en .${\ estilo de visualización R}$

Sea y forme una descomposición de .${\ estilo de visualización R_ {1}}$${\ estilo de visualización R_ {2}}$${\ estilo de visualización R}$

La descomposición es una descomposición sin pérdidas si al menos una de las siguientes dependencias funcionales está en F ⁺ (donde F ⁺ representa el cierre de cada atributo o conjunto de atributos en F ): ^[4]${\ estilo de visualización R}$

---