English
Related papers

Related papers: Direct Access for Conjunctive Queries with Negatio…

200 papers

We study the question of when we can provide direct access to the k-th answer to a Conjunctive Query (CQ) according to a specified order over the answers in time logarithmic in the size of the database, following a preprocessing step that…

Databases · Computer Science 2022-11-30 Nofar Carmeli , Nikolaos Tziavelis , Wolfgang Gatterbauer , Benny Kimelfeld , Mirek Riedewald

We study the fine-grained complexity of conjunctive queries with grouping and aggregation. For common aggregate functions (e.g., min, max, count, sum), such a query can be phrased as an ordinary conjunctive query over a database annotated…

Databases · Computer Science 2026-04-22 Idan Eldar , Nofar Carmeli , 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

We study the problem of counting answers to unions of conjunctive queries (UCQs) under structural restrictions on the input query. Concretely, given a class C of UCQs, the problem #UCQ(C) provides as input a UCQ Q in C and a database D and…

Discrete Mathematics · Computer Science 2026-02-24 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a…

Databases · Computer Science 2019-12-24 Nofar Carmeli , Shai Zeevi , Christoph Berkholz , Benny Kimelfeld , Nicole Schweikardt

We investigate the evaluation of conjunctive queries over static and dynamic relations. While static relations are given as input and do not change, dynamic relations are subject to inserts and deletes. We characterise syntactically three…

Databases · Computer Science 2025-03-28 Ahmet Kara , Zheng Luo , Milos Nikolic , Dan Olteanu , Haozhe Zhang

Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inherently #P-hard, extending even to classes of acyclic…

Databases · Computer Science 2024-09-12 Hubie Chen , Gianluigi Greco , Stefan Mengel , Francesco Scarcello

Direct access asks for the retrieval of query answers by their ranked position, given a query and a desired order. While the time complexity of data structures supporting such accesses has been studied in depth, and efficient algorithms for…

Databases · Computer Science 2026-03-23 Jiayin Hu , Nikolaos Tziavelis

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus allow for an efficient approximate evaluation. While…

Databases · Computer Science 2019-04-02 Pablo Barceló , Miguel Romero , Thomas Zeume

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

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 study the problem of consistent query answering under primary key violations. In this setting, the relations in a database violate the key constraints and we are interested in maximal subsets of the database that satisfy the constraints,…

Databases · Computer Science 2014-01-17 Paraschos Koutris , Dan Suciu

We study the computational problem of checking whether a quantified conjunctive query (a first-order sentence built using only conjunction as Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and transitive directed…

Logic in Computer Science · Computer Science 2014-08-20 Simone Bova , Robert Ganian , Stefan Szeider

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

Conjunctive queries are one of the most common class of queries used in database systems, and the best studied in the literature. A seminal result of Grohe, Schwentick, and Segoufin (STOC 2001) demonstrates that for every class $G$ of…

Data Structures and Algorithms · Computer Science 2020-11-23 Marcelo Arenas , Luis Alberto Croquevielle , Rajesh Jayaram , Cristian Riveros

Reverse engineering problems for conjunctive queries (CQs), such as query by example (QBE) or definability, take a set of user examples and convert them into an explanatory CQ. Despite their importance, the complexity of these problems is…

Databases · Computer Science 2016-07-08 Pablo Barcelo , Miguel Romero

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood…

Artificial Intelligence · Computer Science 2011-11-02 Birte Glimm , Ian Horrocks , Carsten Lutz , Ulrike Sattler

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

This paper is a study of weighted counting of the solutions of acyclic conjunctive queries ($\ACQ$). The unweighted quantifier free version of this problem is known to be tractable (for combined complexity), but it is also known that…

Computational Complexity · Computer Science 2011-12-08 Arnaud Durand , Stefan Mengel

Evaluating conjunctive queries and solving constraint satisfaction problems are fundamental problems in database theory and artificial intelligence, respectively. These problems are NP-hard, so that several research efforts have been made…

Databases · Computer Science 2013-01-01 Gianluigi Greco , Francesco Scarcello
‹ Prev 1 2 3 10 Next ›