PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aquilino D., Asirelli P., Renso C., Turini F. MedLan: a Logic-based Mediator Language. Technical report, 1997.
 
 
Abstract
(English)
In this paper we focus on the construction of a declarative mediator language. The lan- guage provides the ability to handle multiple logic theories, extended with program expres- sions. Two motivating examples are presented. The denotational and operational semantics of the language are introduced and a bottom-up e cient implementation is de ned and proved correct with respect to the given semantics.
Subject Logic databases
D.1.6 Logic Programming
F.3.2 Semantics of Programming Languages
H.2.1 Logical Design
H.2.3 Languages


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PS


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