La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fueron propuestos para simplificar la comprobación de restricciones estáticas en bases de datos relacionales extendiéndose posteriormente a las bases de datos deductivas. Estos métodos se basan en la idea común de evaluar instancias de las restricciones, obtenidas a partir de actualizaciones inducidas por la transacción, y se diferencian entre sí en la estrategia seguida para la instanciación y evaluación de las restricciones.
En este trabajo se presenta una clasificación de los métodos más importantes propuestos en la literatura haciendo un análisis de los mismos.
@article{urn:eudml:doc:40161,
title = {M\'etodos para la comprobaci\'on de la integridad en bases de datos deductivas.},
journal = {Q\"uestii\'o},
volume = {17},
year = {1993},
pages = {75-101},
mrnumber = {MR1240730},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:40161}
}
Mota Herranz, Laura; Celma Giménez, Matilde. Métodos para la comprobación de la integridad en bases de datos deductivas.. Qüestiió, Tome 17 (1993) pp. 75-101. http://gdmltest.u-ga.fr/item/urn:eudml:doc:40161/