書換えに基づく最適化のためのXQueryの相対コストモデル(データベース,<特集>フォーマルアプローチ論文)
スポンサーリンク
概要
- 論文の詳細を見る
XQueryはXMLに対する関数型の問合せ言語である.本論文では,ソースレベル変換の過程での性能利得を見積もることができるXQuery向けコストモデルを提案する.本研究の目的は,様々な書換え手法を実エンジンを導入することなしに評価することを容易にすることである.本コストモデルは言語のもつ関数型の構造に従った単純な再帰関数で構成される.それらは形式的意味論やよく知られた効率的なアルゴリズムを参考に決定している,変換の前後の式のコストの解析的な比較がエンジンによらず可能となっている.モデルの相対性により,解釈不要の成分を許容することができ,また,その部分はコスト比較の形式的な証明の妨げにもならない.更に,必要であれば被演算数の評価順等のエンジン固有の評価戦略を反映させるように改変することも可能となっている.
- 2008-04-01
著者
-
日高 宗一郎
国立情報学研究所
-
吉川 正俊
京都大学大学院情報学研究科
-
加藤 弘之
国立情報学研究所
-
吉川 正俊
京都大学
-
吉川 正俊
京都大学情報学研究科社会情報学専攻
-
Yoshikawa Masatoshi
Information Technology Center Nagoya University
-
日高 宗一郎
国立情報学研究所:総合研究大学院大学複合科学研究科情報学専攻
関連論文
- Folksonomyのタグを用いた自動分類体系構築へ向けて(夏のデータベースワークショップ2007(データ工学,一般))
- Folksonomyのタグを用いた自動分類体系構築へ向けて(クラスタリング・カテゴライズ,夏のデータベースワークショップ2007(データ工学,一般))
- データベースアウトソーシングにおける社会的情報漏洩防止(ポスターセッション,iDBフォーラム2008(招待講演・ポスター英語ディスカッション))
- データベースアウトソーシングにおける問合せ解析からの社会的情報漏洩防止(セッション3a:Data Mining and Enterprise DB)
- 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/アニメ画像電子透かし方式
- オンラインジャーナル編集・出版システムの開発
- 語の出現位置の視覚的記憶に基づく既読文書の問合せに於ける索引構造の考察
- オンラインジャーナル出版システム
- Wikipediaとドメインオントロジーの統合利用による地球科学データ推薦手法(Webインタフェース/Wikipedia,e-Science及びData Intensive Science)
- 地球観測データ統合解析のためのデータ系譜とアノテーションのモデル化(セッション1b:Multimedia and Semantic DB)
- XML情報検索システムの検索結果に対する入れ子を考慮した順序付け(夏のデータベースワークショップ2007(データ工学,一般))
- ロールベースアクセス制御におけるロール分散実装方式とそのICカード運用管理への適用(夏のデータベースワークショップ2007(データ工学,一般))
- XML情報検索システムの検索結果に対する入れ子を考慮した順序付け(情報検索,夏のデータベースワークショップ2007(データ工学,一般))
- ロールベースアクセス制御におけるロール分散実装方式とそのICカード運用管理への適用(データベース技術,夏のデータベースワークショップ2007(データ工学,一般))
- 関係データベースを用いたXML情報検索システムの開発
- XMLデータの管理とストリーム処理に関する技術(データ工学論文)
- 内容と構造を指定したXML文書検索(XML,夏のデータベースワークショップDBWS 2006)
- アクセス履歴を考慮したファイル間の関連度を用いたデスクトップ検索(履歴応用,夏のデータベースワークショップDBWS 2006)
- 内容と構造を指定したXML文書検索(XML)
- アクセス履歴を考慮したファイル間の関連度を用いたデスクトップ検索(履歴応用)
- 教員プロフィールシステムについて
- WWW上の学術情報文書からのメタデータ抽出(デジタルアーカイブの応用,テーマ : 「デジタルアーカイブの活用(応用)」および一般)
- 画像検索のための3Dインターフェースの有効性の検証
- 無線LANにおけるシャドーイングを考慮した分散型アクセス制御方式
- デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構(MBL5:アプリケーションプラットフォーム)
- ネットワークの動的変化に対応する遠隔デバイス管理機構(セキュリティ・管理)
- D-3-4 遠隔デバイス管理機構の設計(D-3. ソフトウェアサイエンス, 情報・システム1)
- ネットワーク上に動的に分散する多数のデバイスを制御する基盤ソフトウェアの検討(OS-3:ネットワーク)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- マルチサーバ型制御用OSの構成とタスク間通信性能(次世代ネットワークソフトウェア論文特集)
- 高信頼制御システムのための拡張型分散OS (情報プラットフォーム)
- 実時間制御システム用のマルチサーバ型分散OSの検討
- PDF電子カタログを用いた回路設計支援システムの研究
- 異種分散環境におけるロールベースアクセス制御の定量的リスク評価
- XML文書検索システムにおける文書内容の統計量を利用した検索対象部分文書の決定(コンテンツ技術, Web情報システム)
- 多様な地球科学データに対する俯瞰・検索システムの開発 (データ工学)
- Wikipediaにおけるキーパーソン抽出による信頼度算出精度および速度の改善
- 整合性の分析のためのWikipediaからの事象データベースの構築
- 時間グラフパターンを用いたWeb解析
- 被写体の位置情報を用いたコンテンツ分類(画像符号化・通信・ストリーム技術,及び一般)
- 被写体の位置情報を用いたコンテンツ分類(画像符号化・通信・ストリーム技術,及び一般)
- SVO構造を用いた因果関係ネットワーク構築手法について
- XMLデータに対するキーワード検索結果の理解支援
- 3ZP-2 因果関係ネットワークの増分的な構築について(情報爆発時代におけるデータマイニング・アルゴリズム,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- 1K-5 地球観測データに対するメタデータ登録システムの構築 : データセットドキュメントメタファを利用したメタデータ登録(情報爆発時代における大規模画像処理システム,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- FLWOR Arranging : 入れ子FLWORブロックを伴うXQueryの書き換えによる最適化手法(セッション1 : データベース)
- オンラインジャーナル出版システム
- XMLデータベースの問合せ最適化に関する検討
- 大量頻度分布データのための高速探索アルゴリズム
- RJ-010 タグクラウドにおける感情の合図(J分野:ヒューマンコミュニケーション&インタラクション,査読付き論文)
- DIASにおける多分野研究者連携による地球科学データ公開に向けた協働 (データ工学)
- WWW上の学術情報文書からのメタデータ抽出(デジタルアーカイブの応用,テーマ : 「デジタルアーカイブの活用(応用)」および一般)
- デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構(MBL5:アプリケーションプラットフォーム)
- ネットワークの動的変化に対応する遠隔デバイス管理機構(セキュリティ・管理)
- 実時間制御システム用のマルチサーバ型分散OSの検討
- 3Z-5 並列離散事象シミュレーションにおける論理プロセスの移送による通信最適化
- D-014 Steiner Treeを利用したWikipediaにおける関係の抽出(データベース,一般論文)
- 放送暗号とクラスタリングを用いたデータ共有型Web アプリケーションにおけるプライバシ保護
- XML情報検索における利得と閲覧コストに基づく検索結果の取得と評価
- A-7-3 タイムスタンプによる長期化署名について(A-7.情報セキュリティ,一般講演)
- タイムワープ方式向けFIFOキュークラスライブラリの実装と評価
- 編集にあたって
- 異種分散環境におけるロールベースアクセス制御のモデル駆動設計手法
- DIASにおける多分野研究者連携による地球科学データ公開に向けた協働(e-ScienceとData Intensive Science,e-ScienceとData Intensive Science及び一般)
- 多様な地球科学データに対する俯瞰・検索システムの開発(e-ScienceとData Intensive Science,e-ScienceとData Intensive Science及び一般)
- インスタント質問文検索システムの提案(テーマセッション,大規模マルチメディアデータを対象とした次世代検索およびマイニング)
- インスタント質問文検索システムの提案(テーマセッション,大規模マルチメディアデータを対象とした次世代検索およびマイニング)
- 隠れマルコフモデルに基づくストリーム処理 (データベース Vol.4 No.4)
- 整合性を考慮した注釈伝播
- 大規模Webクリックデータのためのイベント予測
- 12-2 コンテンツ制作のための高度映像検索の検討(第12部門 映像検索)
- 異種分散環境におけるロールベースアクセス制御のモデル駆動設計手法
- 異種分散環境におけるロールベースアクセス制御の定量的リスク評価