使用合取数据库查询的线性规划
摘要：优化由合取查询的答案组成的线性规划问题的研究：提出了一种用于指定约束和目标函数依赖于合取查询答案集的线性规划的语言LP(CQ)。我们为求解LP(CQ)的一个子集中的程序贡献了一种高效的算法。自然的方法是构建一个线性规划，其变量数与查询的答案集中的元素数相等。我们的方法是构建一个具有相同最优值但变量更少的线性规划。通过利用合取查询的结构，使用小宽度的广义超树分解将答案集的元素分解在一起来实现这一点。我们通过三个示例展示了LP(CQ)程序的各种应用：资源交付优化，最小化差分隐私噪声，以及计算用于数据挖掘的图中模式的s-度量。
作者：Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon
论文ID：2210.16694
分类：Databases
分类简称：cs.DB
提交时间：2023-07-26