Reports de recerca
Recent Submissions
-
Especificació algebraica de tipus abstractes de dades: estudi de casos
(1991-02)
External research report
Open AccessCom 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
(1988)
External research report
Open AccessThis 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, ...