English
Related papers

Related papers: A Trichotomy in the Data Complexity of Certain Que…

200 papers

Our concern is the problem of efficiently determining the data complexity of answering queries mediated by description logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology-based…

Artificial Intelligence · Computer Science 2022-05-06 Olga Gerasimova , Stanislav Kikot , Agi Kurucz , Vladimir Podolskii , Michael Zakharyaschev

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

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

We study the enumeration complexity of Unions of Conjunctive Queries(UCQs). We aim to identify the UCQs that are tractable in the sense that the answer tuples can be enumerated with a linear preprocessing phase and a constant delay between…

Databases · Computer Science 2021-05-07 Nofar Carmeli , Markus Kröll

Even though query evaluation is a fundamental task in databases, known classifications of conjunctive queries by their fine-grained complexity only apply to queries without self-joins. We study how self-joins affect enumeration complexity,…

Databases · Computer Science 2022-12-12 Nofar Carmeli , Luc Segoufin

A key task in the context of consistent query answering is to count the number of repairs that entail the query, with the ultimate goal being a precise data complexity classification. This has been achieved in the case of primary keys and…

Databases · Computer Science 2024-04-10 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

In this tutorial, we will survey known results on the complexity of conjunctive query evaluation in different settings, ranging from Boolean queries over counting to more complex models like enumeration and direct access. A particular focus…

Databases · Computer Science 2025-06-24 Stefan Mengel

To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their…

Databases · Computer Science 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole may fail to satisfy. Those answers are characterized as those…

Databases · Computer Science 2007-05-23 L. Bertossi , L. Bravo , E. Franconi , A. Lopatenko

We study the uniform query reliability problem, which asks, for a fixed Boolean query Q, given an instance I, how many subinstances of I satisfy Q. Equivalently, this is a restricted case of Boolean query evaluation on tuple-independent…

Databases · Computer Science 2023-01-18 Antoine Amarilli

Query Containment Problem (QCP) is one of the most fundamental decision problems in database query processing and optimization. Complexity of QCP for conjunctive queries (QCP-CQ) has been fully understood since 1970s. But, as Chaudhuri and…

Databases · Computer Science 2025-03-25 Jerzy Marcinkowski , Mateusz Orda

Several research thrusts in the area of data management have focused on understanding how changes in the data affect the output of a view or standing query. Example applications are explaining query results, propagating updates through…

Databases · Computer Science 2015-07-03 Cibele Freire , Wolfgang Gatterbauer , Neil Immerman , Alexandra Meliou

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 2025-08-25 Marco Calautti , Ester Livshits , Andreas Pieris , Markus Schneider

Existential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well-studied classes of queries in database theory. We consider…

Databases · Computer Science 2016-04-21 Hubie Chen , Stefan Mengel

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

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

We present a trichotomy theorem for the quantum query complexity of regular languages. Every regular language has quantum query complexity Theta(1), ~Theta(sqrt n), or Theta(n). The extreme uniformity of regular languages prevents them from…

Quantum Physics · Physics 2019-04-17 Scott Aaronson , Daniel Grier , Luke Schaeffer

We study the complexity of evaluating queries on probabilistic databases under bag semantics. We focus on self-join free conjunctive queries, and probabilistic databases where occurrences of different facts are independent, which is the…

Databases · Computer Science 2023-07-18 Martin Grohe , Peter Lindner , Christoph Standke

In their classical 1993 paper [CV93] Chaudhuri and Vardi notice that some fundamental database theory results and techniques fail to survive when we try to see query answers as bags (multisets) of tuples rather than as sets of tuples. But…

Databases · Computer Science 2021-12-24 Jarosław Kwiecień , Jerzy Marcinkowski , Piotr Ostropolski-Nalewaja

We study the problem of query evaluation on probabilistic graphs, namely, tuple-independent probabilistic databases over signatures of arity two. We focus on the class of queries closed under homomorphisms, or, equivalently, the infinite…

Databases · Computer Science 2023-06-22 Antoine Amarilli , İsmail İlkan Ceylan