オブジェクト指向データベースプログラムの型検査法とアクセス制御への応用
| Project/Area Number |
07780269
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
関 浩之 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (80196948)
|
|---|
| Project Period (FY) |
1995
|
| Project Status |
Completed (Fiscal Year 1995)
|
| Budget Amount *help |
¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 1995: ¥800,000 (Direct Cost: ¥800,000)
|
|---|
| Keywords | オブジェクト指向データベース / 型検査 / アクセス制御 / アクセス権 / 計算複雑さ |
|---|
| Research Abstract |
1.オブジェクト指向データベースのモデルとして、Hullらの更新スキーマを採用した。更新スキーマSとデータベースインスタンスIが与えられたとき、S内の任意のメソッドの実行中に結合すべきメソッドが一意に定まるとき、インスタンスIはSのもとで型整合性をもつという。本研究では、与えられた再帰なし更新スキーマのもとで、(1)型整合性をもたないインスタンスが存在するか否か、および、(2)型整合性をもたない無閉路インスタンスが存在するか否かを判定する問題はいずれも非決定性指数時間完全であることなどを示した。
2.次に、メソッドに基づく簡潔なアクセス権モデルを定義した。アクセス権は、(s、c、m)「アクセス主体sがクラスcのオブジェクトに対してメソッドmを呼び出す権利をもつこと」、または、(c、m、c^′、m^′)「クラスcのオブジェクトに対して呼び出されたメソッドmは、クラスc^′のオブジェクトに対してメソッドm^′を直接呼び出す権利をもつこと」のいずれかである。Sを更新スキーマ、sをアクセス主体、AUTHをアクセス権集合とする。本研究では、(1)Sがオブジェクトの属性値を更新する実行文を含まないとき、および、(2)Sが「分岐無し」と呼ばれる制限を満たし、かつ、インスタンスが無閉路であるとき、sがSのメソッドを実行中にAUTHに対してアクセス権違反を起こすか否かを判定する多項式時間アルゴリズムを提案した。
一般にアクセス権のすべてを陽に記述するのは繁雑である。そこで、陽に与えられたアクセス権集合と線形再帰的な推論規則によってアクセス権集合を簡潔に指定できるようなモデルを提案した。さらに、問い合わせ実行時にデータベースへのアクセス要求が起こったとき、それが許可されるか否かを効率的に判定する方法を提案した。
|
Report
(1 results)
Research Products
(4 results)
