删除传播的整数线性规划问题：统一且实用的通用删除传播方法
数据库
2025-06-17 v2
摘要
删除传播 (DP) 指一系列数据库问题，源于经典的视图更新问题：如何在满足约束并最小化副作用的前提下，将视图(查询输出)中意图删除传播回源数据库。尽管 DP 变体、其复杂性以及实用算法已研究逾 40 年，但通常在孤立的情况下探讨。本工作提出了一种统一且通用的 DP 框架，具有以下关键优势：(1) 统一并推广了所有已知的 DP 变体，有效地将其纳入更广泛的问题类中，包括新近提出的、充满动机的变体。(2) 提供了一种实用且通用的算法，具有“粗粒度实例最优”特性：在所有已知的 PTIME 情况下均运行于多项式时间，可自动利用数据中的结构规律，即无需针对此类规律的输入提示。(3) 完备无益：我们的框架处理所有已知的 DP 变体于所有情形(包括涉及自连接、联合和袋语义的情况)，并允许我们提供新的复杂性结果。(4) 实现容易，许多情况下甚至可通过数量级超过先前变体特定解决方案。我们提供了几个 DP 变体首次的实验结果，而这些变体此前仅在理论上受到研究。
引用
@article{arxiv.2411.17603,
title = {Is Integer Linear Programming All You Need for Deletion Propagation? A Unified and Practical Approach for Generalized Deletion Propagation},
author = {Neha Makhija and Wolfgang Gatterbauer},
journal= {arXiv preprint arXiv:2411.17603},
year = {2025}
}
备注
19 pages, 12 figures