English
Related papers

Related papers: The Complexity of Conjunctive Queries with Degree …

200 papers

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

We perform a fundamental investigation of the complexity of conjunctive query evaluation from the perspective of parameterized complexity. We classify sets of boolean conjunctive queries according to the complexity of this problem. Previous…

Computational Complexity · Computer Science 2013-06-26 Hubie Chen , Moritz Müller

We introduce 'project-connex' tree-width as a measure of tractability for counting and aggregate conjunctive queries over semirings with 'group-by' projection (also known as 'AJAR' or 'FAQ' queries). This elementary measure allows to obtain…

Databases · Computer Science 2025-07-21 Diego Figueira , Cibele Freire

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using…

Databases · Computer Science 2023-04-14 Antoine Amarilli , Pierre Bourhis , Pierre Senellart

Several important decision problems on conjunctive queries (CQs) are NP-complete in general but become tractable, and actually highly parallelizable, if restricted to acyclic or nearly acyclic queries. Examples are the evaluation of Boolean…

Databases · Computer Science 2007-05-23 G. Gottlob , N. Leone , F. Scarcello

We study the complexity of approximating the number of answers to a small query $\varphi$ in a large database $\mathcal{D}$. We establish an exhaustive classification into tractable and intractable cases if $\varphi$ is a conjunctive query…

Discrete Mathematics · Computer Science 2025-03-04 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

We study the complexity and expressive power of conjunctive queries over unranked labeled trees represented using a variety of structure relations such as ``child'', ``descendant'', and ``following'' as well as unary relations for node…

Databases · Computer Science 2007-05-23 Georg Gottlob , Christoph Koch , Klaus U. Schulz

It is well-known that inference in graphical models is hard in the worst case, but tractable for models with bounded treewidth. We ask whether treewidth is the only structural criterion of the underlying graph that enables tractable…

Data Structures and Algorithms · Computer Science 2016-11-11 Venkat Chandrasekaran , Nathan Srebro , Prahladh Harsha

Parameterised subgraph counting problems are the most thoroughly studied topic in the theory of parameterised counting, and there has been significant recent progress in this area. Many of the existing tractability results for parameterised…

Computational Complexity · Computer Science 2015-06-01 Kitty Meeks

The general intractability of the constraint satisfaction problem has motivated the study of restrictions on this problem that permit polynomial-time solvability. One major line of work has focused on structural restrictions, which arise…

Computational Complexity · Computer Science 2007-05-23 Hubie Chen , Victor Dalmau

The set of answers to a query may be very large, potentially overwhelming users when presented with the entire set. In such cases, presenting only a small subset of the answers to the user may be preferable. A natural requirement for this…

Databases · Computer Science 2024-08-06 Marcelo Arenas , Timo Camillo Merkl , Reinhard Pichler , Cristian Riveros

Query evaluation over probabilistic databases is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries [19] and instances [4] have been proposed to lower the…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Mikaël Monet , Pierre Senellart

The tree-depth problem can be seen as finding an elimination tree of minimum height for a given input graph $G$. We introduce a bicriteria generalization in which additionally the width of the elimination tree needs to be bounded by some…

Data Structures and Algorithms · Computer Science 2021-05-31 Piotr Borowiecki , Dariusz Dereniowski , Dorota Osula

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

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

Conjunctive queries select and are expected to return certain tuples from a relational database. We study the potentially easier problem of counting all selected tuples, rather than enumerating them. In particular, we are interested in the…

Computational Complexity · Computer Science 2019-04-30 Holger Dell , Marc Roth , Philip Wellnitz

Structural decomposition methods have been developed for identifying tractable classes of instances of fundamental problems in databases, such as conjunctive queries and query containment, of the constraint satisfaction problem in…

Databases · Computer Science 2016-07-06 Gianluigi Greco , Francesco Scarcello

Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks related to programs with cardinality or weight constraints - like…

Logic in Computer Science · Computer Science 2020-02-19 Reinhard Pichler , Stefan Rümmele , Stefan Szeider , Stefan Woltran

Numerous fundamental database and reasoning problems are known to be NP-hard in general but tractable on instances where the underlying hypergraph structure is $\beta$-acyclic. Despite the importance of many of these problems, there has…

Databases · Computer Science 2021-11-22 Matthias Lanzinger

We show that the problem of whether a query is equivalent to a query of tree-width $k$ is decidable, for the class of Unions of Conjunctive Regular Path Queries with two-way navigation (UC2RPQs). A previous result by Barcel\'o, Romero, and…

Logic in Computer Science · Computer Science 2025-03-12 Diego Figueira , Rémi Morvan
‹ Prev 1 2 3 10 Next ›