En un sistema de base de dades, el canvi en el món real es modela per mitjà de l'execució de transaccions d'usuari que modifiquen un estat generant un altre que representa la nova situació.
Este nou estat pot violar les restriccions d'integritat de l'esquema, restriccions que representen les propietats d'eixe món. La reacció més freqüent dels sistemes de bases de dades davant de la violació de la integritat consistent a rebutjar la transacció que l'ha provocat, tornant la base de dades a l'estat anterior a la seua execució. Esta solució tan simple és, no obstant, usualment poc satisfactòria per a sistemes reals. Una alternativa a este comportament consistix en el fet que el sistema modifique l'estat inconsistent de manera que es repare la violació provocada per la transacció d'usuari respetanto els canvis proposats per esta. Es diu llavors que el sistema ha restaurat la consistència de la base de dades. En esta tesi s'ha proposat un mètode per a la restauració de la consistència en bases de dades relacionals amb vista (o bases de dades deductives) que utilitza el llenguatge de regles d'un sistema actiu. Així a partir del conjunt de restriccions d'integritat i del conjunt de regles deductives de l'esquema, el mètode genera un conjunt de regles d'activitat que restaura la consistència de la base de dades quan, com a conseqüència de l'execució d'una transacció d'usuari, s'ha produït la violació d'alguna restricció. Estes regles s'han denominat regles restauradores.