| 講演名 | 2016-03-10 制限されたDTDクラスのもとでのXQuery式の型推論 杉村 憲司(阪大), 石原 靖哲(阪大), 加藤 弘之(NII), 藤原 融(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | XQuery 型推論問題は,問合せ最適化などに応用できる重要な問題であるが,DDO と呼ばれる重要な操作 を含む XQuery のクラスにおいては高い精度で推論する手法は知られていない.そこで, 本稿では,スキーマのクラ スを制限することで,問合せ処理において DDO と呼ばれる操作を含む XQuery のクラスに対しても高い精度で効率 的に推論できるアルゴリズムを提案・実装し,その有用性を評価する. |
| 抄録(英) | XQuery type inference is an important problem that is useful for query optimization. Howerver, precise type inference for XQuery expressions with an important operation called DDO has not been clarified. In this re- port, we propose and implement a precise type inference algorithm for XQuery expressions with DDO by restricting schema classes, and discuss their usefulness. |
| キーワード(和) | XML データベース / XQuery / DTD / 型推論 |
| キーワード(英) | XML database / XQuery / DTD / type inference |
| 資料番号 | SS2015-82 |
| 発行日 | 2016-03-03 (SS) |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2016/3/10(から2日開催) |
| 開催地（和） | 沖縄県立宮古青少年の家 |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 結縁 祥治(名大) |
| 委員長氏名（英） | Shoji Yuen(Nagoya Univ.) |
| 副委員長氏名（和） | 緒方 和博(北陸先端大) |
| 副委員長氏名（英） | Kazuhiro Ogata(JAIST) |
| 幹事氏名（和） | 小林 隆志(東工大) / 鷲崎 弘宜(早大) |
| 幹事氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) / Hironobu Washizaki(Waseda Univ.) |
| 幹事補佐氏名（和） | 肥後 芳樹(阪大) |
| 幹事補佐氏名（英） | Yoshiki Higo(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制限されたDTDクラスのもとでのXQuery式の型推論 |
| サブタイトル（和） | |
| タイトル（英） | XQuery Type Inference under Restricted DTDs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | XML データベース / XML database |
| キーワード(2)（和/英） | XQuery / XQuery |
| キーワード(3)（和/英） | DTD / DTD |
| キーワード(4)（和/英） | 型推論 / type inference |
| 第 1 著者 氏名（和/英） | 杉村 憲司 / Kenji Sugimura |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 石原 靖哲 / Yasunori Ishihara |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 3 著者 氏名（和/英） | 加藤 弘之 / Kato Hiroyuki |
| 第 3 著者 所属（和/英） | 国立情報学研究所(略称：NII) National Institute of Informatics(略称：NII) |
| 第 4 著者 氏名（和/英） | 藤原 融 / Fujiwara Toru |
| 第 4 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2016-03-10 |
| 資料番号 | SS2015-82 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | SS-508 |
| ページ範囲 | pp.37-42(SS), |
| ページ数 | 6 |
| 発行日 | 2016-03-03 (SS) |