XQueryのソースレベル最適化のための等価変換に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
XQueryはXMLを対象とした関数型問合せ言語であり, 式の組合せで問合せが表現されている.本発表では, この言語の関数型としての側面を利用し, 共通部分式の削除, 式の畳み込み等を通した不要な演算の削除の試みについて扱う.処理の形態としては, XQueryのソースからソースへの等価変換を想定している.XQueryの根幹をなすFLWOR式はmapととらえることができる.本発表では, 仕様に併記されている形式的意味論を援用しながら, XQueryのデータの基本構造であるシーケンス(以下, 列)と, その上でのmapの意味の付与も行う.mapの前後にフィルタリングが存在する場合(FLWOR式ではWhere節の述語が該当する), 意味を変えずにmapをまたいで移動させることによりコストを低減することができる場合がある.本発表では列上でのmapやリダクション演算の基本となる演算子を定義し, その演算子を使って列上のmapを定義する.FLWOR式はこのmapとフィルタを用いて定義することができる.また, その他の全称, 存在限量式等をこの演算子を使って表現する.主な言語構造はラムダ式に変換され, 変換の前後の等価性の議論に用いられる.本発表の定式化は集合意味論に基づく先行研究にならい, 列が満たす代数的性質の差異に着目して変換規則を再構築している.
- 社団法人情報処理学会の論文
- 2005-04-15
著者
-
吉川 正俊
名古屋大学情報連携基盤センター
-
日高 宗一郎
国立情報学研究所
-
加藤 弘之
国立情報学研究所
-
吉川 正俊
京都大学情報学研究科社会情報学専攻
-
Yoshikawa Masatoshi
Information Technology Center Nagoya University
-
日高 宗一郎
国立情報学研究所:総合研究大学院大学複合科学研究科情報学専攻
関連論文
- Folksonomyのタグを用いた自動分類体系構築へ向けて(夏のデータベースワークショップ2007(データ工学,一般))
- Folksonomyのタグを用いた自動分類体系構築へ向けて(クラスタリング・カテゴライズ,夏のデータベースワークショップ2007(データ工学,一般))
- データベースアウトソーシングにおける社会的情報漏洩防止(ポスターセッション,iDBフォーラム2008(招待講演・ポスター英語ディスカッション))
- データベースアウトソーシングにおける問合せ解析からの社会的情報漏洩防止(セッション3a:Data Mining and Enterprise DB)
- D-045 言語横断情報検索におけるWebディレクトリを利用した訳語の曖昧性解消(D.データベース)
- Webディレクトリを言語資源として利用した言語横断情報検索
- D-35 ディレクトリ型検索エンジンを利用した言語横断情報検索(情報検索,D.データベース)
- B-007 マルチサーバ型OSのドライバ即時復旧による可用性の向上(B分野:ソフトウェア)
- マルチサーバ型OSにおけるドライバ即時復旧手法の提案(OS-3 : OS実装)
- マルチサーバ型OSにおける可用性の向上(セッション1 : NoCテストとマルチサーバ型OS,VLSI設計とテスト及び一般)
- 計算機移動やデバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構(シームレス通信サービスのためのネットワーキング技術論文)
- 書換えに基づく最適化のためのXQueryの相対コストモデル(データベース,フォーマルアプローチ論文)
- 拡張Dewey Orderを用いたdistinct-doc-orderのエミュレーションに基づくXQueryの書き換え規則
- 子軸経路式の畳み込みによるXQueryの書き換え
- 画像検索のための3Dインターフェースの検討と課題(画像検索,アーカイブ)
- A-20-7 画像中の被写体に対する感性を用いた特徴解釈の検討(A-20.スマートインフォメディアシステム,基礎・境界)
- 画像検索のための3Dインターフェースとシステム適応検討(画像検索, ユーザインターフェース)
- 画像検索をサポートするカメラアングルを用いたコンテンツ分類(画像検索, ユーザインターフェース)
- 画像検索のための3Dインターフェースとシステム適応検討
- 画像検索をサポートするカメラアングルを用いたコンテンツ分類
- 被写体の位置情報を用いたコンテンツ分類(画像符号化・通信・ストリーム技術,及び一般)
- 被写体の位置情報を用いたコンテンツ分類
- J-070 映像検索のためのクエリー生成とインターフェース構築(J.グラフィクス・画像)
- J-069 高度画像検索のための直感的インターフェース(J.グラフィクス・画像)
- 高度映像検索のためのメタデータ記述とシステム開発
- 画像検索のための3Dインターフェース
- XQueryのソースレベル最適化のための等価変換に関する考察
- XQuery のソースレベル最適化のための等価変換に関する考察
- XQueryに対する定数畳み込みの適用(インターネット環境のコンテンツ技術及び一般)
- FLWOR Arranging : 入れ子FLWORブロックを伴うXQueryの書き換えによる最適化手法(セッション1 : データベース)
- XQueryでのcontains()の早期評価によるXML集約ビューへの問合せ最適化手法(電子文書処理)
- D-11-16 画像オブジェクト型電子透かし方式の評価
- アニメ画像を対象とした電子透かし技術の一検討
- D-12-13 切り取り耐性を考慮した電子透かし方式の実現
- XMLデータベースの問合せ最適化に関する検討
- A-7-12 切り取り耐性を考慮したCG/アニメ画像電子透かし方式
- オンラインジャーナル編集・出版システムの開発
- 語の出現位置の視覚的記憶に基づく既読文書の問合せに於ける索引構造の考察
- オンラインジャーナル出版システム
- ユーザからの負担なく構築したプロファイルに基づく適応的Web情報検索(コンテンツ技術,Web情報システム)
- WWW上の学術情報文書からのメタデータ抽出(デジタルアーカイブの応用,テーマ : 「デジタルアーカイブの活用(応用)」および一般)
- XML木のための動的範囲ラベル付け手法
- XMLのための動的範囲ラベル付け手法 : その評価およびXRelへの適用について
- 更新に強いXML節点数え上げ手法とその管理
- 画像検索のための3Dインターフェースの有効性の検証
- 無線LANにおけるシャドーイングを考慮した分散型アクセス制御方式
- デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構(MBL5:アプリケーションプラットフォーム)
- ネットワークの動的変化に対応する遠隔デバイス管理機構(セキュリティ・管理)
- D-3-4 遠隔デバイス管理機構の設計(D-3. ソフトウェアサイエンス, 情報・システム1)
- ネットワーク上に動的に分散する多数のデバイスを制御する基盤ソフトウェアの検討(OS-3:ネットワーク)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- マルチサーバ型制御用OSの構成とタスク間通信性能(次世代ネットワークソフトウェア論文特集)
- 高信頼制御システムのための拡張型分散OS (情報プラットフォーム)
- 実時間制御システム用のマルチサーバ型分散OSの検討
- PDF電子カタログを用いた回路設計支援システムの研究
- 検索結果を統合するための関数選択手法(セッション8A : マルチメディア)(夏のデータベースワークショップ : DBWS2004)
- XML文書検索システムにおける文書内容の統計量を利用した検索対象部分文書の決定(コンテンツ技術, Web情報システム)
- キーワードに基づいた部分文書検索における解答部分文書が持つ性質の分析(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- キーワードに基づいた部分文書検索における解答部分文書が持つ性質の分析(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- キーワードを利用したXML文書検索
- 検索結果を統合するための情報量の概念を考慮したスコア正規化手法
- 更新に強いXML節点数え上げ手法とその管理
- 被写体の位置情報を用いたコンテンツ分類(画像符号化・通信・ストリーム技術,及び一般)
- 被写体の位置情報を用いたコンテンツ分類(画像符号化・通信・ストリーム技術,及び一般)
- D-5-6 話し言葉解析に基づく対話データからの情報抽出(D-5. 言語理解とコミュニケーション, 情報・システム1)
- FLWOR Arranging : 入れ子FLWORブロックを伴うXQueryの書き換えによる最適化手法(セッション1 : データベース)
- オンラインジャーナル出版システム
- XMLデータベースの問合せ最適化に関する検討
- ダイナミックタイムワーピングのための類似探索手法
- 経路式に基づくRDFデータの関係データベースへの格納と検索(XMLデータベース, データ工学論文)
- 接尾辞配列に基づいたRDFデータのための索引手法
- WWW上の学術情報文書からのメタデータ抽出(デジタルアーカイブの応用,テーマ : 「デジタルアーカイブの活用(応用)」および一般)
- デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構(MBL5:アプリケーションプラットフォーム)
- ネットワークの動的変化に対応する遠隔デバイス管理機構(セキュリティ・管理)
- 実時間制御システム用のマルチサーバ型分散OSの検討
- 3Z-5 並列離散事象シミュレーションにおける論理プロセスの移送による通信最適化
- A-7-3 タイムスタンプによる長期化署名について(A-7.情報セキュリティ,一般講演)
- タイムワープ方式向けFIFOキュークラスライブラリの実装と評価
- 編集にあたって
- 特集「情報融合」に向けて
- 編集にあたって
- 編集にあたって
- 編集にあたって
- 編集にあたって
- 特集「情報融合」に向けて
- 編集にあたって
- センターのIT相談と Q&A SYSTEMについて
- アンカーテキストを用いたWebディレクトリの構築(情報抽出・可視化)
- アンカーテキストを用いたWebディレクトリの構築(情報抽出・可視化)
- XMLデータベース技術概説(XMLデータベース)
- 携帯端末のためのキャッシュ方式(セッション5A : キャッシ・データ配信)
- 携帯端末におけるキャッシュ方式(キャッシュ・データ配信)(「夏のデータベースワークショップ(DBWS2003)」一般)
- 特集にあたって(XMLデータベース)
- D-037 経路式に基づくRDFデータのための索引手法とその構築法(D.データベース)
- 編集にあたって(「情報処理学会論文誌 : データベース(電子情報通信学会データ工学研究専門委員会共同編集)」)
- 電子情報通信学会データ工学研究専門委員会による「情報処理学会論文誌 : データベース」への共同編集参加開始について(「情報処理学会論文誌 : データベース(電子情報通信学会データ工学研究専門委員会共同編集)」)
- 編集にあたって
- 電子情報通信学会データ工学研究専門委員会による「情報処理学会論文誌:データベース」への共同編集参加開始について
- 情報検索支援のためのブックマーク解析手法(セッション9A : Web(1))
- 情報検索支援のためのブックマーク解析手法(Web(1))(「夏のデータベースワークショップ(DBWS2003)」一般)
- 12-2 コンテンツ制作のための高度映像検索の検討(第12部門 映像検索)