抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
制約の存在におけるオントロジー媒介質問と質問は,タプル生成依存性(TGD)が中心的役割を果たす2つの重要なデータベース問題である。オントロジー仲介問い合わせにおいて,TGDはオントロジーを形式化することができ,従って与えられたデータから付加的事実を導き,一方,制約の存在における質問において,それらは許容可能なデータベースのセットを制限した。本研究では,上記の2つの問題,保護およびフロンティア保護TGD,および実際のクエリとしてのUCQに関する焦点における効率的な質問評価の限界を研究した。保護されたTGDに基づくオントロジー媒介クエリ(OMQs)のクラスがFPT iffで評価でき,そのクラスにおけるOMQsは,実際のクエリが,いくつかの妥当な仮定まで,有界ツリー幅を持つOMQと等価であることを示した。制約の存在における問い合わせのために,著者らは,実際の問い合わせを持つ制約の集合を束する制約-質問仕様(CQS)のクラスを考察した。OMQsの1つと平行する保護されたTGDに基づくCQSsに対する二分切断結果を示し,さらに,FPTはPTime結合複雑性と一致する。この証明は,OMQとCQS評価の間の新しい接続に基づいている。また,直接証明を用いて,TGDヘッドにおける有界数の原子を持つフロンティアガードTGDに基づくCQSに対して,いくつかの妥当な仮定まで,類似の二分分割結果も示した。CQSsに関する我々の結果は,CQsの扱いやすいクラス(制約なし)のGroheのよく知られた特性化の拡張として見ることができる。Groheの特性評価のように,上記のすべての結果は,関係記号の希少性が定数によって有界であると仮定する。また,関連するメタ問題,即ち,与えられたOMQまたはCQSが実際のクエリーが有界ツリー幅を持つものに等しいかどうかを研究した。【JST・京大機械翻訳】
