Istituto di Scienza e Tecnologie dell'Informazione     
Aquilino D., Asirelli P., Renso C., Turini F. An operator for composing deductive data bases with theories of constraints. In: LPNMR '95 - Logic Programming and Nonmonotonic Reasoning : Third International Conference (Lexington, Usa, 26-28 june 1995). Proceedings, pp. 57 - 70. V.W. Marek A. Nerode and M. Truszczynski (eds.). (Lecture Notes in Computer Science, vol. 928). Springer, 1995.
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.
DOI: 10.1007/3-540-59487-6_5
Subject Deductive data bases
D.2.4 Software/Program Verification

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