| 研究概要 |
1. 複合オブジェクトでは,クラス間のISA階層が定義でき,また,オブジェクトの属性値として単純値だけでなくオブジェクト自身も取り得るので,関係モデルに比べてより柔軟にデータベーススキーマが構築できる。更に,質問中に複雑な経路式を記述することにより,より高度な質問も表現できる。本研究では,経路式に逆航行を含む質問を効率的に処理する具体的な手法を開発することを目的とし,以下の成果を得た。
2. 与えられた質問から,経路式に逆航行を含まない質問に変換することにより,通常の質問処理を行なえるようにするため,経路式に逆航行を含む質問のクラスと,逆航行を含まない質問のクラスの等価性,及び,その変換アルゴリズムの開発を試み,次の結果を得た。
(1) 汎用性を考慮して,特定の質問言語によらない代数に基づく質問言語を設定し,経路式に逆航行を含む任意の代数式に対して,経路式に逆航行を含まない等価な代数式が存在することを示した。
(2) 次に,経路式に逆航行を含む任意の代数式から,経路式に逆航行を含まない等価な代数式を求めるための多項式時間で実行可能な変換アルゴリズムを開発した。
3. 一つのクラスと逆航行を含む経路式が任意に与えられたとき,そのクラスのオブジェクトからその経路式に沿って他のオブジェクトに到達できるようなデータベースが存在するかどうかを判定する航行可能性問題に関して,それを解く多項式時間手続きを開発した。
4. 経路式に閉包が含まれる場合について,一つのクラスと経路式が任意に与えられたとき,そのクラスのオブジェクトからその経路式に沿って他のオブジェクトに到達できるようなデータベースが存在するかどうかを判定する航行可能性問題に関して,それを解く多項式時間手続きを開発した。
|
