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.

Propagating Functional Dependencies with Conditions.

On the Complexity of Insertion Propagation with Functional Dependency Constraints

Functional Dependency Restricted Insertion Propagation.

Analyses and Validation of Conditional Dependencies with Built-in Predicates

Increasing the Expressivity of Conditional Functional Dependencies Without Extra Complexity

Sectional and Conditional Functional Dependencies.

Extending Conditional Dependencies with Built-In Predicates

On the Complexity of Bounded View Propagation for Conjunctive Queries

Efficient Discovery of Functional Dependencies with Degrees of Satisfaction.

Incorporating cardinality constraints and synonym rules into conditional functional dependencies

View-based propagation of decomposable constraints

Functional Dependencies with Built-in Predicates and Its Axiomatization

Functional Dependencies Discovering in Distributed Big Data

Discovering Approximate Functional Dependencies from Distributed Big Data.

Guided conditional functional dependency discovery

Discovering Graph Functional Dependencies

Efficient Discovery of Functional Dependencies on Massive Data

Reasoning About Micro Dependencies

Extending Dependencies with Conditions

OPTIMIZED ALGORITHM OF DISCOVERING FUNCTIONAL DEPENDENCIES WITH DEGREES OF SATISFACTION

On data dependency structures of relational databases