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.
An operator for composing deductive databases with theories of constraints
Asirelli P;Renso C;Turini F
1994
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408840-doc_143589.pdf
accesso aperto
Descrizione: An operator for composing deductive databases with theories of constraints
Dimensione
1.59 MB
Formato
Adobe PDF
|
1.59 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
