Actualització consistent de bases de dades deductives 

Mayol Sarroca, Enric (Date of defense: 2000-04-03)

En aquesta tesi, proposem un nou mètode per a l'actualització consistent de bases de dades deductives. Donada una petició d'actualització, aquest mètode tradueix de forma automàtica aquesta petició en el conjunt de totes ...