[論文レビュー] Conjunctive Queries with Free Access Patterns Under Updates

Shaleen Deep, Xiao Hu+1 more|arXiv (Cornell University)|Sep 22, 2021

Advanced Database Systems and Queries被引用数 3

ひとこと要約

本稿では、関係代数とアクセスパターンを用いて、ブール結合的問い合わせ（Boolean conjunctive queries, CQ）に対する空間時間トレードオフを統一的に扱うフレームワークを提示する。2-集合非交差問題や経路クエリをブール装飾付きクエリとしてモデル化することで、著者らは一般化されたアルゴリズムを構築し、既存のトレードオフを回復・改善するとともに、三角形クエリおよび経路クエリの下界に関する従来の予想を反証し、結合サイズの上限と木分解を用いた構造的解析により、スターや経路クエリに対する新たな条件付き空間時間下界を証明する。

ABSTRACT

In this paper, we investigate space-time tradeoffs for answering Boolean conjunctive queries. The goal is to create a data structure in an initial preprocessing phase and use it for answering (multiple) queries. Previous work has developed data structures that trade off space usage for answering time and has proved conditional space lower bounds for queries of practical interest such as the path and triangle query. However, most of these results cater to only those queries, lack a comprehensive framework, and are not generalizable. The isolated treatment of these queries also fails to utilize the connections with extensive research on related problems within the database community. The key insight in this work is to exploit the formalism of relational algebra by casting the problems as answering join queries over a relational database. Using the notion of boolean {\em adorned queries} and {\em access patterns}, we propose a unified framework that captures several widely studied algorithmic problems. Our main contribution is three-fold. First, we present an algorithm that recovers existing space-time tradeoffs for several problems. The algorithm is based on an application of the {\em join size bound} to capture the space usage of our data structure. We combine our data structure with {\em query decomposition} techniques to further improve the tradeoffs and show that it is readily extensible to queries with negation. Second, we falsify two proposed conjectures in the existing literature related to the space-time lower bound for path queries and triangle detection for which we show unexpectedly better algorithms. This result opens a new avenue for improving several algorithmic results that have so far been assumed to be (conditionally) optimal. Finally, we prove new conditional space-time lower bounds for star and path queries.

研究の動機と目的

• 2-集合非交差問題、k-到達可能性、三角形検出など、多様なデータ構造問題を、ブール結合的問い合わせとアクセスパターンに基づく一様な形式的枠組みに統合すること。
• 結合サイズの上限とクエリ分解を用いて、ブールCQにおける既知の空間時間トレードオフを回復・改善する一般アルゴリズムの開発。
• 経路クエリおよび三角形クエリの条件付き空間時間下界に関する長年の予想に挑戦し、それらを反証し、より優れたアルゴリズムが存在することを示すこと。
• 既知の難問（例：3-集合非交差問題）からの還元と構造的クエリ解析を用いて、スターや経路クエリに対する新たな条件付き空間時間下界を証明すること。

提案手法

• ユーザーが指定するアクセスパターンによって特定のクエリ変数が固定される関係データベース上でのブール装飾付きクエリとして、データ構造問題を形式化する。
• 結合サイズの上限を適用してデータ構造のメモリ使用量を制御し、空間Sとクエリ時間Tの一般化されたトレードオフを実現する。
• クエリ計画の木分解をアクセスパターンと統合することで、空間効率を向上させ、複雑なクエリ構造に対処する。
• クエリ分解技術を用いて複雑なクエリをより小さな部分クエリに分割し、より良いトレードオフを達成するとともに、否定をサポートする。
• 既知の難問（例：3-集合非交差問題）からの還元を活用して、経路クエリおよびスタークエリの条件付き下界を導出する。
• 最悪ケース最適結合アルゴリズムおよび完全な装飾ビュー列挙技術を応用して、効率的なデータ構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 ブール結合的問い合わせにおける多様な空間時間トレードオフ問題を、統一されたフレームワークでモデル化・解決できるか？
• RQ2 経路クエリおよび三角形クエリの従来の条件付き下界予想は実際にタイトなものなのか、それともより優れたアルゴリズムが構築可能か？
• RQ3 k-到達可能性および2-集合非交差問題の空間時間トレードオフは、一般化された関係クエリベースのアプローチによって回復・改善可能か？
• RQ4 既知の難問からの還元を用いて、スターや経路クエリに対する新たな条件付き下界を証明可能か？
• RQ5 このフレームワークは、否定および動的更新を含む結合的問い合わせにどの程度拡張可能か？

主な発見

• 提示されたフレームワークは、2-集合非交差問題、k-到達可能性、エッジ上の三角形検出において、従来の知られていたものよりも優れたトレードオフを達成し、既存のトレードオフを回復・改善する。
• 著者らは2つの長年の予想を反証した：経路クエリに対しては、以前に想定されていたよりも優れたアルゴリズムが存在する。また、三角形検出の下界はタイトではない。
• 長さ5以上の経路クエリでは、4-パスクエリを構築の基盤として活用することで、より優れたトレードオフが可能になる。
• スタークエリに対して新たな条件付き下界が証明され、特定の仮定のもとでS·T = Ω(|D|²)が最適であることが示された。
• P_bb³（3-集合非交差問題）に対してもS·T = Ω(|D|²)が最適であることが証明され、同じ仮定のもとでP_bb²（2-集合非交差問題）に対しても最適性が示唆される。
• 本アプローチは、否定を含むブールCQに対しても拡張可能であり、先行研究と比較してより単純な構成と改善された多項対数因子を達成する。