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 de manera 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 las bases de datos de forma segura y al mismo tiempo conservar los datos originales. ^[1]${\ Displaystyle R}$${\ Displaystyle R_ {1}, R_ {2}}$

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

Proyectar en y , y unirlos nuevamente, da como resultado la relación con la que comenzó. ^{[3] [ fuente no confiable? ]}${\ Displaystyle R_ {1}}$${\ Displaystyle R_ {2}}$

Sea F un conjunto de dependencias funcionales de .${\ Displaystyle R}$

Deje y forme una descomposición de .${\ Displaystyle R_ {1}}$${\ Displaystyle R_ {2}}$${\ Displaystyle R}$

La descomposición es una descomposición de unión sin pérdidas de 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]${\ Displaystyle R}$

---