| 研究概要 |
本年度は,オブジェクト指向データベースにおける参照一貫性制約を形式的に表現する経路存在制約(Path Existence Constraints Definition,PED)の提案を行い,その基本定義と幾つかの性質に関する議論を行った.また,その概念をハイパーメディアデータベースにおけるハイパーリンク管理機構の基盤に取り入れたシステムの設計と開発を行った.
・ オブジェクト指向データベースにおける各種一貫性制約の中でも,データベース中に存在する関連オブジェクトが形成する参照経路の存在制約に焦点をあて,その制約表現モデルの形式化と幾つかの基本的な数学的性質を調べた.
・ 経路存在制約の概念をハイパーメディアデータベースにおけるハイパーリンク参照経路管理のための基盤として応用し,プロトタイプシステムAYATORIの設計開発を行い,その中でハイパーリンク管理機構を設計実装した.また,経路存在制約に基づくハイパーリンク一貫性不整合を検出し,修正する基本アルゴリズムを示した.
|
