Skip to main navigation Skip to search Skip to main content

The parameterized complexity and kernelization of resilience for database queries

  • Dongjing Miao
  • , Jianzhong Li
  • , Zhipeng Cai*
  • *Corresponding author for this work
  • School of Computer Science and Technology, Harbin Institute of Technology
  • Georgia State University

Research output: Contribution to journalArticlepeer-review

Abstract

Given a database instance and a query on it whose result is initially non-empty, the resilience decision problem is to decide if there exist a small enough number of facts in the database instance such that the deletion of these facts empties the result of the given query. In this paper, we revisit the resilience decision problem. We investigate the parameterized complexity for various classes of database queries. We consider the factors including the query size and the number of variables, and present several intractable cases even from the perspective of parameterized complexity. Meanwhile, we refine the characteristics of resilience for self-join-free conjunctive queries containing triads, and show that it is still NP-hard even if the structure of the input database instance is simple. This result implies the hardness essentially comes from the parity of triangle sequence instead of the complicate (non-planar) intersections of cycles. On the other hand, we also obtain some positive results showing that the resilience decision problem is still fixed parameter tractable for an important case through kernelization. Our work demonstrates a new insight for employing resilience computation in database operations.

Original languageEnglish
Pages (from-to)199-211
Number of pages13
JournalTheoretical Computer Science
Volume840
DOIs
StatePublished - 6 Nov 2020
Externally publishedYes

Keywords

  • Conjunctive query
  • Parameterized complexity
  • Resilience

Fingerprint

Dive into the research topics of 'The parameterized complexity and kernelization of resilience for database queries'. Together they form a unique fingerprint.

Cite this