抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
オープンワールドクエリ回答は,一連の事実,制約の連結,およびクエリーが質問を暗示するかどうかの決定の問題である。これは,事実を含み,制約を満たすすべての事例を推論する。有限オープンワールドクエリ回答(FQA)を研究し,それは,基礎となる世界が有限であり,従って事例の有限完了のみを考慮すると仮定した。FQAの主要な既知決定可能ケースは,一次論理のガードされた断片,それは参照制約を表現できるが(もう1つの場所におけるデータに対するデータ),しかし,機能的依存性のような数制約を表現できない;そして,数制限を有する保護された断片は,しかし,2つだけの希少性の特徴であった。本論文では,任意の署名に対する参照制約と数制約の両方を結合するFQAに対する最初の可解性結果を示し,著者らは,非ary介在物依存性と機能的依存性に対して,FQAの有限性仮定が,依存性の有限含意閉包を取るために持ち上げられることを示した。この結果は,最大クエリサイズに関する任意の限界に対するそのような制約の有限普遍モデルを構築するための新しい技法に依存する。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】