D2.1 Functional Specification of the INFOMIX System
Short
Description:
In this document we
define the
functional specification of a system for data integration, which
constitutes the basis for the development of the INFOMIX system. In
particular, we first introduce the INFOMIX approach to information
integration, by describing a formal framework and a declarative
semantics for data integration systems. Such a formal specification
is general enough to capture all the main current approaches to data
integration, and is also able to deal with inconsistent and
incomplete data sources. Then, based on this formal model of a data
integration system, and on the preliminary structure of the system
outlined in the INFOMIX proposal, we identify the general
functionalities that the system should supply, thus providing a
functional specification of the data integration system.