| 研究課題/領域番号 |
11680416
|
|---|
| 研究機関 | 奈良先端科学技術大学院大学 |
|---|
研究代表者 |
伊藤 実 奈良先端科学技術大学院大学, 情報科学研究科, 教授 (90127184)
|
|---|
| 研究分担者 |
中西 隆一 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (60263232)
石原 靖哲 大阪大学, 大学院・基礎工学研究科, 講師 (00263434)
|
|---|
| キーワード | 半構造データ / オブジェクト指向データベース / 型制約 / 推論問題 |
|---|
| 研究概要 |
1.従来のデータベースでは、あらかじめ設計されたデータベーススキーマのもとで決められたフォーマットのデータが格納されることを前提としてきた。最近研究され始めた半構造データは(共通した概念のものであっても)個々の構造が微妙に異なるデータのことで、厳密なデータベーススキーマをあらかじめ設計することは困難である。半構造データであっても満たすべき性質をあらかじめ分析・抽出することは可能であり、本研究では特に属性の型に着目し、半構造データ特有の曖昧さを含む型に関する情報が表現できる制約を導入し、その制約に関する基本的な問題を解くことを目的とする。
2.SC(Specialization Constraint)と呼ばれる属性の型付けに関する制約の概念を、半構造データが満たすべき制約も表現できるように拡張した。具体的には、これまでSC中に記述できる経路式は曖昧さの無い確定した経路だけであったが、半構造データに適応するため経路の集合が表せるように一般化した。
3.推論問題(あるSCσがSCの集合Σの論理的帰結であるかどうかを判定する問題)を解くための基礎となる健全かつ完全な公理系(推論規則の集合)を求めた。
4.推論問題、及び、その補問題(σがΣの論理的帰結ではないかどうかを判定する問題)に対して、それぞれ半判定可能であるための条件を求めた。
5.上記の結果から、経路集合を文脈自由言語で表現すると、推論問題は決定不能であり、一方、経路集合が正規言語で表現されていれば、決定可能であることが結論できる。今後、効率的に判定可能な十分条件を求めることが課題である。
|
