Unirse a la dependencia

En teoría de bases de datos , una dependencia de unión es una restricción sobre el conjunto de relaciones válidas en un esquema de base de datos. Una tabla está sujeta a una dependencia de unión si siempre puede recrearse uniendo varias tablas, cada una con un subconjunto de los atributos de la tabla original. Si una de las tablas en la unión tiene todos los atributos de la tabla original , la dependencia de unión se denomina trivial.${\displaystyle T}$${\displaystyle T}$${\displaystyle T}$${\displaystyle T}$

La dependencia de unión juega un papel importante en la quinta forma normal (5NF), también conocida como forma normal de unión de proyectos , porque se puede demostrar que si un esquema se descompone en tablas a , la descomposición será una descomposición de unión sin pérdida si las relaciones legales en están restringidas a una dependencia de unión en llamada .${\displaystyle R}$${\displaystyle R_{1}}$${\displaystyle R_{n}}$${\displaystyle R}$${\displaystyle R}$${\displaystyle *(R_{1},R_{2},\ldots ,R_{n})}$

Otra forma de describir una dependencia de unión es decir que las relaciones en la dependencia de unión son independientes entre sí.

A diferencia de lo que ocurre con las dependencias funcionales , no existe una axiomatización sólida y completa para las dependencias de unión, ^{[ 1 ]} aunque sí existen axiomatizaciones para lenguajes de dependencia más expresivos, como las dependencias totalmente tipadas . ^{[ 2 ] : Capítulo 8} Sin embargo, la implicación de las dependencias de unión es decidible. ^{[ 2 ] : Teorema 8.4.12}

Sea un esquema de relación y sea una descomposición de .${\displaystyle R}$${\displaystyle R_{1},R_{2},\ldots ,R_{n}}$${\displaystyle R}$

La relación satisface la dependencia de unión.${\displaystyle r(R)}$

${\displaystyle *(R_{1},R_{2},\ldots ,R_{n})}$si${\displaystyle \bowtie _{i=1}^{n}\Pi _{R_{i}}(r)=r.}$

Una dependencia de unión es trivial si uno de los elementos es él mismo. ^{[ 3 ]}${\displaystyle R_{i}}$${\displaystyle R}$

Las dependencias de unión biarias se denominan dependencia multivaluada como un artefacto histórico del hecho de que se estudiaron antes del caso general. Más específicamente, si U es un conjunto de atributos y R una relación sobre él, entonces R satisface si y solo si R satisface${\displaystyle X\twoheadrightarrow Y}$${\displaystyle *(X\cup Y,X\cup (UY)).}$

Dada una cadena de pizzerías que modela las compras en la tabla Pedido = {número de pedido, nombre del cliente, nombre de la pizza, repartidor}. Se pueden derivar las siguientes relaciones:

• El nombre del cliente depende del número de pedido.
• El nombre de la pizza depende del número de pedido.
• El servicio de mensajería depende del número de pedido.

Dado que las relaciones son independientes, existe una dependencia de unión como sigue: *((número de pedido, nombre del cliente), (número de pedido, nombre de la pizza), (número de pedido, mensajero)).

Si cada cliente tiene su propio repartidor, puede existir una dependencia de unión como esta: *((número de pedido, nombre del cliente), (número de pedido, nombre de la pizza), (número de pedido, repartidor), (nombre del cliente, repartidor)), pero *((número de pedido, nombre del cliente, repartidor), (número de pedido, nombre de la pizza)) también sería válida. Esto evidencia que tener una dependencia de unión por sí sola no basta para normalizar un esquema de base de datos.

• Persecución (algoritmo)
• Suposición de relación universal