文献

J-GLOBAL ID：202002259561707796   整理番号：20A0777614

ユニオンと否定による連結質問のための並列-正確性と包含【JST・京大機械翻訳】

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

著者 (4件)： Geck Gaetano (TU Dortmund University, Dortmund, Germany) ,  Ketsman Bas (Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland) ,  Neven Frank (Hasselt University 8 transnational University of Limburg) ,  Schwentick Thomas (TU Dortmund University, Dortmund, Germany)
資料名： ACM Transactions on Computational Logic  (ACM Transactions on Computational Logic)
巻： 20  号： 3  ページ： 1-24  発行年： 2019年 
JST資料番号： A1264A  ISSN： 1529-3785  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 単一ラウンド多方向結合アルゴリズムは,多くのサーバ上でデータを最初に再構成し,次に,並列および通信フリーの方法でハンドで質問を評価する。鍵となる質問は,与えられた質問を計算するために,再構成に対する与えられた分布ポリシーが適切であるかどうかにかかわらず,並列正当性と呼ばれる。本論文では,並列性の複雑さとその構成要素,並列健全性および並列完全性の複雑さの研究を拡張し,否定による結合質問の非イオン化を行った。副産物として,否定による結合質問のための格納容器問題が,coNEXPTIME完全であることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 健全性 ,  アルゴリズム ,  通信 ,  再構成 ,  *イオン化 ,  完全性
準シソーラス用語： 複雑性 ,  正確性 ,  ユニオン , 【Automatic Indexing@JST】

著者キーワード (3件)： 連結質問 ,  格納容器 ,  並列正当性

分類 (4件)： 計算機システム開発  (JD02010R) ,  ディジタル計算機方式一般  (JC02010O) ,  専用演算制御装置  (JC04030Y) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (3件)： ユニオン ,  否定 ,  質問