English
Related papers

Related papers: Prioritized Repairing and Consistent Query Answeri…

200 papers

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three…

Logic in Computer Science · Computer Science 2026-05-01 Meghyn Bienvenu , Camille Bourgaux

We propose a generic numerical measure of inconsistency of a database with respect to a set of integrity constraints. It is based on an abstract repair semantics. A particular inconsistency measure associated to cardinality-repairs is…

Databases · Computer Science 2018-07-16 Leopoldo Bertossi

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

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 extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a…

Logic in Computer Science · Computer Science 2007-05-23 Davy Van Nieuwenborgh , Dirk Vermeir

In this paper, we construct and compare algorithmic approaches to solve the Preference Consistency Problem for preference statements based on hierarchical models. Instances of this problem contain a set of preference statements that are…

Logic in Computer Science · Computer Science 2024-11-01 Anne-Marie George , Nic Wilson , Barry O'Sullivan

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

In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.

Databases · Computer Science 2017-06-27 Leopoldo Bertossi

Operational consistent query answering (CQA) is a recent framework for CQA based on revised definitions of repairs, which are built by applying a sequence of operations (e.g., fact deletions) starting from an inconsistent database until we…

Databases · Computer Science 2023-12-14 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. In such cases, the semantics of target queries trivialize. The aim of this paper is to introduce and explore a new…

Databases · Computer Science 2015-09-23 Balder ten Cate , Richard L. Halpert , Phokion G. Kolaitis

Traditional inconsistency-tolerent query answering in ontology-based data access relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if…

Artificial Intelligence · Computer Science 2016-02-19 Hai Wan , Heng Zhang , Peng Xiao , Haoran Huang , Yan Zhang

We study the complexity of consistent query answering on databases that may violate primary key constraints. A repair of such a database is any consistent database that can be obtained by deleting a minimal set of tuples. For every Boolean…

Databases · Computer Science 2018-10-09 Paraschos Koutris , Jef Wijsen

In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, trust relationships often exist between users, allowing them to…

Databases · Computer Science 2015-03-17 Wolfgang Gatterbauer , Dan Suciu

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

Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based…

Artificial Intelligence · Computer Science 2015-07-23 Marco Manna , Francesco Ricca , Giorgio Terracina

Efficient consistency maintenance of incomplete and dynamic real-life databases is a quality label for further data analysis. In prior work, we tackled the generic problem of database updating in the presence of tuple generating constraints…

Databases · Computer Science 2024-05-16 Jacques Chabin , Mirian Halfeld Ferrari , Nicolas Hiot , Dominique Laurent

We study the data complexity of consistent query answering (CQA) on databases that may violate the primary key constraints. A repair is a maximal subset of the database satisfying the primary key constraints. For a Boolean query q, the…

Databases · Computer Science 2023-10-31 Paraschos Koutris , Xiating Ouyang , Jef Wijsen

In the deeply interconnected world we live in, pieces of information link domains all around us. As graph databases embrace effectively relationships among data and allow processing and querying these connections efficiently, they are…

Databases · Computer Science 2023-04-04 Sergio Abriola , Santiago Cifuentes , María Vanina Martínez , Nina Pardal , Edwin Pin

Contention resolution addresses the challenge of coordinating access by multiple processes to a shared resource such as memory, disk storage, or a communication channel. Originally spurred by challenges in database systems and bus networks,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-30 Ioana Banicescu , Trisha Chakraborty , Seth Gilbert , Maxwell Young

We investigate the problem of identifying database repairs for missing tuples in query answers. We show that when the query is part of the input - the combined complexity setting - determining whether or not a repair exists is…

Databases · Computer Science 2026-01-13 Jesse Comer , Val Tannen