Lossless-unir la descomposición

En Ciencias de la computación el concepto de un Lossless-unir la descomposición es fundamental en la eliminación de redundancia de forma segura bases de datos preservando los datos originales.

Lossless-unir la descomposición

También puede ser llamado Nonadditive. Si usted descompone una relación $R$ en las relaciones $R_1$ y $R_2$ garantizará una Lossless-unir si $R_1$ ⋈ $R_2$ = $R$ .

Si R se divide en R1 y R2, la descomposición que sin pérdidas y al menos uno de los dos debe tener cierto.

Proyectar en R1 y R2 y unirse, resultados en la relación que comenzó con.^[1] Dejar $R$ ser un esquema de relación.

Dejar $F$ ser un conjunto de dependencias funcionales en $R$ .

Dejar $R_1$ y $R_2$ una descomposición de la forma $R$ .

La descomposición es una descomposición de lossless-unir de R si al menos una de las siguientes dependencias funcionales está en $F$ ⁺ (donde $F$ ⁺ está parado para el cierre para cada atributo en $F$ ):^[2]

$R_1$ ∩ $R_2$ → $R_1$
$R_1$ ∩ $R_2$ → $R_2$

Ejemplo

Dejar $R = (A, B, C, D)$ ser el esquema de relación, con $A$ , $B$ , $C$ y $D$ atributos.
Dejar $F = \{ A \rightarrow BC \}$ ser el conjunto de dependencias funcionales.
Descomposición en $R_1 = (A, B, C)$ y $R_2 = (A, D)$ es sin pérdidas bajo $F$ Porque $R_1 \cap R_2 = (A)$ , $A$ es un superkey en $R_1$ ( $A \rightarrow BC$ ) para $R_1 \cap R_2 \rightarrow R_1$ .

^[3] ^[4]

Referencias

^ https://stackoverflow.com/Questions/5771810/Lossless-Join-Property
^ "Unir lossless descomposición". Universidad de búfalo (Jan Chomicki). 2012-02-08.
^ https://www.cs.SFU.CA/CourseCentral/354/Zaiane/material/Notes/Chapter7/node7.html
^ https://www.Data-e-Education.com/E121_Lossless_Join_Decomposition.html

Otras Páginas

[1] ttps://stackoverflow.com/Questions/5771810/Lossless-Join-Property

[2] "Unir lossless descomposición". Universidad de búfalo (Jan Chomicki). 2012-02-08.

[3] ttps://www.cs.SFU.CA/CourseCentral/354/Zaiane/material/Notes/Chapter7/node7.html

[4] ttps://www.Data-e-Education.com/E121_Lossless_Join_Decomposition.html

﻿Lossless-unir la descomposición