dependencia multivaluada

En la teoría de bases de datos , una dependencia multivaluada es una restricción completa entre dos conjuntos de atributos en una relación .

A diferencia de la dependencia funcional , la dependencia multivaluada requiere que ciertas tuplas estén presentes en una relación. Por lo tanto, una dependencia multivaluada es un caso especial de dependencia generadora de tuplas . La dependencia multivaluada desempeña un papel en la normalización de bases de datos 4NF .

Una dependencia multivaluada es un caso especial de una dependencia de unión , en la que solo intervienen dos conjuntos de valores, es decir, es una dependencia de unión binaria.

Existe una dependencia multivaluada cuando hay al menos tres atributos (como X, Y y Z) en una relación y para un valor de X existe un conjunto bien definido de valores de Y y un conjunto bien definido de valores de Z. Sin embargo, el conjunto de valores de Y es independiente del conjunto de Z y viceversa.

La definición formal es la siguiente: ^{[ 1 ]}

Dejar${\displaystyle R}$ser un esquema de relación y dejar${\displaystyle \alpha \subsetequ R}$y${\displaystyle \beta \subsetequ R}$ser conjuntos de atributos. La dependencia multivaluada${\displaystyle \alpha \twoheadrightarrow \beta }$("${\displaystyle \alpha }$multideterminantes${\displaystyle \beta }$") se mantiene en${\displaystyle R}$si, por cualquier relación jurídica${\displaystyle r(R)}$y todos los pares de tuplas${\displaystyle t_{1}}$y${\displaystyle t_{2}}$en${\displaystyle r}$de tal manera que${\displaystyle t_{1}[\alpha ]=t_{2}[\alpha ]}$, existen tuplas${\displaystyle t_{3}}$y${\displaystyle t_{4}}$en${\displaystyle r}$de tal manera que:

${\displaystyle {\begin{matrix}t_{1}[\alpha ]=t_{2}[\alpha ]=t_{3}[\alpha ]=t_{4}[\alpha ]\\t_{1}[\beta ]=t_{3}[\beta ]\\t_{2}[\beta ]=t_{4}[\beta ]\\t_{1}[R-\beta ]=t_{4}[R-\beta ]\\t_{2}[R-\beta ]=t_{3}[R-\beta ]\end{matrix}}}$

De manera informal, si uno denota por${\displaystyle (x,y,z)}$la tupla que tiene valores para${\displaystyle \alpha ,}$${\displaystyle \beta ,}$${\displaystyle R-\alpha -\beta }$colectivamente igual a${\displaystyle x,}$${\displaystyle y,}$${\displaystyle z}$, entonces siempre que las tuplas${\displaystyle (a,b,c)}$y${\displaystyle (a,d,e)}$existen en${\displaystyle r}$, las tuplas${\displaystyle (a,b,e)}$y${\displaystyle (a,d,c)}$También debería existir en${\displaystyle r}$.

La dependencia multivaluada se puede representar esquemáticamente como se muestra a continuación:

${\displaystyle {\begin{matrix}{\text{tupla}}&\alpha &\beta &R-\alpha -\beta \\t_{1}&a_{1}..a_{n}&b_{1}..b_{m}&d_{1}..d_{k}\\t_{2}&a_{1}..a_{n}&c_{1}..c_{m}&e_{1}..e_{k}\\t_{3}&a_{1}..a_{n}&b_{1}..b_{m}&e_{1}..e_{k}\\t_{4}&a_{1}..a_{n}&c_{1}..c_{m}&d_{1}..d_{k}\end{matrix}}}$

Consideremos este ejemplo de relación entre los cursos universitarios, los libros recomendados para el curso y los profesores que lo impartirán:

Debido a que los profesores asociados al curso y los libros asociados al curso son independientes entre sí, este diseño de base de datos tiene una dependencia multivaluada; si añadiéramos un nuevo libro al curso AHA, tendríamos que añadir un registro por cada uno de los profesores de ese curso, y viceversa. Dicho formalmente, existen dos dependencias multivaluadas en esta relación: {curso} ${\displaystyle \twoheadrightarrow }$ {libro} y, de forma equivalente, {curso} ${\displaystyle \twoheadrightarrow }$ {profesor}. Las bases de datos con dependencias multivaluadas presentan, por lo tanto, redundancia. En la normalización de bases de datos , la cuarta forma normal requiere que para cada dependencia multivaluada no trivial X ${\displaystyle \twoheadrightarrow }$ Y , X es una superclave . Una dependencia multivaluada X${\displaystyle \twoheadrightarrow }$Y es trivial si Y es un subconjunto de X , o si${\displaystyle X\cup Y}$es el conjunto completo de atributos de la relación.

• Si${\displaystyle \alpha \twoheadrightarrow \beta }$, Entonces${\displaystyle \alpha \twoheadrightarrow R-\beta }$
• Si${\displaystyle \alpha \twoheadrightarrow \beta }$y${\displaystyle \gamma \subseteq \delta }$, Entonces${\displaystyle \alpha \delta \twoheadrightarrow \beta \gamma}$
• Si${\displaystyle \alpha \twoheadrightarrow \beta }$y${\displaystyle \beta \twoheadrightarrow \gamma }$, entonces${\displaystyle \alpha \twoheadrightarrow \gamma -\beta }$

Las siguientes también implican dependencias funcionales :

• Si${\displaystyle \alpha \rightarrow \beta }$, entonces${\displaystyle \alpha \twoheadrightarrow \beta }$
• Si${\displaystyle \alpha \twoheadrightarrow \beta }$y${\displaystyle \beta \rightarrow \gamma }$, entonces${\displaystyle \alpha \twoheadrightarrow \gamma -\beta }$

Las reglas anteriores son sólidas y completas.

• Una descomposición de R en ( X , Y ) y ( X , R − Y ) es una descomposición de unión sin pérdida si y solo si X     ${\displaystyle \twoheadrightarrow }$ Y se cumple en R. 
• Cada FD ( dependencia funcional ) es una MVD (dependencia multivaluada) porque si X${\displaystyle \rightarrow }$Y, entonces intercambiar Y entre tuplas que coinciden en X no crea nuevas tuplas.
• La división no es posible. Al igual que con los descriptores de archivo (FD), generalmente no podemos dividir el lado izquierdo de un MVD. Pero a diferencia de los FD, tampoco podemos dividir el lado derecho; a veces es necesario dejar varios atributos en el lado derecho.
• El cierre de un conjunto de MVD es el conjunto de todos los MVD que se pueden inferir utilizando las siguientes reglas ( axiomas de Armstrong ):
  • Complementación : Si X${\displaystyle \twoheadrightarrow }$Y, luego X${\displaystyle \twoheadrightarrow }$R - Y
  • Aumento : Si X${\displaystyle \twoheadrightarrow }$Y y Z${\displaystyle \subseteq }$W, luego XW${\displaystyle \twoheadrightarrow }$YZ
  • Transitividad : Si X${\displaystyle \twoheadrightarrow }$Y y Y${\displaystyle \twoheadrightarrow }$Z, luego X${\displaystyle \twoheadrightarrow }$Z - Y
  • Replicación : Si X${\displaystyle \rightarrow }$Y, luego X${\displaystyle \twoheadrightarrow }$Y
  • Coalescencia : Si X${\displaystyle \twoheadrightarrow }$Y y${\displaystyle \exists }$W calle W${\displaystyle \cap }$Y =${\displaystyle \emptyset }$, W${\displaystyle \rightarrow }$Z y Z${\displaystyle \subseteq }$Y, luego X${\displaystyle \rightarrow }$Z

Restricción total

Una restricción que expresa algo sobre todos los atributos de una base de datos. (En contraste con una restricción incrustada ). Que una dependencia multivaluada sea una restricción completa se deduce de su definición, ya que dice algo sobre los atributos.${\displaystyle R-\beta }$.

Dependencia generadora de tuplas

Una dependencia que requiere explícitamente que ciertas tuplas estén presentes en la relación.

Dependencia multivaluada trivial 1

Una dependencia multivaluada que involucra todos los atributos de una relación, es decir${\displaystyle R=\alpha \cup \beta }$. Una dependencia multivaluada trivial implica, para tuplas${\displaystyle t_{1}}$y${\displaystyle t_{2}}$, tuplas${\displaystyle t_{3}}$y${\displaystyle t_{4}}$que son iguales a${\displaystyle t_{1}}$y${\displaystyle t_{2}}$.

Dependencia multivaluada trivial 2

Una dependencia multivaluada para la cual${\displaystyle \beta \subseteq \alpha }$.

• Dependencias multivaluadas y una nueva forma normal para bases de datos relacionales (PDF) - Ronald Fagin, Laboratorio de Investigación de IBM
• Sobre la estructura de las relaciones de Armstrong para dependencias funcionales (PDF) - CATRIEL BEERI (Universidad Hebrea), MARTIN DOWD (Universidad de Rutgers), RONALD FAGIN (Laboratorio de Investigación de IBM) Y RICHARD STATMAN (Universidad de Rutgers)
• Sobre un problema de Fagin relativo a las dependencias multivaluadas en bases de datos relacionales (PDF) - Sven Hartmann, Universidad de Massey