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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11546207_11 | LPNMR |
Keywords | Field | DocType |
different schema,consistent database,id-logic theory,contradictory data,database repair,data integration,schema integration,id-logic formalization,inconsistent data,global schema,database composition problem,autonomous databases,data integrity | Inductive logic programming,Data integration,Information integration,Computer science,Algorithm,View,Description logic,Theoretical computer science,Database schema,Data integrity,Database theory,Database | Conference |
Volume | ISSN | ISBN |
3662 | 0302-9743 | 3-540-28538-5 |
Citations | PageRank | References |
0 | 0.34 | 31 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bert Van Nuffelen | 1 | 189 | 12.33 |
Ofer Arieli | 2 | 705 | 51.54 |
Álvaro Cortés-Calabuig | 3 | 67 | 4.40 |
Maurice Bruynooghe | 4 | 2767 | 226.05 |