Generación de reglas restauradoras de la consistencia en esquemas relacionales con vistas

Resumo

En un sistema de base de datos, el cambio en el mundo real se modela mediante la ejecucion de transacciones de usuario que modifican un estado generando otro que representa la nueva situacion, Este nuevo estado puede violar las restricciones de integridad del esquema, restricciones que representan las propiedades de ese mundo. La reaccion mas frecuente de los sistemas de bases se datos ante la violacion de la integridad consiste en rechazar la transaccion que la ha provocado, devolviendo la base de datos al estado anterior a su ejecucion. Esta solucion tan simple es, sin embargo, usualmente poco satisfactoria para sistemas reales. Una alternativa a este comportamiento consiste en que el sistema modifique el estado inconsistente de forma que se repare la violacion provocada por la transaccion de usuario respetando los cambios propuestos por esta. Se dice entonces que el sistema ha restaurado la consistencia de la base de datos. En esta tesis se ha propuesto un metodo para la restauracion de la consistencia de la base de datos. En esta tesis se ha propuesto un metodo para la restauracion de la consistencia en bases de datos relacionales con vistas(o bases de datos deductivas) que utiliza el lenguaje de reglas de un sistema activo. Asi, a partir del conjunto de restricciones de integridad y del conjunto de reglas deductivas del esquema, el metodo genera un conjunto de reglas de actividad que restaura la consistencia de la base de datos cuando, como consecuencia de la ejecucion de una transaccion de usuario, se ha producido la violacion de alguna restriccion. Estas reglas se han denominado reglas restauradoras. Las caracteristicas mas destacables del nuevo metodo son: -La obtencion del conjunto de reglas restauradoras se realiza en tiempo de definicion de la base de datos descargando al sistema en tiempo de ejecucion. -Cuando es posible, se resuelve el "problema de la falta de valores" sin implicar al usuario. -Las reglas restauradoras