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

• Autores: Laura Mota Herranz , Matilde Celma Giménez
• Localización: Questiió: Quaderns d'Estadística, Sistemes, Informatica i Investigació Operativa, ISSN 0210-8054, Vol. 17, Nº. 1, 1993, págs. 75-101
• Idioma: español
• Títulos paralelos:
  • Methods for integrity checking in deductive databases
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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