En la teoría de bases de datos relacionales , una dependencia generadora de tuplas (TGD) es un cierto tipo de restricción en una base de datos relacional. Es una subclase de la clase de dependencias integradas (ED). Un TGD es una oración en lógica de primer orden de la forma: ∀x1 ... xn, P (x1, ..., xn) → ∃y1, ..., ym, Q (x1, ..., xn , y1, ..., ym), [1] donde P es una conjunción posiblemente vacía y Q es una conjunción no vacía de átomos relacionales . Un átomo relacional tiene la forma R (w1, ..., wh) 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 TGD (o más generalmente ED) y, si termina (lo cual es a priori indecidible), genera una instancia que sí satisface los TGD.
Fragmentos
Se han definido varios fragmentos de TGD. Por ejemplo, los TGD completos son TGD que no utilizan el cuantificador existencial. Los TGD completos se pueden ver de manera equivalente como programas en el lenguaje de consulta de Datalog . También hay algunos fragmentos de TGD que se pueden expresar en lógica protegida , por ejemplo, TGD protegidos , donde requerimos que todas las variables utilizadas en el cuerpo de una regla deben ocurrir juntas en algún átomo.
Referencias
- ^ Fagin, Ronald (2009). "Dependencias generadoras de tuplas". En LIU, LING; ÖZSU, M. TAMER (eds.). Enciclopedia de sistemas de bases de datos . Springer EE. UU. págs. 3201 –3202. doi : 10.1007 / 978-0-387-39940-9_1274 . ISBN 9780387355443.
- 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
