Information Service Level

At the higher level, the system provides two types of main features:
(1) Support for modeling the information in the information integration system, which is stored in an Information model. The system supports the designer in the specification of both query-centric and source-centric information integration applications. In particular, it provides through the Model Manager automatic support to the verification of coherency, redundancy, and adequacy of the application specification. The Model Manager solves these reasoning tasks by methods to be developed, which make use of an advanced computational logic system.
(2) Support to the user for formulating and reformulating the queries expressed on the global views in terms of the queries at the sources. The automatic synthesis of such queries is based on reasoning methods developed for both the formalism expressing the global schema and the specification language for views. An important feature of the system is the ability of synthesizing queries at the sources both in a sourcecentric and in a query-centric setting, which requires the implementation of two different sets of methods and techniques. The reasoning methods use, like Model Manager, the computational logic system.