Métodos para la comprobación de la integridad en bases de datos deductivas.

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
Acceso al artículo completo