A declarative mediator language. based upon operations among logic theories is presented. In particular in this paper we concentrate on the contraint operator. The denotational semantics of the language is introduced while we concentrate on the definition of a bottom-up efficient implementation that is proved correct with respect to the given semantics.
The contraint operator in the medlan language
Asirelli P;Renso C
1997
Abstract
A declarative mediator language. based upon operations among logic theories is presented. In particular in this paper we concentrate on the contraint operator. The denotational semantics of the language is introduced while we concentrate on the definition of a bottom-up efficient implementation that is proved correct with respect to the given semantics.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409113-doc_143738.pdf
solo utenti autorizzati
Descrizione: The contraint operator in the medlan language
Tipologia:
Versione Editoriale (PDF)
Dimensione
737.19 kB
Formato
Adobe PDF
|
737.19 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
