• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

半構造データにおける型制約の推論に関する研究

研究課題

研究課題/領域番号 11680416
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 情報システム学(含情報図書館学)
研究機関奈良先端科学技術大学院大学

研究代表者

伊藤 実  奈良先端科学技術大学院大学, 情報科学研究科, 教授 (90127184)

研究分担者 作村 勇一  奈良先端科学技術大学院大学, 情報科学研究科, 助手 (50324968)
石井 信  奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (90294280)
中西 隆一  奈良先端科学技術大学院大学, 情報科学研究科, 助手 (60263232)
石原 靖哲  大阪大学, 大学院・基礎工学研究科, 講師 (00263434)
研究期間 (年度) 1999 – 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
2,900千円 (直接経費: 2,900千円)
2000年度: 1,000千円 (直接経費: 1,000千円)
1999年度: 1,900千円 (直接経費: 1,900千円)
キーワード半構造データ / オブジェクト指向データベース / 型制約 / 推論問題 / 経路式
研究概要

1.従来のデータベースでは、あらかじめ設計されたデータベーススキーマのもとで決められたフォーマットのデータが格納されることを前提としてきた。最近研究され始めた半構造データは(共通した概念のものであっても)個々の構造が微妙に異なるデータのことで、厳密なデータベーススキーマをあらかじめ設計することは困難である。半構造データであっても満たすべき性質をあらかじめ分析・抽出することは可能であり、本研究では特に属性の型に着目し、半構造データ特有の曖昧さを含む型に関する情報が表現できる制約を導入し、その制約に関する基本的な問題を解くことを目的とし、以下の成果を得た。
2.SC(specialization constraint)と呼ばれる属性の型付けに関する制約の概念を、半構造データが満たすべき制約も表現できるように拡張した。具体的には、これまでSC中に記述できる経路式は曖昧さの無い確定した経路だけであったが、半構造データに適応するため経路の集合が表せるように一般化した。
3.推論問題(あるSCσがSCの集合Σの論理的帰結であるかどうかを判定する問題)を解くための基礎となる健全かつ完全な公理系(推論規則の集合)を求めた。
4.推論問題、及び、その補問題(σがΣの論理的帰結でないかどうかを判定する問題)に対して、それぞれ半判定可能であるための条件を求めた。
5.上記の結果から、経路集合を文脈自由言語で表現すると、推論問題は決定不能であり、一方、経路集合が正規言語で表現されていれば、決定可能であることが結論できる。
6.経路式の航行可能性問題(指定された経路に沿って航行可能な制約を満たすデータベースが存在するかどうかを判定する問題)についても、推論問題と同様の結果を得た。

報告書

(3件)
  • 2000 実績報告書   研究成果報告書概要
  • 1999 実績報告書
  • 研究成果

    (38件)

すべて その他

すべて 文献書誌 (38件)

  • [文献書誌] 新妻弘崇: "アナロクλ-optアルゴリズムを使った2次割当て問題の解法"電子情報通信学会論文誌D-II. J82-D-II,12. 2375-2384 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 財部倫孝: "タブル間の依存関係を表現できる確率的テータベースモデルの提案"情報処理学会データベースシステム研究会報告. 120-9. 61-68 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 清水将吾: "検索および再帰なし無閉路スキーマに対する型検査問題の計算量"電子情報通信学会技術研究報告. COMP99-88. 73-80 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 権娟大: "関連性の高いアイテム集合のマイニングに要する計算量"電子情報通信学会技術研究報告. COMP99-89. 81-88 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 松山哲平: "稀出集合問題の計算複雑さ及び連想規則問題との関連"電子情報通信学会技術研究報告. COMP2000-29. 17-24 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Shougo Shimizu: "A Probabilistic Database Model with Representability of Dependency among Temples"Proc.World Multi conf.Systemics, Cybernetics and Informatics. 8. 221-225 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 横内淳史: "無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量"電子情報通信学会技術研究報告. COMP99-16. 1-8 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 石原靖哲: "2本の時間軸間の時間的推論"電子情報通信学会技術研究報告. COMP99-17. 9-16 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 松山哲平: "頻出集合からの連想規則の生成の計算複雑さ"電子情報通信学会技術研究報告. COMP99-31. 1-6 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 野中康太郎: "頻出集合から連想規則を生成するインクリメンタルアルゴリズム"電子情報通信学会技術研究報告. COMP99-32. 7-14 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Meaningful Association Rules"IEICE Trans.Fundamentals of Electronics, Communications and Computer Sciences. E82-A,9. 1945-1952 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 村田佳洋: "仕事に対するエージェント集合割り当て問題の近似アルゴリズム"電子情報通信学会技術研究報告. COMP99-59. 25-32 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Highly ω-occurrent Itemsets in Market Basket Databases"IEICE Trans.Fundamentals of Electronics, Communications and Computer Sciences. E83-A,12. 2723-2735 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 松山哲平: "データマイニングにおける相関規則を求める問題に関する研究"電子情報通信学会技術研究報告. COMP2000-83. 81-87 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Junji Yokouchi: "Complexity of the Type-Consistency Problem for Acyclic Object Orientad Database Schemas"Tech.Rep.of IEICE. COMP99-16. 1-8 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yosunori Ishihara: "Temporal Reasuring between Two Time Axes"Tech.Rep.of IEICE. COMP99-17. 9-16 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Teppai Matsayuroa: "Computational Complexity of Finding Meaningful Association Rules from Large Hemsets"Tech.Rep.of IEICE. COMP99-31. 1-6 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Kotaro Nonaka: "An Incremental Algorithm to Search for Meaningful Association Rules from Large Hemsets"Tech.Rep.of IEICE. COMP99-32. 7-14 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Meaningful Association Rules"IEICE Trans.Fundamantals of Electronics, Communications and Computer Sciences. E82-A, 9. 1945-1952 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yoshihiro Murata: "An Approximation Algorithm for the Task-Coalition Assignment Problem"Tech.Rep.of IEICE. COMP99-59. 25-32 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Hirotaka Niitsuma: "Analog λ-opt Approach to Quadratic Assignment Problem"Trans.IEICE D-II. J82-D-II, 12. 2375-2384 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Tomotaka Tekarabe: "A Probabilistic Database Model with Representability of Dependency among Tuples"Tech.Rep.Database Systems IPSJ. 120-9. 61-68 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Shorgo Shimizu: "Complexity of The Type-Consistency Problem for Retrieval and Recursion-Free Acyclic Schemas"Tech.Rep.of IEICE. COMP99-88. 73-80 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Correlated Itemsets"Tech.Rep.of IEICE. COMP99-89. 81-88 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Teppei Matsuyama: "Computational Complexity of Finding Rare Itemsets and Meaningful Association Rules"Tech.Rep.of IEICE. COMP2000-29. 17-24 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Shongo Shimizu: "A Probabilistic Database Model with Represenlability of Dependency among Tuples"Proc.World MultiConf.Systenics.Cybernetics and Informatics. 8. 221-225 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Highly Co-occurrant Itemsets in Market Basket Databases"IEICE Trans.Fundamentals of Electronics, Communications and Computer Sciences. E83-A, 1. 2723-2735 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Teppei Matsuyama: "Some Results on Finding Meaningful Association Rules in Data Mining"Tech.Rep.of IEICE. COMP2000-83. 81-87 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Yeon-Dae Kwon: "Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases"IEICE Trans.Fundamentals of Electronics, Communications and Computer Sciences. E83-A,12. 2723-2735 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Shougo Shimizu: "A Probabilistic Database Model with Representability of Dependency among Tuples"Proc.World Multiconf.Systemics, Cybernetics and Information. 8. 221-225 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 松山哲平: "稀出集合問題の計算複雑さ及び連想規則問題との関連"電子情報通信学会技術研究報告. COMP2000-29. 17-24 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Teppei Matsuyama: "Some Results on Finding Meaningful Association Rules in Data Mining"電子情報通信学会技術研究報告. (印刷中). (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 石原靖哲: "2本の時間軸間の時間的推論"電子情報通信学会技術研究報告. COMP99-17. 9-16 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 横内淳史: "無閉路オブジェクト指向データベースにおける型検査問題の計算量"電子情報通信学会技術研究報告. COMP99-16. 1-8 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 松山哲平: "頻出集合からの連想規則の生成の計算複雑さ"電子情報通信学会技術研究報告. COMP99-31. 1-6 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 野中康太郎: "頻出集合から連想規則を生成するインクリメンタルアルゴリズム"電子情報通信学会技術研究報告. COMP99-32. 7-14 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 村田佳洋: "仕事に対するエージェント集合割り当て問題の近似アルゴリズム"電子情報通信学会技術研究報告. COMP99-59. 25-32 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 財部倫孝: "タカル間の依存関係を表現できる確率的データベースモデルの提案"情報処理学会データベースシステム研究会報告. 120-9. 61-68 (2000)

    • 関連する報告書
      1999 実績報告書

URL: 

公開日: 1999-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi