En la teoría de bases de datos relacionales , una dependencia generadora de igualdad (EGD) es un cierto tipo de restricción sobre los datos. Es una subclase de la clase de dependencias integradas (ED). Una ED es una oración en lógica de primer orden de la forma: ∀x1 ... xn, P (x1, ..., xn) → ∃z1, ..., zk, Q (y1, ..., ym ) donde {z1, ..., zk} = {y1, ..., ym} \ {x1, ..., xn}, y P es un posible vacío y Q es una conjunción no vacía de átomos de igualdad. Un átomo de igualdad de n tiene la forma wi = wj donde cada uno de los w, ..., wh, wi, wj, son variables o constantes. Un algoritmo conocido como persecución toma como entrada una instancia que puede o no satisfacer un conjunto de EGD (o más generalmente un conjunto de ED) y, si termina (lo cual es a priori indecidible), genera una instancia que sí satisface las EGD.
Una subclase importante de dependencias generadoras de igualdad son las dependencias funcionales .
Referencias
- Serge Abiteboul , Richard B. Hull , Victor Vianu : Fundamentos de bases de datos. Addison-Wesley, 1995.
- Alin Deutsch, FOL Modelado de restricciones de integridad, https://web.archive.org/web/20140912044956/http://db.ucsd.edu/pubsFileFolder/305.pdf
 | Este artículo de informática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |
