PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aquilino D., Asirelli P., Renso C., Turini F. An operator for composing deductive DB with theories of constraints. In: Proceedings of theWorkshop Advances in Logic-Bases Database Languages (Prague, 9 Jan. 1995).
 
 
Abstract
(English)
An operation for restricting deductive databases represented as logic programs is introduced. The restrictions are represented in a separate deductive database. The operation is given an abstract semantics in terms of the immediate consequence operator. A transformational implementation is given and its correctness is proved with respect to the abstract semantics.
Subject Deductive DB
H.2.3 Database (persistent) programming languages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional