On the Complexity of Bounded View Propagation for Conjunctive Queries
Open Access
- 2 October 2017
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 30 (1), 115-127
- https://doi.org/10.1109/tkde.2017.2758361
Abstract
The view propagation problem is a class of view update problem in relational databases [7] , involving deletion and insertion propagations. Given source database $D$ , conjunctive query $Q$ , view $V$ generated by query $Q(D)$ and a deletion (insertion) on view $\Delta V$ , deletion (insertion) propagation is to find a side effect free update $\Delta D$ on $D$ such that the deletion (insertion) of $\Delta D$ from (into) $D$ will delete (insert) the intentional ones $\Delta V$ without resulting in the deletion (insertion) of additional tuples from (into) the view. Generally, such a deletion (insertion) is side effect free. The related data management applications include query result explanation, data debugging, and anonymizing datasets, which rely on understanding how interventions in a database affect the output of a query. View propagation is a natural and typical way to define such interventions, which seems to be well-studied. However, in general, the candidate update on a source database is picked up aimlessly in advance, making the updated database to be very distant from the original one no matter whether it is the maximum one. In this paper, we formally define the bounded view propagation problem, where candidate update $\Delta D$ is bounded as a subset of potential $C$ which is a fixed small tuple set of $D$ . We study the complexity of this problem for conjunctive queries, and make contributions to the previous results of the problems of side-effect free deletion propagation. Specifically, our bounded view propagation problem decreases computational complexity regardless of conjunctive query structure. We show the fixed potential is actually a dichotomy for both deletion and insertion propagations, and figure out the results on combined complexity which is neglected previously. Based on our results, for view propagation, we map out a complete picture of the computational complexity hierarchy for conjunctive queries on both data and combined complexities. Moreover, this bounded version is an update forbidden case of view propagation, and our results can be applied to it.
Keywords
Funding Information
- US National Science Foundation (NSF) (1252292, 1741277, 1704287)
This publication has 36 references indexed in Scilit:
- A formal approach to finding explanations for database queriesPublished by Association for Computing Machinery (ACM) ,2014
- ScorpionProceedings of the VLDB Endowment, 2013
- MapRatProceedings of the VLDB Endowment, 2012
- Tracing data errors with view-conditioned causalityPublished by Association for Computing Machinery (ACM) ,2011
- The complexity of causality and responsibility for query answers and non-answersProceedings of the VLDB Endowment, 2010
- How to ConQueR why-not questionsPublished by Association for Computing Machinery (ACM) ,2010
- Annotation propagation revisited for key preserving viewsPublished by Association for Computing Machinery (ACM) ,2006
- On the computation of relational view complementsACM Transactions on Database Systems, 2003
- More complicated questions about maxima and minima, and some closures of NPLecture Notes in Computer Science, 1986
- The complexity of relational query languages (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1982