An ID-logic formalization of the composition of autonomous databases
| Autor: | Bert Van Nuffelen, Maurice Bruynooghe, Ofer Arieli, Álvaro Cortés-Calabuig |
|---|---|
| Přispěvatelé: | Baral, C, Greco, G, Leone, N, Terracina, G |
| Jazyk: | angličtina |
| Rok vydání: | 2005 |
| Předmět: |
Database
Computer science View Database schema InformationSystems_DATABASEMANAGEMENT computer.software_genre Expert system Description logic Inductive logic programming Data integrity Schema (psychology) Global schema Database theory computer data integration programs Logic programming Information integration Data integration |
| Zdroj: | Logic Programming and Nonmonotonic Reasoning ISBN: 9783540285380 LPNMR |
| Popis: | 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. ispartof: pages:132-144 ispartof: Lecture notes in computer science vol:3662 pages:132-144 ispartof: 8th International Conference on Logic Programming and Nonmonotonic Reasoning location:Diamante, Cosenza, Italy date:5 Sep - 8 Sep 2005 status: published |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|