| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-03-10 10:25 On the query preservation for nondeterministic tree transducers ○Kazuki Miyahara（NAIST）・Kenji Hashimoto（Nagoya Univ.）・Hiroyuki Seki（NAIST/Nagoya Univ.）  SS2015-79 |
|
| 抄録 | （和） | We consider the problem of deciding whether a query can be rewritten by a nondeterministic view. It is known that rewriting is decidable if views are given by single-valued non-copying devices such as compositions of single-valued extended linear top-down tree transducers with regular look-ahead, and queries are given by deterministic MSO tree transducers. In this paper, we extend the result to the case that views are given by nondeterministic devices that are not always single-valued. We define two variants of rewriting: universal preservation and existential preservation, and discuss the decidability of them. |
| （英） | We consider the problem of deciding whether a query can be rewritten by a nondeterministic view. It is known that rewriting is decidable if views are given by single-valued non-copying devices such as compositions of single-valued extended linear top-down tree transducers with regular look-ahead, and queries are given by deterministic MSO tree transducers. In this paper, we extend the result to the case that views are given by nondeterministic devices that are not always single-valued. We define two variants of rewriting: universal preservation and existential preservation, and discuss the decidability of them. | |
| キーワード | （和） | tree transducers / query rewriting / query preservation / / / / / |
| （英） | tree transducers / query rewriting / query preservation / / / / / | |
| 文献情報 | 信学技報, vol. 115, no. 508, SS2015-79, pp. 19-24, 2016年3月. | |
| 資料番号 | SS2015-79 | |
| 発行日 | 2016-03-03 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2015-79 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2016-03-10 - 2016-03-11 |
| 開催地（和） | 沖縄県立宮古青少年の家 |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2016-03-SS |
| 本文の言語 | 英語 |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | On the query preservation for nondeterministic tree transducers |
| サブタイトル（英） | |
| キーワード(1)（和/英） | tree transducers / tree transducers |
| キーワード(2)（和/英） | query rewriting / query rewriting |
| キーワード(3)（和/英） | query preservation / query preservation |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 宮原 一喜 / Kazuki Miyahara / ミヤハラ カズキ |
| 第1著者 所属（和/英） | 奈良先端科学技術大学院大学 (略称： 奈良先端大) Nara Institute of Science and Technology (略称： NAIST) |
| 第2著者 氏名（和/英/ヨミ） | 橋本 健二 / Kenji Hashimoto / ハシモト ケンジ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 関 浩之 / Hiroyuki Seki / セキ ヒロユキ |
| 第3著者 所属（和/英） | 奈良先端科学技術大学院大学/名古屋大学 (略称： 奈良先端大/名大) Nara Institute of Science and Technology/Nagoya University (略称： NAIST/Nagoya Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-03-10 10:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2015-79 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.508 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2016-03-03 (SS) |
[研究会発表申込システムのトップページに戻る]