English
Related papers

Related papers: A logic-based framework for database repairs

200 papers

In its traditional definition, a repair of an inconsistent database is a consistent database that differs from the inconsistent one in a "minimal way". Often, repairs are not equally legitimate, as it is desired to prefer one over another;…

Databases · Computer Science 2016-03-08 Benny Kimelfeld , Ester Livshits , Liat Peterfreund

In many real-world scenarios, query results must satisfy domain-specific constraints. For instance, a minimum percentage of interview candidates selected based on their qualifications should be female. These requirements can be expressed as…

Databases · Computer Science 2025-11-04 Shatha Algarni , Boris Glavic , Seokki Lee , Adriane Chapman

Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that could be pursued. In this work, we focus on repairing and querying inconsistent…

Databases · Computer Science 2024-05-28 Nina Pardal , Santiago Cifuentes , Edwin Pin , Maria Vanina Martinez , Sergio Abriola

The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving certain types of integrity constraints such as functional and…

Logic in Computer Science · Computer Science 2024-12-17 Yasir Mahmood , Markus Hecher , Axel-Cyrille Ngonga Ngomo

A consistent query answer in an inconsistent database is an answer obtained in every (minimal) repair. The repairs are obtained by resolving all conflicts in all possible ways. Often, however, the user is able to provide a preference on how…

Databases · Computer Science 2011-10-10 Slawomir Staworko , Jan Chomicki , Jerzy Marcinkowski

Datasets often contain values that naturally reside in a metric space: numbers, strings, geographical locations, machine-learned embeddings in a Euclidean space, and so on. We study the computational complexity of repairing inconsistent…

Databases · Computer Science 2024-09-26 Youri Kaminsky , Benny Kimelfeld , Ester Livshits , Felix Naumann , David Wajc

We investigate the notion of sufficient explanation, and a sufficiency-degree as attribution score for database tuples in relation to query answering. We also investigate and exploit connections with database repairs as used for dealing…

Databases · Computer Science 2026-05-18 Leopoldo Bertossi , Nina Pardal

Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements in knowledge bases; in particular, active integrity…

In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In…

Artificial Intelligence · Computer Science 2019-10-02 César Prouté , Bruno Yun , Madalina Croitoru

For several reasons a database may not satisfy a given set of integrity constraints(ICs), but most likely most of the information in it is still consistent with those ICs; and could be retrieved when queries are answered. Consistent answers…

Databases · Computer Science 2007-05-23 Loreto Bravo , Leopoldo Bertossi

Consistent Query Answering (CQA) is the problem of computing from a database the answers to a query that are consistent with respect to certain integrity constraints that the database, as a whole, may fail to satisfy. Consistent answers…

Databases · Computer Science 2007-05-23 Andrei Lopatenko , Leopoldo Bertossi

A database D may be inconsistent wrt a given set IC of integrity constraints. Consistent Query Answering (CQA) is the problem of computing from D the answers to a query that are consistent wrt IC . Consistent answers are invariant under all…

Databases · Computer Science 2016-05-24 Andrei Lopatenko , Leopoldo Bertossi

Repairing inconsistent knowledge bases is a task that has been assessed, with great advances over several decades, from within the knowledge representation and reasoning and the database theory communities. As information becomes more…

Databases · Computer Science 2023-07-14 Sergio Abriola , Santiago Cifuentes , Nina Pardal , Edwin Pin

Consistent query answering is an inconsistency tolerant approach to obtaining semantically correct answers from a database that may be inconsistent with respect to its integrity constraints. In this work we formalize the notion of…

Databases · Computer Science 2011-06-09 M. Andrea Rodríguez , Leopoldo Bertossi , Monica Caniupan

Classical algorithms for query optimization presuppose the absence of inconsistencies or uncertainties in the database and exploit only valid semantic knowledge provided, e.g., by integrity constraints. Data inconsistency or uncertainty,…

Databases · Computer Science 2014-05-05 Federica Panella

This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constraints is considered. We show that, given a database and a…

Databases · Computer Science 2008-11-14 Cristian Molinaro , Jan Chomicki , Jerzy Marcinkowski

We study here the impact of priorities on conflict resolution in inconsistent relational databases. We extend the framework of repairs and consistent query answers. We propose a set of postulates that an extended framework should satisfy…

Databases · Computer Science 2007-05-23 Slawomir Staworko , Jan Chomicki

In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistency-based and abductive versions, and database updates through views.…

Databases · Computer Science 2014-07-01 Leopoldo Bertossi , Babak Salimi

We propose and investigate a semantics for "peer data exchange systems" where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity…

Databases · Computer Science 2016-08-03 Leopoldo Bertossi , Loreto Bravo

The connection between subset-maximal repairs for inconsistent databases involving various integrity constraints and acceptable sets of arguments within argumentation frameworks has recently drawn growing interest. In this paper, we…

Databases · Computer Science 2026-05-06 Yasir Mahmood , Jonni Virtema , Timon Barlag , Axel-Cyrille Ngonga Ngomo