Sciweavers

142 search results - page 6 / 29
» Consistent Query Answers in Inconsistent Databases
Sort
View
LPNMR
2005
Springer
14 years 1 months ago
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 definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
IJAR
2008
91views more  IJAR 2008»
13 years 7 months ago
Distance-based paraconsistent logics
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
Ofer Arieli
PODS
2005
ACM
132views Database» more  PODS 2005»
14 years 7 months ago
XML data exchange: consistency and query answering
Marcelo Arenas, Leonid Libkin
DBPL
2005
Springer
143views Database» more  DBPL 2005»
14 years 1 months ago
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...