Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 16 de abril de 2024
  

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
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es