文献

J-GLOBAL ID：201902276840767963   整理番号：19A1056516

PUG 理由と理由に対するフレームワークと実用的実装【JST・京大機械翻訳】

PUG: a framework and practical implementation for why and why-not provenance

著者 (3件)： Lee Seokki (Illinois Institute of Technology, Chicago, IL, USA) ,  Ludaescher Bertram (University of Illinois, Urbana-Champaign (UIUC), Champaign, IL, USA) ,  Glavic Boris (Illinois Institute of Technology, Chicago, IL, USA)
資料名： VLDB Journal  (VLDB Journal)
巻： 28  号： 1  ページ： 47-71  発行年： 2019年 
JST資料番号： W5017A  ISSN： 1066-8888  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 質問によって答えられる(またはそうでない)理由を説明することは,監査,デバッギングデータおよび質問を含む多くのアプリケーションにとって重要であり,データに関する仮説的疑問を答える。本研究では,否定(一次質問)による質問に対するそのような質問を答えるための最初の実用的アプローチを提示した。具体的には,著者らは,本質的に構文的であるが,逆推論をサポートし,文献から広範囲の起源モデルを符号化することが証明されているグラフベースの起源モデルを導入した。著者らのPUG(Provenance Unification of Graphs)システムにおけるこのモデルの実装は,入力としての起源質問とDatalog質問を取り,説明,すなわち質問に答えるのに関連する起源の一部を計算するデータログプログラムを生成する。さらに,入力質問を書き換えることにより,起源の望ましい因数分解がどのように達成できるかを実証した。この手法を実験的に評価し,その効率を実証した。Copyright 2018 Springer-Verlag GmbH Germany, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 応用プログラム ,  *デバッギング ,  因数分解 ,  グラフ ,  モデル
準シソーラス用語： Datalog ,  構文 , 【Automatic Indexing@JST】

著者キーワード (4件)： Datalog ,  起源 ,  失った答え ,  半環

分類 (3件)： データベースシステム  (JD03030U) ,  その他の情報処理  (JE15050M) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (2件)： フレームワーク ,  実装