Book ChapterDOI
Specifying and Querying Database Repairs using Logic Programs with Exceptions
Marcelo Arenas,Leopoldo Bertossi,Jan Chomicki +2 more
- pp 27-41
Reads0
Chats0
TLDR
This paper shows how to specify consistent data and how to query a relational database in such a way that only consistent data is retrieved.Abstract:
Databases may be inconsistent with respect to a given set of integrity constraints. Nevertheless, most of the data may be consistent. In this paper we show how to specify consistent data and how to query a relational database in such a way that only consistent data is retrieved. The specification and queries are based on disjunctive extended logic programs with positive and negative exceptions that generalize those previously introduced by Kowalski and Sadri.read more
Citations
More filters
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.
Journal Article
Consistent query answers in inconsistent databases
TL;DR: In this article, the authors consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints and present a method for computing consistent answers.
Journal ArticleDOI
Minimal-change integrity maintenance using tuple deletions
Jan Chomicki,Jerzy Marcinkowski +1 more
TL;DR: In this paper, the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases is addressed, assuming that integrity-restoration actions are limited to tuple deletions.
Proceedings ArticleDOI
On the decidability and complexity of query answering over inconsistent and incomplete databases
TL;DR: This paper identifies the maximal class of inclusion dependencies under which query answering is decidable in the presence of key dependencies and establishes decidability and complexity results for query answering under different assumptions on data.
Journal ArticleDOI
Answer sets for consistent query answering in inconsistent databases
TL;DR: In this article, the authors apply logic programming based on answer sets to the problem of retrieving consistent information from a possibly inconsistent database, since consistent information persists from the original database to every of its minimal repairs.
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.
Book
Foundations of databases
TL;DR: This book discusses Languages, Computability, and Complexity, and the Relational Model, which aims to clarify the role of Semantic Data Models in the development of Query Language Design.
Proceedings Article
The stable model semantics for logic programming
TL;DR: This paper introduces a succinct abstract representation of constraint atoms in which a constraint atom is represented compactly and shows that this representation provides a means to characterize dependencies of atoms in a program with constraint atoms, so that some standard characterizations and properties relying on these dependencies in the past for logic programs with ordinary atoms can be extended.
Book
Principles of database and knowledge-base systems
TL;DR: This book goes into the details of database conception and use, it tells you everything on relational databases from theory to the actual used algorithms.