複合オブジェクトモデルにおける経路式に逆航行を含む質問の処理方式に関する研究

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09680399
• Research Institution: Nara Institute of Science and Technology
• Principal Investigator: 伊藤 実 奈良先端科学技術大学院大学, 情報科学研究科, 教授 (90127184)
• Co-Investigator(Kenkyū-buntansha): 中西 隆一 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (60263232) ; 石原 靖哲 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (00263434)
• Keywords: オブジェクト指向データベース / 経路式 / 逆航行 / 質問処理

Research Abstract

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

Research Products

• [Publications] Toshiyuki Morita: "An Authorization Model for Object-Oriented Databases and Its Effcient Access Control" IEICE Transations on Information and Systems. E81-D・6. 521-531 (1998)
• [Publications] 鈴木伸崇: "オブジェクト指向データベースにおける逆行を含む属性集合およびその閉包を用いた経路式について" 電子情報通信学会論文誌(D-I). J82-D-I・1. 3-13 (1999)
• [Publications] Toshiyuki Morita: "A Formal Approach to Detecting Security Flans in Object-Oriented Databases" IEIEC Transactions on Information and Systems. E82-D・1. 89-98 (1999)
• [Publications] 権 〓大: "効率良く頻出集合をデータマイニング可能なデータベースクラスについて" 電子情報通信学会技術研究報告. COMP98-9. 1-8 (1998)
• [Publications] 野中 康太郎: "頻出集合のインクリメンタルなデータマイニング" 電子情報通信学会技術研究報告. COMP98-39. 9-16 (1998)
• [Publications] 森多俊之: "オブジェクト指向データベーススキーマにおけるセキュリティフロー検出の形式的手法" 電子情報通信学会技術研究報告. COMP98-46. 65-72 (1998)