An ID-Logic Formalization of the Composition of Autonomous Databases | Zendy

Bert Van Nuffelen | Zendy; Ofer Arieli | Zendy; Álvaro Cortés-Calabuig | Zendy; Maurice Bruynooghe | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An ID-Logic Formalization of the Composition of Autonomous Databases

Author(s) -

Bert Van Nuffelen,

Ofer Arieli,

Álvaro Cortés-Calabuig,

Maurice Bruynooghe

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-28538-5

DOI - 10.1007/11546207_11

Subject(s) - computer science , database schema , schema (genetic algorithms) , formalism (music) , database theory , data integration , database , schema evolution , theoretical computer science , query language , relational database , programming language , database design , information retrieval , art , musical , visual arts

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.status: publishe

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research