English
Related papers

Related papers: Specifying and Computing Causes for Query Answers …

200 papers

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

Queries with aggregation and arithmetic operations, as well as incomplete data, are common in real-world database, but we lack a good understanding of how they should interact. On the one hand, systems based on SQL provide ad-hoc rules for…

Databases · Computer Science 2022-11-02 Marco Console , Leonid Libkin , Liat Peterfreund

We formalize and study the problem of repairing database queries based on user feedback in the form of a collection of labeled examples. We propose a framework based on the notion of a proximity pre-order, and we investigate and compare…

Databases · Computer Science 2025-01-22 Balder ten Cate , Phokion Kolaitis , Carsten Lutz

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

There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexible and modular in that…

Artificial Intelligence · Computer Science 2021-08-26 Leopoldo Bertossi

In this paper, building on work done on measuring inconsistency in knowledge bases, we introduce inconsistency measures for databases. In particular, focusing on databases with denial constraints, we first consider the natural approach of…

Databases · Computer Science 2019-04-09 Francesco Parisi , John Grant

A probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the…

Databases · Computer Science 2022-12-26 Amir Gilad , Aviram Imber , Benny Kimelfeld

This paper revisits the problem of repairing and querying inconsistent databases equipped with universal constraints. We adopt symmetric difference repairs, in which both deletions and additions of facts can be used to restore consistency,…

Databases · Computer Science 2025-09-12 Meghyn Bienvenu , Camille Bourgaux

In this paper, we study consistent query answering in tables with nulls and functional dependencies. Given such a table T, we consider the set Tuples of all tuples that can be built up from constants appearing in T, and we use set theoretic…

Databases · Computer Science 2023-02-16 Dominique Laurent , Nicolas Spyratos

The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we develop such a theory and define operations on relations that…

Databases · Computer Science 2012-02-08 Philip Kelly , M. H. van Emden

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…

Logic in Computer Science · Computer Science 2007-05-23 Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe

We describe some recent approaches to score-based explanations for query answers in databases and outcomes from classification models in machine learning. The focus is on work done by the author and collaborators. Special emphasis is placed…

Artificial Intelligence · Computer Science 2021-09-21 Leopoldo Bertossi

Data repair is a common and crucial step in many frameworks today, as applications may use data from different sources and of different levels of credibility. Thus, this step has been the focus of many works, proposing diverse approaches.…

Databases · Computer Science 2020-07-10 Daniel Deutch , Nave Frost , Amir Gilad , Oren Sheffer

Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combinatorics that arises from the multitude of features a user…

Software Engineering · Computer Science 2022-03-01 Clemens Dubslaff , Kallistos Weis , Christel Baier , Sven Apel

The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on how to repair existing inconsistencies. The rule-based…

Databases · Computer Science 2017-08-09 Luís Cruz-Filipe

What-if (provisioning for an update to a database) and how-to (how to modify the database to achieve a goal) analyses provide insights to users who wish to examine hypothetical scenarios without making actual changes to a database and…

Databases · Computer Science 2022-03-29 Sainyam Galhotra , Amir Gilad , Sudeepa Roy , Babak Salimi

Causal inference is a study of causal relationships between events and the statistical study of inferring these relationships through interventions and other statistical techniques. Causal reasoning is any line of work toward determining…

Software Engineering · Computer Science 2023-04-03 Patrick Chadbourne , Nasir Eisty

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to…

Programming Languages · Computer Science 2014-08-13 James Cheney , Amal Ahmed , Umut A. Acar

Matching dependencies (MDs) were introduced to specify the identification or matching of certain attribute values in pairs of database tuples when some similarity conditions are satisfied. Their enforcement can be seen as a natural…

Databases · Computer Science 2010-08-30 Jaffer Gardezi , Leopoldo Bertossi , Iluju Kiringa

Inconsistent values are commonly encountered in real-world applications, which can negatively impact data analysis and decision-making. While existing research primarily focuses on identifying the smallest removal set to resolve…

Data Structures and Algorithms · Computer Science 2025-12-23 Haoda Li , Jiahui Chen , Yu Sun , Shaoxu Song , Haiwei Zhang , Xiaojie Yuan