notesum.ai
Published at November 26A Unified and Practical Approach for Generalized Deletion Propagation
cs.DB
Released Date: November 26, 2024
Authors: Neha Makhija1, Wolfgang Gatterbauer
Aff.: 1Northeastern University, USA

| Symbol | Definition |
|---|---|
| Conjunctive query (CQ) | |
| Database Instance, i.e., a set of tables | |
| A view representing the evaluation of query on database | |
| A view tuple i.e., a valuation of the head variables of a query that is permitted by a database | |
| A witnesses i.e., a valuation of all variables of a query that is permitted by a database | |
| The Generalized Deletion Propagation problem | |
| An ordered set of queries that define the deletion views i.e., the views from which output must be deleted | |
| An ordered set of queries that define the preservation views i.e., the views that must be preserved | |
| An ordered set of queries that define the minimization views i.e., the views from which deletions must be minimized | |
| An ordered set of queries that define the maximization views i.e., the views from which deletions are maximized | |
| Vector of positive integers that define the number of tuples that must be deleted for each view in | |
| Vector of positive integers that define the number of tuples that must be preserved for each view in | |
| The ILP for (with wildcard semantics and smoothing constraints) | |
| The Deletion Propagation with Side-Effects problem | |
| The Deletion Propagation with View-Effects problem | |
| The Smallest Witness Problem | |
| The Aggregated Deletion Propagation Problem | |
| A binary variable in an (Integer) Linear Program |