2000 Fiscal Year Annual Research Report
| Project/Area Number |
11680416
|
|---|
| Research Institution | NARA INSTITUTE OF SCIENCE AND TECHNOLOGY |
|---|
Principal Investigator |
伊藤 実 奈良先端科学技術大学院大学, 情報科学研究科, 教授 (90127184)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
作村 勇一 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (50324968)
石井 信 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (90294280)
|
|---|
| Keywords | 半構造データ / 経路式 / 型制約 |
|---|
| Research Abstract |
1.従来のデータベースでは、あらかじめ設計されたデータベーススキーマのもとで決められたフォーマットのデータが格納されることを前提としてきた。最近研究され始めた半構造データは(共通した概念のものであっても)個々の構造が微妙に異なるデータのことで、厳密なデータベーススキーマをあらかじめ設計することは困難である。WWWの進展や文書データの電子化等で半構造データは急激に増加しており、そのような半構造データが処理できるデータベースシステムの設計は重要な課題になっている。
2.半構造データであっても満たすべき性質をあらかじめ分析・抽出することは可能であり、本研究では特に属性の型に着目し、半構造データ特有の曖昧さを含む型に関する情報が表現できる制約を導入し、その制約に関する基本的な問題を解くことを目的とし、本年度は以下の成果を得た。
3.経路式の航行可能性問題(指定された経路に沿って航行可能な制約を満たすデータベースが存在するかどうかを判定する問題)について、それを解くために有効な完全な公理系を求めた。
4.一般に、経路式の集合をCFLに限定しても上記の問題は決定不能であるが、正規集合に限定すれば決定可能であることを示した。
5.上記の問題が決定可能な場合でも、その時間計算量は指数時間以上になり、多項式時間で解ける実用的な部分クラスを求めることが今後の課題として残った。
|
-
[Publications] 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)
-
[Publications] Shougo Shimizu: "A Probabilistic Database Model with Representability of Dependency among Tuples"Proc.World Multiconf.Systemics, Cybernetics and Information. 8. 221-225 (2000)
-
[Publications] 松山哲平: "稀出集合問題の計算複雑さ及び連想規則問題との関連"電子情報通信学会技術研究報告. COMP2000-29. 17-24 (2000)
-
[Publications] Teppei Matsuyama: "Some Results on Finding Meaningful Association Rules in Data Mining"電子情報通信学会技術研究報告. (印刷中). (2001)
