Istituto di Scienza e Tecnologie dell'Informazione     
Aquilino D., Asirelli P., Renso C., Turini F. MedLan: a Logic-based Mediator Language. Technical report, 1997.
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