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, ...