| Project/Area Number |
19700026
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kochi University of Technology |
|---|
Principal Investigator |
TAKATA Yoshiaki Kochi University of Technology, 工学部, 講師 (60294279)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,430,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2007: ¥2,000,000 (Direct Cost: ¥2,000,000)
|
|---|
| Keywords | XMLデータベース / アクセス制御 / 木オートマトン / 静的解析 |
|---|
| Research Abstract |
XMLデータベースのためのアクセス制御の効率化を目標に,木オートマトン理論に基づく静的解析法の研究を行った.本研究の基本アイデアは,アクセス制御ポリシーおよび問い合わせをそれぞれ木オートマトンでモデル化し,問い合わせがアクセス制御ポリシーに違反するかどうか判定する問題を木オートマトンの言語の包含性判定に帰着して解くことである.AND意味論とOR意味論という二つの意味論を定義し,AND意味論では多項式時間で解析可能であるのに対しOR意味論では決定性指数時間完全であることなどを明らかにした.
|
