問合せ最適化を考慮したＸＭＬデータ交換に関する研究

• 研究課題/領域番号: 23500120
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: メディア情報学・データベース
• 研究機関: 大阪大学
• 研究代表者: 石原 靖哲 大阪大学, 情報科学研究科, 准教授 (00263434)
• 研究期間 (年度): 2011 – 2013
• 研究課題ステータス: 完了 (2013年度)
• 配分額: 5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円); 2013年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円); 2012年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円); 2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
• キーワード: XML / データベース / 問合せ解析 / データ統合 / データ交換 / 確定解 / XPath / スキーママッピング

研究概要

あるスキーマに従うXML文書を異なるスキーマに従うXML文書に変換して活用するための基盤技術の開発が目的である．本研究では，変換後の文書への問合せの最適化に応用できるように，変換後の文書候補に共通の性質をXPathという問合せ言語で表現することを目指した．成果として，XPathで記述された式が文書候補の共通構造であるかを効率よく判定できるための条件をいくつか与えた．また，データ交換にまつわる他の理論的問題にも取り組んだ．

研究成果

• [雑誌論文] Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases (2012)
  • 著者名/発表者名: Kenji Hashimoto, Hiroto Kawai, Yasunori Ishihara and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E95.D 号: 5 ページ: 1365-1374
  • DOI: 10.1587/transinf.E95.D.1365
  • NAID: 130002131679
  • ISSN: 0916-8532, 1745-1361
  • 査読あり
• [学会発表] XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs (2013)
  • 著者名/発表者名: Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shogo Shimizu and Toru Fujiwara
  • 学会等名: Proceedings of the 14th International Symposium on Database Programming Languages
  • URL: http://arxiv.org/abs/1308.0769
  • 発表場所: Conference Center of Riva del Garda (Trento, Italy)
  • 年月日: 2013-08-30
• [学会発表] The Consistency and Absolute Consistency Problems of XML Schema Mappings between Restricted DTDs (2013)
  • 著者名/発表者名: Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara and Toru Fujiwara
  • 学会等名: Proceedings of the 15th International Asia-Pacific Web Conference, Lecture Notes in Computer Science 7808
  • 発表場所: Novotel Sydney on Darling Harbour (Sydney, Australia)
  • 年月日: 2013-04-05
• [学会発表] Typing XPath Subexpressions With Respect to an XML Schema (2013)
  • 著者名/発表者名: Yasunori Ishihara, Kenji Hashimoto, Atsushi Ohno, Takuji Morimoto and Toru Fujiwara
  • 学会等名: Proceedings of the 5th International Conference on Advances in Databases, Knowledge, and Data Applications
  • 発表場所: Novotel Marques del Nervion (Seville, Spain)
  • 年月日: 2013-01-30
• [学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers (2013)
  • 著者名/発表者名: Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
  • 学会等名: The 7th International Conference on Language and Automata Theory and Applications
  • 発表場所: Basque Center for Applied Mathematics (Bilbao, Spain)
• [学会発表] The Consistency and Absolute Consistency Problems of XML Schema Mappings between Restricted DTDs (2013)
  • 著者名/発表者名: Hayato Kuwada, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara
  • 学会等名: The 15th International Asia-Pacific Web Conference
  • 発表場所: Novotel Sydney on Darling Harbour (Sydney, Australia)
• [学会発表] Decidability of k-secrecy against Inference Attacks Using Functional Dependencies on XML Databases (2013)
  • 著者名/発表者名: Nobuaki Yamazoe, Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara,
  • 学会等名: The 2013 International Conference on Parallel and Distributed Processing Techniques and Applications
  • 発表場所: The New Tropicana Hotel (Las Vegas, Nevada)
• [学会発表] XPath Satisfiability with Downward and Sibling Axes Is Tractable under Most of Real-world DTDs (2012)
  • 著者名/発表者名: Yasunori Ishihara, Kenji Hashimoto, Shogo Shimizu and Toru Fujiwara
  • 学会等名: Proceedings of the 12th International Workshop on Web Information and Data Management
  • 発表場所: Sheraton Maui Resort & Spa (Maui, Hawaii)
  • 年月日: 2012-11-02
• [学会発表] 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (2012)
  • 著者名/発表者名: 澤田 龍太, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: てんぶす那覇（沖縄県那覇市）
• [学会発表] Combining the Tractability of Duplicate-Free DTDs and Disjunction-Capsuled DTDs for XPath Satisfiability with Sibling Axes (2012)
  • 著者名/発表者名: Yasunori Ishihara, Shogo Shimizu, Kenji Hashimoto and Toru Fujiwara
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: てんぶす那覇（沖縄県那覇市）
• [学会発表] Validity of Positive XPath Queries with Wildcard in the Presence of DTDs (2011)
  • 著者名/発表者名: Kenji Hashimoto, Yohei Kusunoki, Yasunori Ishihara and Toru Fujiwara
  • 学会等名: The 13th International Symposium on Database Programming Languages
  • URL: http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-hashimoto.pdf
  • 発表場所: The Westin (Seattle, Washington)
  • 年月日: 2011-08-29
• [学会発表] Validity of Positive XPath Queries with Wildcard in the Presence of DTDs (2011)
  • 著者名/発表者名: Kenji Hashimoto, Yohei Kusunoki, Yasunori Ishihara and Toru Fujiwara
  • 学会等名: The 13th International Symposium on Database Programming Languages
  • 発表場所: The Westin, Seattle, WA
• [学会発表] 正規木文法間の埋め込み可能性問題の決定可能性について (2011)
  • 著者名/発表者名: 澤田 龍太, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 2011年夏のLAシンポジウム
  • 発表場所: ザヴィラ浜名湖（静岡県湖西市）
• [学会発表] XPath Satisfiability with Parent Axes or Qualifiers Is Tractable under Many of Real-World DTDs
  • 著者名/発表者名: Yasunori Ishihara, Nobutaka Suzuki, Kenji Hashimoto, Shogo Shimizu, Toru Fujiwara
  • 学会等名: The 14th International Symposium on Database Programming Languages
  • 発表場所: Conference Center of Riva del Garda (Trento, Italy)
• [学会発表] Toward Security Verification against Inference Attacks on Data Trees
  • 著者名/発表者名: Ryo Iwase, Yasunori Ishihara, Toru Fujiwara
  • 学会等名: The 2nd International Workshop on Trends in Tree Automata and Tree Transducers
  • 発表場所: Vietnam National University (Hanoi, Vietnam)
• [学会発表] XPath Satisfiability with Downward and Sibling Axes Is Tractable under Most of Real-world DTDs
  • 著者名/発表者名: Yasunori Ishihara, Kenji Hashimoto, Shogo Shimizu, Toru Fujiwara
  • 学会等名: The 12th International Workshop on Web Information and Data Management
  • 発表場所: Sheraton Maui Resort & Spa (Maui, Hawaii)
• [学会発表] Typing XPath Subexpressions With Respect to an XML Schema
  • 著者名/発表者名: Yasunori Ishihara, Kenji Hashimoto, Atsushi Ohno, Takuji Morimoto, Toru Fujiwara
  • 学会等名: The 5th International Conference on Advances in Databases, Knowledge, and Data Applications
  • 発表場所: Novotel Marques del Nervion (Seville, Spain)
• [学会発表] 制限されたDTDにおけるXMLスキーママッピングの整合性および絶対整合性判定問題
  • 著者名/発表者名: 桑田 逸人, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 2012年夏のLAシンポジウム
  • 発表場所: 天橋立 宮津ロイヤルホテル（京都府宮津市）
• [学会発表] XMLデータベースへのデータ値比較を含む問合せを考慮した推論攻撃に対する安全性検証法
  • 著者名/発表者名: 岩瀬 遼, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 2012年夏のLAシンポジウム
  • 発表場所: 天橋立 宮津ロイヤルホテル（京都府宮津市）
• [学会発表] DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題
  • 著者名/発表者名: 楠 洋平, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 電子情報通信学会ソフトウェアサイエンス研究会
  • 発表場所: 沖縄県石垣市民会館（沖縄県石垣市）
• [学会発表] XMLデータベースへの関数従属性を用いた推論攻撃に対するk-安全性の決定可能性
  • 著者名/発表者名: 山添 伸晃, 橋本 健二, 石原 靖哲, 藤原 融
  • 学会等名: 2013年暗号と情報セキュリティシンポジウム
  • 発表場所: ウェスティン都ホテル京都（京都府京都市）
• [備考]
  • URL: http://www-infosec.ist.osaka-u.ac.jp/~ishihara/research/