Title: An ID-logic formalization of the composition of autonomous databases
Authors: Van Nuffelen, Bert ×
Arieli, Ofer
Cort├ęs-Calabuig, Alvaro
Bruynooghe, Maurice #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture notes in computer science vol:3662 pages:132-144
Conference: 8th International Conference on Logic Programming and Nonmonotonic Reasoning location:Diamante, Cosenza, Italy date:September 5-8, 2005
Abstract: 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, this framework facilitates the implementation of database repair and consistent query answering by means of a variety of reasoning systems.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
41708.pdf Published 126KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science