[論文レビュー] Extremal Fitting Problems for Conjunctive Queries

Balder ten Cate, Víctor Dalmau+2 more|arXiv (Cornell University)|Jun 10, 2022

Advanced Database Systems and Queries被引用数 4

ひとこと要約

本稿は、ホモモーティズム双対性、フロントイェア、および直接積を用いた構造的特徴付けを通じて、極値適合性連言クエリ（CQ）である、最も一般的、最も具体的、一意適合性CQを導入し、形式化する。これらの極値CQのタイトな複雑度境界と、2^2^nまでの指数的サイズ下界を確立する。主な結果として、最も一般的な適合CQの構築には3ExpTimeを要し、二重指数的サイズを要する可能性がある一方で、一意適合CQはPTimeで検証可能であり、ExpTimeで構築可能であることが示された。

ABSTRACT

The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.

研究の動機と目的

• 適合CQの非一意性に応じて、極値適合CQ（最も一般的、最も具体的、一意適合性CQ）を形式化し、特徴付けること。
• これらの極値CQの検証、存在、構築問題の計算複雑度を調査すること。
• 特に木CQおよびCQの和（UCQ）の文脈において、極値適合CQのサイズ境界を特定すること。
• 効率的な構築と複雑度解析のため、ホモモーティズム双対性、フロントイェア、および直接積を用いた構造的特徴付けを提供すること。

提案手法

• 極値適合CQ（最も一般的、最も具体的、最も一般的な基底、一意適合CQ）の形式的定義を提案する。
• ホモモーティズム双対性とフロントイェア構造を用いて、極値CQの存在および構築の特徴付けを行う。
• 直接積構成を用いて、クエリの包含関係とサイズ境界を分析する。
• シミュレーションおよびホモモーティズム技術を用いて、正例および負例に対するクエリの包含・非包含を検証する。
• 素数長のサイクルを有するインスタンスの族と、複雑な負例を構築し、適合CQに二重指数的サイズを強制する。
• 素数定理およびサイクル構造を活用して、負例に写像されないために、深さが大きなCQしか適合しないことを強制する。

実験結果

リサーチクエスチョン

• RQ1 最も一般的、最も具体的、一意適合CQの構造的特徴付けは何か？
• RQ2 極値適合CQの検証、存在の決定、構築の計算複雑度は何か？
• RQ3 極値適合CQのタイトなサイズ境界は何か、特に木CQの場合にどうか？
• RQ4 これらの極値CQはホモモーティズム双対性およびフロントイェア構造とどのように関係するか？
• RQ5 極値適合CQは効率的に構築可能か？そのサイズの限界は何か？

主な発見

• CQが最も具体的な適合CQであるかどうかを検証する問題はDP完全であり、存在の決定はcoNExpTime完全である。
• 最も一般的な適合CQは2ExpTimeで構築可能であるが、サイズは二重指数的空間を要する可能性があり、木CQでは2^2^nのサイズ下界が存在する。
• UCQでは、一意適合CQの検証はExpTime完全であり、構築は2ExpTimeに属する。適合CQのサイズ下界は2Expである。
• 最も一般的な適合CQの基底の検証および構築はNExpTime完全であり、サイズ下界は2Expである。
• 木CQでは、すべての適合CQが深さが少なくとも∏p_i - 1の完全な二分木L,R,Aを含まなければならないため、n個の素数長サイクルを含む適合CQのサイズ下界は2^2^nに達する。
• 一意適合CQは存在し、PTimeで検証可能であり、ExpTimeで構築可能であり、少なくとも指数的サイズを要する。