Intelligent Information Integration as a Constraint Handling Problem
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Hi-index | 0.00 |
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 ecient implementation is dened and proved correct with respect to the given semantics. EMAIL:: asirelli@iei.pi.cnr.it