El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives

En esta tesis se presenta un nuevo metodo, llamado metodo de los eventos, para la actualizacion de vistas en bases de datos deductivas. Este metodo aumenta la base de datos con un conjunto de reglas, llamadas reglas de transicion y de evento, que definen explicitamente las inserciones y las supresiones inducidas por una modificacion de la base de datos. Mediante estas reglas, se utiliza la resolucion SIDNF para obtener todas las traducciones minimas que satisfacen una peticion de actualizacion de vista. Una de las contribuciones principales de esta tesis es la demostracion del hecho que el metodo de los eventos es completo en bases de datos estratificados. Es decir, en este tipo de bases de datos dicho metodo obtiene todas las traducciones validas. Otras ventajas importantes del metodo son la incorporacion de la comprobacion de integridad en el proceso de traduccion, el tratamiento uniforme de inserciones y supresiones, la posibilidad de prevenir efectos laterales y la traduccion de peticiones de modificacion de vista. Por todas estas razones, se puede decir que el metodo de los eventos tiene todo el poder de los metodos propuestos hasta el momento actual para la utilizacion de vistas en bases de datos deductivas, pero sin presentar algunas de sus limitaciones.