[論文レビュー] Answer Counting under Guarded TGDs

Cristina Feier, Carsten Lutz+1 more|arXiv (Cornell University)|Jan 8, 2021

Semantic Web and Ontologies参考文献 40被引用数 4

ひとこと要約

本稿は、オントロジー媒介クエリリングおよび制約下でのクエリリングの両設定において、被守タプル生成依存（TGD）下での結合的クエリおよび結合的クエリの和（UCQ）の答えの数え上げに関する、包括的なパrameterized複雑性分類を提供する。主な貢献は、木幅、収縮木幅、スターバイズ、連結マッチング数といった構造的測度に基づき、答えの数え上げが固定パrameter可 tractable（FPT）、W[1]-同等、#W[1]-同等、#W[2]-hard、または#A[2]-同等であるかどうかの明確な特徴付けである。これは、有界なアリティおよび完全データスキーマの仮定の下で成り立つ。

ABSTRACT

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification according to whether answer counting is fixed-parameter tractable (FPT), W[1]-equivalent, #W[1]-equivalent, #W[2]-hard, or #A[2]-equivalent, lifting a recent classification for UCQs without ontologies and constraints due to Dell et al. The classification pertains to various structural measures, namely treewidth, contract treewidth, starsize, and linked matching number. Our results rest on the assumption that the arity of relation symbols is bounded by a constant and, in the case of ontology-mediated querying, that all symbols from the ontology and query can occur in the data (so-called full data schema). We also study the meta-problems for the mentioned structural measures, that is, to decide whether a given ontology-mediated query or constraint-query specification is equivalent to one for which the structural measure is bounded.

研究の動機と目的

• 被守TGD下でのUCQの答えの数え上げのパrameterized複雑性を、オントロジー媒介クエリリングおよび制約下のクエリリングの両設定において分類すること。
• クエリの構造的性質に基づき、答えの数え上げが固定パrameter可 tractable（FPT）であるクラスと、それより難しいクラスを特定すること。
• Dellら（2019年）の、オントロジーなしのUCQに関する先行研究を、被守TGDを含むより複雑な設定に拡張すること。
• メタ問題の調査：与えられたOMQまたはCQSが、木幅やスターバイズが有界なクエリと同等であるかどうかを決定すること。
• 有界アリティおよび完全データスキーマの仮定が、複雑性分類に与える影響を分析すること。

提案手法

• 著者らは、木幅、収縮木幅、スターバイズ、連結マッチング数といった構造的測度をパラメータとして用い、答えの数え上げの複雑性を分類する。
• 特に、被守TGDにおけるチェイスプロセスの挙動を分析することで、ホモモーティズムおよびチェイスに基づく構成を用いて還元と下界を確立する。
• 証明技法として、データベースのチェイスへのクエリ再書き換えからのホモモーティズムの構築が行われ、被守性の性質を用いて変数共有および経路構造を制御する。
• クエリのスターバイズが高ければ、ホモモーティズムを保持する高スターバイズのデータベースインスタンスを構築でき、これは有界スターバイズの仮定と矛盾を引き起こす。
• 有界アリティの下で、被守TGDが保証する性質により、チェイス内の経路が元のデータベースの定数のみを用いて追跡可能であることに依存する。
• チェイスの閉包性および被守性条件を活用することで、オントロジーなしの状況から被守TGD設定への分類の拡張が可能になる。

実験結果

リサーチクエスチョン

• RQ1 被守TGD下でのUCQの答えの数え上げが、どのような条件下で固定パrameter可 tractable（FPT）となるか。
• RQ2 木幅やスターバイズといった構造的測度が、被守TGDの存在下での答えの数え上げのパrameterized複雑性にどのように影響するか。
• RQ3 被守TGD下での答えの数え上げの複雑性が、FPT、W[1]-同等、#W[1]-同等、#W[2]-hard、または#A[2]-同等のクラスに明確に分類可能かどうか。
• RQ4 OMQまたはCQSが、木幅が有界なクエリと同等であるかどうかを決定するメタ問題は、効率的に解けるか。
• RQ5 有界アリティや完全データスキーマの仮定が、複雑性分類に与える影響は何か。

主な発見

• 有界アリティおよび完全データスキーマの下で、被守TGD下でのUCQの答えの数え上げは、クエリの木幅、収縮木幅、またはスターバイズが有界である場合にかつその場合に限りFPTである。
• 連結マッチング数が無限大である場合、答えの数え上げは#W[2]-hardである。これは、複雑性の鋭い閾値を示している。
• 連結マッチング数が有界だが木幅が無限大である場合、問題は#W[1]-同等である。これは複雑性の階層を示している。
• オントロジーなしの状況から被守TGD設定への分類は、FPT/W[1]/#W[1]の境界を保ちながら持ち上げられる。
• 木幅が有界なクエリと同等であるかどうかを決定するメタ問題は、決定可能であるが、複雑性はオントロジーの構造に依存する。
• オントロジーが正規形にある場合、OMQ言語（ELIH, UCQ）への結果の拡張が可能であり、木幅が有界な被体のフロンティア被守TGDに対しても同様に成立する。