Dependencia incrustada

---

En la teoría de bases de datos relacionales , una dependencia incrustada (ED) es un cierto tipo de restricción en una base de datos relacional . Es el tipo de restricción más general que se usa en la práctica, incluidas las dependencias generadoras de tuplas y las dependencias generadoras de igualdad . Las dependencias incrustadas pueden expresar dependencias funcionales, unir dependencias, dependencias de valores múltiples, dependencias de inclusión, dependencias de clave externa y muchas más.

Un algoritmo conocido como persecución toma como entrada una instancia que puede o no satisfacer un conjunto de ED y, si termina (lo que a priori es indecidible), genera una instancia que sí satisface los ED.

donde y y son conjunciones de átomos relacionales y de igualdad. ^[1] Un átomo relacional tiene la forma y un átomo de igualdad tiene la forma , donde cada uno de los términos son variables o constantes.${\displaystyle \{z_{1},\ldots,z_{k}\}=\{y_{1},\ldots,y_{m}\}\setminus \{x_{1},\ldots,x_{ norte}\}}$${\ estilo de visualización \ phi}$${\ estilo de visualización \ psi}$${\displaystyle R(w_{1},\ldots,w_{h})}$${\displaystyle w_{i}=w_{j}}$ ${\ estilo de visualización w,...,w_{h},w_{i},w_{j}}$

Cuando todos los átomos son iguales, el ED es un EGD y, cuando todos los átomos son relacionales, el ED es un TGD. Cada ED es equivalente a un EGD y un TGD.${\ estilo de visualización \ psi}$${\ estilo de visualización \ psi}$

Una extensión común de las dependencias incrustadas son las dependencias incrustadas disyuntivas (DED), ^[3] que se pueden definir de la siguiente manera:

---