New Results for the Complexity of Resilience for Binary Conjunctive Queries with Self-Joins

07/02/2019
by   Cibele Freire, et al.
0

The resilience of a Boolean query is the minimum number of tuples that need to be deleted from the input tables in order to make the query false. A solution to this problem immediately translates into a solution for the more widely known problem of deletion propagation with source-side effects. In this paper, we give several novel results on the hardness of the resilience problem for binary conjunctive queries with self-joins (i.e. conjunctive queries with relations of maximal arity 2) with one repeated relation. Unlike in the self-join free case, the concept of triad is not enough to fully characterize the complexity of resilience. We identify new structural properties, namely chains, confluences and permutations, which lead to various NP-hardness results. We also give novel involved reductions to network flow to show certain cases are in P. Overall, we give a dichotomy result for the restricted setting when one relation is repeated at most 2 times, and we cover many of the cases for 3. Although restricted, our results provide important insights into the problem of self-joins that we hope can help solve the general case of all conjunctive queries with self-joins in the future.

READ FULL TEXT
research
05/29/2021

Towards a Dichotomy for Minimally Factorizing the Provenance of Self-Join Free Conjunctive Queries

We consider the problem of finding the minimal-size factorization of the...
research
12/17/2022

A Unified Approach for Resilience and Causal Responsibility with Integer Linear Programming (ILP) and LP Relaxations

Resilience is one of the key algorithmic problems underlying various for...
research
09/22/2022

Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries

We study the uniform query reliability problem, which asks, for a fixed ...
research
06/10/2022

Conjunctive queries with self-joins, towards a fine-grained complexity analysis

The complexity of evaluating conjunctive queries without self-joins is w...
research
07/23/2019

Generalized Deletion Propagation on Counting Conjunctive Query Answers

We investigate the computational complexity of minimizing the source sid...
research
01/07/2022

Tight Fine-Grained Bounds for Direct Access on Join Queries

We consider the task of lexicographic direct access to query answers. Th...
research
10/17/2020

Aggregated Deletion Propagation for Counting Conjunctive Query Answers

We investigate the computational complexity of minimizing the source sid...

Please sign up or login with your details

Forgot password? Click here to reset