論文の概要: Query Rewriting with Disjunctive Existential Rules and Mappings
- arxiv url: http://arxiv.org/abs/2306.05973v1
- Date: Fri, 9 Jun 2023 15:37:24 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-12 12:40:10.107071
- Title: Query Rewriting with Disjunctive Existential Rules and Mappings
- Title（参考訳）: 断続的存在規則とマッピングを用いたクエリ書き換え
- Authors: Michel Lecl\`ere and Marie-Laure Mugnier and Guillaume
P\'erution-Kihli
- Abstract要約: 本稿では,有意な存在規則と写像を持つ連結クエリの和に答える問題を考察する。
まず、追従ステップと書き直しステップの密接な関係を確立するという利点を生かした、健全で完全なクエリ書き換え演算子を提案する。
真に解答的でない規則に対して、UCQ-リライトを持たない連結クエリが存在することを示す。
- 参考スコア（独自算出の注目度）: 1.1021984764549548
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: 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.
- Abstract（参考訳）: 本稿では, 共役クエリ(UCQ)の結合に, 実存規則とマッピングを対応させる問題について考察する。
この問題は、既に追跡の観点からよく研究されているが、UCQ内のクエリ書き換えは、ほとんど解決されていない。
まず, チェイスステップと書き直しステップとの密接な関係を確立するという利点を持つ, 音声と完全クエリの書き直し演算子を提案する。
関連する幅優先クエリ書き換えアルゴリズムは、存在する場合の最小限のUCQ書き換えを出力する。
第二に、'truly disjunctive' の非再帰的な規則に対して、UCQ-rewritingを持たない連結的なクエリが存在することを示す。
有限統一集合(fus)の概念は、任意のUCQがUCQ書き換えを許すような存在規則の集合を表すが、この集合においてはほとんど関係がないようである。
最後に、写像に注意を向けると、UCQが解離写像によるUCQ書き換えを認めているかどうかを判断する問題は決定不可能であることを示す。
我々は多くの未解決問題で締めくくった。
関連論文リスト
- Learned Graph Rewriting with Equality Saturation: A New Paradigm in Relational Query Rewrite and Beyond [0.3749861135832073]
論理的および物理的関係性クエリ計画の書き直しは、NPハードなシーケンシャルな意思決定問題であることが証明されている。
本稿では,品質飽和度とグラフ強化学習を両立させることにより,クエリ書き換えの問題に対処する。
論文 参考訳（メタデータ） (2024-06-19T21:11:19Z) - Adaptive Query Rewriting: Aligning Rewriters through Marginal Probability of Conversational Answers [66.55612528039894]
AdaQRは、シードデータセットからの限定的な書き直しアノテーションと完全にパスラベルのないクエリ書き換えモデルをトレーニングするフレームワークである。
会話クエリに条件付き回答の確率を用いて,これらの候補に対する検索者の嗜好を評価する新しい手法を提案する。
論文 参考訳（メタデータ） (2024-06-16T16:09:05Z) - LLM-R2: A Large Language Model Enhanced Rule-based Rewrite System for Boosting Query Efficiency [65.01402723259098]
本稿では,LLM-R2 という新しいクエリ書き換え手法を提案する。
実験結果から,本手法はクエリ実行効率を大幅に向上し,ベースライン法よりも優れていることがわかった。
論文 参考訳（メタデータ） (2024-04-19T13:17:07Z) - PACIFIC: Towards Proactive Conversational Question Answering over
Tabular and Textual Data in Finance [96.06505049126345]
我々はPACIFICという新しいデータセットを提案する。既存のCQAデータセットと比較すると、PACIFICは(i)活動性、(ii)数値推論、(iii)表とテキストのハイブリッドコンテキストの3つの重要な特徴を示す。
質問生成とCQAを組み合わせたPCQA(Proactive Conversational Question Answering)に基づいて,新しいタスクを定義する。
UniPCQAはPCQAのすべてのサブタスク上でマルチタスク学習を行い、Seeq2Seqの上位$kのサンプルをクロスバリデーションすることで、マルチタスク学習におけるエラー伝搬問題を緩和するための単純なアンサンブル戦略を取り入れている。
論文 参考訳（メタデータ） (2022-10-17T08:06:56Z) - Finite Entailment of UCRPQs over ALC Ontologies [0.82179684645881]
我々は、クエリ言語、結合正則経路クエリの結合(UCRPQ)を考える。
記述論理 ALC を用いて,UCRPQ の包含のための厳密な 2EXP バウンドを示す。
入力オートマトンの背後にある決定論的有限オートマトンによって誘導される解釈の階層化を導入する新しいオートマトンベースの技術がある。
論文 参考訳（メタデータ） (2022-04-29T17:38:13Z) - The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is
2ExpTime-hard [11.193504036335503]
論理に基づく知識表現では、クエリ応答は基本的に単に満足度チェックに置き換えられている。
基本記述論理 ALC の知識ベースでは、連結クエリ(CQ)応答の計算複雑性はExpTime-complete であることが知られている。
自己演算子のみによるALCの拡張さえも,CQ含意の複雑さを2ExpTimeに高めることを示す。
論文 参考訳（メタデータ） (2021-06-29T08:12:03Z) - From Conjunctive Queries to Instance Queries in Ontology-Mediated
Querying [17.79631575141597]
本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。
この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
論文 参考訳（メタデータ） (2020-10-22T16:40:59Z) - Query Resolution for Conversational Search with Limited Supervision [63.131221660019776]
本稿では,双方向トランスフォーマに基づくニューラルクエリ解決モデルQuReTeCを提案する。
我々はQuReTeCが最先端モデルより優れており、また、QuReTeCのトレーニングに必要な人為的なデータ量を大幅に削減するために、我々の遠隔監視手法が有効であることを示す。
論文 参考訳（メタデータ） (2020-05-24T11:37:22Z) - CQE in Description Logics Through Instance Indistinguishability
(extended version) [0.0]
Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究
DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。
我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
論文 参考訳（メタデータ） (2020-04-24T17:28:24Z) - VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。
本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。
本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文 参考訳（メタデータ） (2020-02-19T17:57:46Z) - Conditional Self-Attention for Query-based Summarization [49.616774159367516]
条件依存モデリング用に設計されたニューラルネットワークモジュールであるテキスト条件自己アテンション(CSA)を提案する。
DebatepediaとHotpotQAベンチマークデータセットの実験は、CSAがバニラトランスフォーマーを一貫して上回っていることを示している。
論文 参考訳（メタデータ） (2020-02-18T02:22:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。