English
Related papers

Related papers: A Dichotomy in Consistent Query Answering for Prim…

200 papers

The problem of extracting consistent information from relational databases violating integrity constraints on numerical data is addressed. In particular, aggregate constraints defined as linear inequalities on aggregate-sum queries on input…

Databases · Computer Science 2007-05-23 Sergio Flesca , Filippo Furfaro , Francesco Parisi

Most data analytical pipelines often encounter the problem of querying inconsistent data that violate pre-determined integrity constraints. Data cleaning is an extensively studied paradigm that singles out a consistent repair of the…

Databases · Computer Science 2022-08-29 Zhiwei Fan , Paraschos Koutris , Xiating Ouyang , Jef Wijsen

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2013-01-08 Jef Wijsen

A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the…

Databases · Computer Science 2011-10-10 Marco Manna , Francesco Ricca , Giorgio Terracina

The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the…

Databases · Computer Science 2025-09-25 Balder ten Cate , Victor Dalmau , Maurice Funk , Carsten Lutz

We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called query constraints. The former are used to model consistency…

Databases · Computer Science 2025-03-31 Nicolas Fröhlich , Arne Meier , Nina Pardal , Jonni Virtema

The framework of consistent query answers and repairs has been introduced to alleviate the impact of inconsistent data on the answers to a query. A repair is a minimally different consistent instance and an answer is consistent if it is…

Databases · Computer Science 2009-02-19 Slawomir Staworko , Jan Chomicki

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

Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts to reasoning over all instances that include the facts and…

Logic in Computer Science · Computer Science 2020-03-06 Antoine Amarilli , Michael Benedikt

Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts to reasoning over all instances that include the facts and…

Logic in Computer Science · Computer Science 2016-07-19 Antoine Amarilli , Michael Benedikt

We embark on a study of the consistent answers of queries over databases annotated with values from a naturally ordered positive semiring. In this setting, the consistent answers of a query are defined as the minimum of the semiring values…

Databases · Computer Science 2025-04-04 Phokion G. Kolaitis , Nina Pardal , Jonni Virtema , Jef Wijsen

We consider the problem of answering conjunctive queries with aggregation on database instances that may violate primary key constraints. In SQL, these queries follow the SELECT-FROM-WHERE-GROUP BY format, where the WHERE-clause involves a…

Databases · Computer Science 2024-09-04 Aziz Amezian El Khalfioui , Jef Wijsen

We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order…

Databases · Computer Science 2020-11-19 Pablo Barcelo , Gerald Berger , Carsten Lutz , Andreas Pieris

The reliability of a Boolean Conjunctive Query (CQ) over a tuple-independent probabilistic database is the probability that the CQ is satisfied when the tuples of the database are sampled one by one, independently, with their associated…

Databases · Computer Science 2023-06-22 Antoine Amarilli , Benny Kimelfeld

We investigate the fine-grained complexity of direct access to Conjunctive Query (CQ) answers according to their position, ordered by the minimum (or maximum) value between attributes. We further use the tools we develop to explore a wealth…

Databases · Computer Science 2025-10-23 Nofar Carmeli , Nikolaos Tziavelis

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

We consider the task of enumerating and counting answers to $k$-ary conjunctive queries against relational databases that may be updated by inserting or deleting tuples. We exhibit a new notion of q-hierarchical conjunctive queries and show…

Databases · Computer Science 2017-02-22 Christoph Berkholz , Jens Keppeler , Nicole Schweikardt

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

The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…

Computational Complexity · Computer Science 2024-08-01 Shqiponja Ahmetaj , Timo Camillo Merkl , Reinhard Pichler

In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between conflicting facts. In the database setting, a closely…

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