Recent Submissions

  • Restriccions d'integritat en bases de dades deductives 

    Costal Costa, Dolors (1988)
    External research report
    Open Access
    This work describes the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases called "Consistency Method", and presents examples in order to study the aplicability, ...