Título inglés | Methods for integrity checking in deductive databases. |
---|---|
Título español | Métodos para la comprobación de la integridad en bases de datos deductivas. |
Autor/es | Mota Herranz, Laura ; Celma Giménez, Matilde |
Organización | Dep. Sist. Informát. Comput. Fac. Informát. Univ. Politéc. Valencia, Valencia, España |
Revista | 0210-8054 |
Publicación | 1993, 17 (1): 75-101, 14 Ref. |
Tipo de documento | articulo |
Idioma | Español |
Resumen español | 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. |
Clasificación UNESCO | 120312 |
Palabras clave español | Bases de datos ; Sistema deductivo ; Programación lógica ; Restricción |
Código MathReviews | MR1240730 |
![]() |