[論文レビュー] 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-ary FO+MODクエリの結果を維持する動的データ構造を提示する。FO+MODの有効なハーフ正規形を活用し、スキップ関数と局所的近傍構造を維持することで、線形の前処理時間とクエリサイズおよび次数上限に関する3重指数的依存性を伴いながらも、定数時間のクエリ回答、テスト、カウント、定数遅延列挙を実現する。これは標準の複雑性仮定のもとで最適である。

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 の仮定のもとで、最適な複雑性境界を確立し、クエリサイズに関する3重指数的依存性が避けがたいことを示すこと。

提案手法

• Heimberg ら（LICS 2016）が最近確立した、有界次数のデータベースにおけるFO+MODの有効なハーフ正規形を活用する。
• 動的クエリ評価を、有界次数のグラフにおける独立集合の維持問題に還元する。
• 局所的近傍とスキップ関数（skip(i,y,V)）を追跡するデータ構造を構築し、クエリ結果を効率的に計算する。
• タプルの挿入または削除後に、ガイフマングラフにおいて深さ3cまで幅優先探索を実行して更新を伝搬する。
• 隣接リストと配列を用いて、集合Sy_iおよびサイズ≤c−1の部分集合S1 ⊆ Sy_iへの定数時間アクセスを実現する。
• Claim 9.5およびClaim 9.6を用いてスキップ値を動的に維持・更新し、任意のVに対してskip(i,y,V)へのO(c)時間アクセスを保証する。

実験結果

リサーチクエスチョン

• RQ1 有界次数のデータベースにおけるFO+MODクエリを、定数時間の更新時間で動的に評価することは可能か？
• RQ2 動的更新下でも、FO+MODクエリ結果の定数遅延列挙を維持することは可能か？
• RQ3 動的FO+MODクエリ評価における、クエリサイズおよび次数上限の最適依存関係は何か？
• RQ4 FO+MODのハーフ正規形を動的設定で効果的に活用し、効率的な更新時間とクエリ時間の両方を達成することは可能か？
• RQ5 クエリサイズおよび次数上限に関する3重指数的依存性は、動的FO+MODクエリ評価において最適か？

主な発見

• 任意の固定FO+MODクエリϕおよび次数上限dに対して、線形時間O(||D||)で動的データ構造が構築可能である。
• 各更新（挿入または削除）の後、ブール型クエリの回答が定数時間O(1)で可能であり、メンバーシップのテストも同様にO(1)の時間で実行可能である。
• 非ブール型FO+MODクエリの結果サイズは、各更新後に定数時間O(k²)で計算可能である。
• クエリ結果に含まれるすべてのタプルは、各更新後に連続する出力間で定数遅延O(k³)で列挙可能である。
• 更新時間は||ϕ||およびdに関して3重指数的であり、FPT ≠ AW[∗]sの仮定のもとで最適である。
• 本手法は、有界次数のデータベースにおける動的クエリ評価の最適時間計算量を達成しており、従来の静的結果を動的ケースに拡張している。