An ID-Logic Formalization of the Composition of Autonomous Databases

We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions. We consider ID-logic theories that express, at the same time, the two basic challenges in database composition problems: relating different schemas of the local databases to one global schema (schema integration) and amalgamating the distributed and possibly contradictory data to one consistent database (data integration). We show that our framework supports different methods for schema integration (as well as their combinations) and that it provides a straightforward way of dealing with inconsistent data. Moreover, in this context database repair and consistent query answering are easily implemented by a variety of reasoning systems.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
• Keywords: Consistent Query Answering, Database Composition Problems, LPNMR 2005, Schema Integration