Query Rewriting with Disjunctive Existential Rules and Mappings

要約

論理積クエリ (UCQ) に論理和の存在ルールとマッピングを使って答える問題を検討します。
この問題は追跡の観点からすでに十分に研究されていますが、UCQ 内のクエリの書き換えについてはまだほとんど対処されていません。
まず、健全で完全なクエリ書き換え演算子を提案します。これには、追跡ステップと書き換えステップの間に緊密な関係を確立するという利点があります。
関連する幅優先クエリ書き換えアルゴリズムは、最小の UCQ 書き換えアルゴリズムが存在する場合、それを出力します。
第 2 に、「真に論理和的な」非再帰ルールには、UCQ 書き換えを行わない論理積クエリが存在することを示します。
したがって、任意の UCQ が UCQ 書き換えを認めるような存在規則のセットを表す有限統合集合 (fus) の概念は、この設定ではほとんど関連性がないようです。
最後に、マッピングに注目して、選言的マッピングを通じて UCQ が UCQ 書き換えを認めるかどうかを決定する問題は決定不可能であることを示します。
最後に、いくつかの未解決の問題を解決します。

要約(オリジナル)

We consider the issue of answering unions of conjunctive queries (UCQs) with disjunctive existential rules and mappings. While this issue has already been well studied from a chase perspective, query rewriting within UCQs has hardly been addressed yet. We first propose a sound and complete query rewriting operator, which has the advantage of establishing a tight relationship between a chase step and a rewriting step. The associated breadth-first query rewriting algorithm outputs a minimal UCQ-rewriting when one exists. Second, we show that for any “truly disjunctive” nonrecursive rule, there exists a conjunctive query that has no UCQ-rewriting. It follows that the notion of finite unification sets (fus), which denotes sets of existential rules such that any UCQ admits a UCQ-rewriting, seems to have little relevance in this setting. Finally, turning our attention to mappings, we show that the problem of determining whether a UCQ admits a UCQ-rewriting through a disjunctive mapping is undecidable. We conclude with a number of open problems.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google