文献

J-GLOBAL ID：202002274898198817   整理番号：20A1865073

1つのエスケープレッドチェーン?正規経路質問決定は決定不能である【JST・京大機械翻訳】

Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable

著者 (3件)： Gluch Grzegorz (Institute of Computer Science, University of Wroclaw) ,  Marcinkowski Jerzy (Institute of Computer Science, University of Wroclaw) ,  Ostropolski-Nalewaja Piotr (Institute of Computer Science, University of Wroclaw)
資料名： ACM Proceedings  (ACM Proceedings)
号： LICS ’18  ページ： 492-501  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 質問の与えられたセット(いくつかのクエリ言語における表現である)Q={Q1,Q2,.Qk}およびもうひとつのクエリQ0に対して,Q_0は,任意のデータベースDに対して,Q_0を決定し,ビューQ(D)に含まれる情報は,Q_0(D)を計算するのに十分であった。Query Determincy問題は,QがQ_0を決定するかどうかの決定の問題である。データベース理論において,異なるクエリ言語に対するこの問題の多くのバージョンを研究した。本論文では,[CGLV02]で述べられた問題を解決し,Query Determincy問題が,グラフデータベースのパラダイム問い合わせ言語である正規経路クエリーに対して不可解であることを示した。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】

分類 (4件)： 計算理論  (JB02000A) ,  応用プログラミング言語  (JD03052Y) ,  データ保護  (JD01020V) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (2件)： 経路 ,  質問