Computer Science – Logic in Computer Science
Scientific paper
2002-07-25
Computer Science
Logic in Computer Science
15 pages. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiha
Scientific paper
In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `repair' a database. We do so by characterizing the possibilities to `recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent information as reasonably possible. Then we introduce an abductive application to restore the consistency of a given database. This application is based on an abductive solver (A-system) that implements an SLDNFA-resolution procedure, and computes a list of data-facts that should be inserted to the database or retracted from it in order to keep the database consistent. The two approaches for coherent data integration are related by soundness and completeness results.
Arieli Ofer
Bruynooghe Maurice
Denecker Marc
Nuffelen Bert Van
No associations
LandOfFree
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-226623