Recent Submissions

• 

  Especificació algebraica de tipus abstractes de dades: estudi de casos 

  Franch Gutiérrez, Javier (1991-02)
  External research report
  Open Access

  Com a complement als conceptes teòrics introduïts en el report LSI-91-1 "Especificacions algebraiques", es presenta una col·lecció de problemes resolts amb el propòsit primordial de conèixer les excepcions habituals al ...
• 

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