Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals 

Martín Escofet, Carme (Date of defense: 2005-06-27)

This Ph.D. thesis mainly deals with temporal and deductive databases areas and the aim is to obtain a method for integrity constraint checking in bitemporal deductive databases, analyzing the temporal integrity constraint ...