English
Related papers

Related papers: Measuring and Computing Database Inconsistency via…

200 papers

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

In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets,…

Logic in Computer Science · Computer Science 2020-02-19 Kyle Marple , Gopal Gupta

There have been a number of developments in measuring inconsistency in logic-based representations of knowledge. In contrast, the development of inconsistency measures for computational models of argument has been limited. To address this…

Artificial Intelligence · Computer Science 2017-08-10 Anthony Hunter

Fairness is increasingly recognized as a critical component of machine learning systems. However, it is the underlying data on which these systems are trained that often reflect discrimination, suggesting a database repair problem. Existing…

Databases · Computer Science 2019-10-04 Babak Salimi , Luke Rodriguez , Bill Howe , Dan Suciu

Both providers and consumers of distributed storage services benefit from the quantification of the severity of consistency violations. However, existing methods fail to capture a typical pattern of violation - the disorder among operations…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-19 Yu Huang , Hengfeng Wei , Maosen Huang , Lingzhi Ouyang

Imbalance in classification tasks is commonly quantified by the cardinalities of examples across classes. This, however, disregards the presence of redundant examples and inherent differences in the learning difficulties of classes.…

Machine Learning · Computer Science 2026-01-22 Çağrı Eser , Zeynep Sonat Baltacı , Emre Akbaş , Sinan Kalkan

Comparing alternatives in pairs is a very well known technique of ranking creation. The answer to how reliable and trustworthy ranking is depends on the inconsistency of the data from which it was created. There are many indices used for…

Discrete Mathematics · Computer Science 2020-01-28 Konrad Kułakowski , Dawid Talaga

We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation…

Logic in Computer Science · Computer Science 2022-09-27 Leopoldo Bertossi

Datasets may include errors, and specifically violations of integrity constraints, for various reasons. Standard techniques for ``minimal-cost'' database repairing resolve these violations by aiming for minimum change in the data, and in…

Databases · Computer Science 2024-10-23 Yuxi Liu , Fangzhu Shen , Kushagra Ghosh , Amir Gilad , Benny Kimelfeld , Sudeepa Roy

Machine learning models have demonstrated substantial performance enhancements over non-learned alternatives in various fundamental data management operations, including indexing (locating items in an array), cardinality estimation…

Databases · Computer Science 2024-11-12 Sepanta Zeighami , Cyrus Shahabi

We revisit integrity checking in relational and deductive databases with an approach that tolerates erroneous, inconsistent data. In particular, we relax the fundamental prerequisite that, in order to apply any method for simplified…

Databases · Computer Science 2024-11-08 Hendrik Decker , Davide Martinenghi

Estimating the cardinality of the output of a query is a fundamental problem in database query processing. In this article, we overview a recently published contribution that casts the cardinality estimation problem as linear optimization…

Databases · Computer Science 2025-05-13 Mahmoud Abo Khamis , Vasileios Nakos , Dan Olteanu , Dan Suciu

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

We consider the problem of aligning a pair of databases with correlated entries. We introduce a new measure of correlation in a joint distribution that we call cycle mutual information. This measure has operational significance: it…

Information Theory · Computer Science 2018-05-11 Daniel Cullina , Prateek Mittal , Negar Kiyavash

Addressing the reproducibility crisis in artificial intelligence through the validation of reported experimental results is a challenging task. It necessitates either the reimplementation of techniques or a meticulous assessment of papers…

Machine Learning · Computer Science 2023-11-14 György Kovács , Attila Fazekas

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

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

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

Functional dependencies (FDs) specify the intended data semantics while violations of FDs indicate deviation from these semantics. In this paper, we study a data cleaning problem in which the FDs may not be completely correct, e.g., due to…

Databases · Computer Science 2012-07-25 George Beskales , Ihab F. Ilyas , Lukasz Golab , Artur Galiullin

When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of…

Software Engineering · Computer Science 2026-03-11 Lars Fritsche , Alexander Lauer , Maximilian Kratz , Andy Schürr , Gabriele Taentzer