Coherent integration of databases by abductive logic programming
TLDR
An abductive method for a coherent integration of independent data-sources that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of the knowledge -- is more expressive (thus more general) than any other implementation of coherent Integration of databases.Abstract:
We introduce an abductive method for a coherent integration of independent datasources. The idea is to compute a list of data-facts that should be inserted to the amalgamated database or retracted from it in order to restore its consistency. This method is implemented by an abductive solver, called A system, that applies SLDNFA-resolution on a meta-theory that relates different, possibly contradicting, input databases. We also give a pure model-theoretic analysis of the possible ways 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. This allows us to characterize the 'recovered databases' in terms of the 'preferred' (i.e., most consistent) models of the theory. The outcome is an abductive-based application that is sound and complete with respect to a corresponding model-based, preferential semantics, and - to the best of our knowledge - is more expressive (thus more general) than any other implementation of coherent integration of databases.read more
Citations
More filters
Book ChapterDOI
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
TL;DR: In this article, a new proof procedure for abductive logic programming is presented, which extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and relaxing the restrictions on allowed inputs for which the procedure can operate correctly.
Journal ArticleDOI
Reverse data management
TL;DR: This work defines the Reverse Data Management problem, and classify RDM problems into four categories, and introduces a new type of RDM problem, How-To Queries.
Journal ArticleDOI
Repair localization for query answering from inconsistent databases
TL;DR: An approach to query answering from inconsistent data is presented, in which the query is evaluated over each of the repairs of the affected part only, augmented with the part that is not affected, and the effectiveness of the results is demonstrated for consistent query answering over expressive schemas.
Journal ArticleDOI
A paraconsistent logic programming approach for querying inconsistent databases
TL;DR: This paper uses a LFI1 as the underlying logic for the specification of P-Datalog, a deductive query language for databases containing inconsistent information, and presents a declarative semantics which captures the desired meaning of a recursive query executed over a database containing inconsistent facts.
Journal ArticleDOI
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
Leopoldo Bertossi,Babak Salimi +1 more
TL;DR: In this paper, the authors establish and investigate connections between causes for query answers in databases, database repairs with respect to denial constraints, and consistency-based diagnosis, and show how to obtain database repairs from causes, and the other way around.
References
More filters
Book
Foundations of logic programming
TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
Journal ArticleDOI
A survey of approaches to automatic schema matching
Erhard Rahm,Philip A. Bernstein +1 more
TL;DR: A taxonomy is presented that distinguishes between schema-level and instance-level, element- level and structure- level, and language-based and constraint-based matchers and is intended to be useful when comparing different approaches to schema matching, when developing a new match algorithm, and when implementing a schema matching component.
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Proceedings ArticleDOI
Data integration: a theoretical perspective
TL;DR: The tutorial is focused on some of the theoretical issues that are relevant for data integration: modeling a data integration application, processing queries in data integration, dealing with inconsistent data sources, and reasoning on queries.