[论文解读] Answering FO+MOD Queries Under Updates on Bounded Degree Databases

Christoph Berkholz, Jens Keppeler+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Database Systems and Queries被引用 8

一句话总结

本文提出了一种动态数据结构，可在任意元组插入或删除后，以恒定更新时间维护有界度数据库上固定 k-元 FO+MOD 查询的结果。通过利用 FO+MOD 的有效 Hanf 标准型，并维护跳跃函数与局部邻域结构，该方法实现了常数时间的查询回答、测试、计数以及常延迟枚举，预处理时间为线性，且在查询大小与度界上具有三重指数依赖——在标准复杂度假设下为最优。

ABSTRACT

We investigate the query evaluation problem for fixed queries over fully dynamic databases, where tuples can be inserted or deleted. The task is to design a dynamic algorithm that immediately reports the new result of a fixed query after every database update. We consider queries in first-order logic (FO) and its extension with modulo-counting quantifiers (FO+MOD), and show that they can be efficiently evaluated under updates, provided that the dynamic database does not exceed a certain degree bound. In particular, we construct a data structure that allows to answer a Boolean FO+MOD query and to compute the size of the query result within constant time after every database update. Furthermore, after every update we are able to immediately enumerate the new query result with constant delay between the output tuples. The time needed to build the data structure is linear in the size of the database. Our results extend earlier work on the evaluation of first-order queries on static databases of bounded degree and rely on an effective Hanf normal form for FO+MOD recently obtained by [Heimberg, Kuske, and Schweikardt, LICS, 2016].

研究动机与目标

• 设计一种用于有界度数据库上固定 FO+MOD 查询的动态查询评估系统。
• 在元组插入与删除操作下高效维护查询结果。
• 在完成线性时间预处理后，实现恒定时间的更新、回答、测试、计数与枚举操作。
• 将一阶逻辑的静态可 tractability 结果扩展至包含模计数量词的动态设置。
• 在假设 FPT ≠ AW[∗]s 的前提下，建立最优复杂度界限，表明对查询大小的三重指数依赖是不可避免的。

提出的方法

• 利用 Heimberg 等人（LICS 2016）近期建立的有界度数据库上 FO+MOD 的有效 Hanf 标准型。
• 将动态查询评估问题约化为维护有界度图中的独立集。
• 构建一种数据结构，用于追踪局部邻域与跳跃函数（skip(i,y,V)），以高效计算查询结果。
• 在元组插入或删除后，通过广度优先搜索至深度 3c 来传播更新，作用于 Gaifman 图。
• 使用邻接表与数组，实现对集合 Sy_i 及其大小 ≤ c−1 的子集 S1 ⊆ Sy_i 的常数时间访问。
• 利用引理 9.5 与引理 9.6 动态维护并更新跳跃值，确保对任意 V，skip(i,y,V) 的访问时间复杂度为 O(c)。

实验结果

研究问题

• RQ1 是否可以在有界度数据库上以恒定更新时间动态评估 FO+MOD 查询？
• RQ2 在动态更新下，是否可能维护 FO+MOD 查询结果的常延迟枚举？
• RQ3 动态 FO+MOD 查询评估对查询大小与度界的最优依赖关系为何？
• RQ4 是否能有效利用 FO+MOD 的 Hanf 标准型，在动态环境中实现高效的更新与查询时间？
• RQ5 对查询大小与度界的三重指数依赖是否为动态 FO+MOD 查询评估的最优结果？

主要发现

• 对于任意固定的 FO+MOD 查询 ϕ 与度界 d，该数据结构可在线性时间 O(||D||) 内构建。
• 每次更新（插入或删除）后，该数据结构支持常数时间的布尔查询回答，成员测试的时间复杂度为 O(1)。
• 每次更新后，非布尔 FO+MOD 查询结果的大小可在常数时间 O(k²) 内计算得出。
• 每次更新后，查询结果中的所有元组可实现常延迟 O(k³) 的枚举，即连续输出间延迟恒定。
• 更新时间在 ||ϕ|| 与 d 上为三重指数级，这在假设 FPT ≠ AW[∗]s 下为最优。
• 该方法在有界度数据库的动态查询评估中实现了最优时间复杂度，将先前的静态结果扩展至动态情形。