オブジェクト指向データベースにおける問い合わせプログラムの型検査法の開発

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09780383
• Research Institution: Nara Institute of Science and Technology
• Principal Investigator: 石原 靖哲 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (00263434)
• Keywords: オブジェクト指向データベース / 型検査 / 計算量

Research Abstract

本研究によって以下の理論的成果を得た.
1.問い合わせプログラム中に更新操作のないデータベーススキーマに対する型検査問題が,クラス階層の高さを高々1に限定しても決定不能であることを,Postの対応問題からの還元により示した.具体的には,与えられたPostの対応問題の解が存在するときかつそのときのみ実行時型エラーが発生するような,上記の条件を満たすデータベーススキーマを構成できることを示した.
2.問い合わせプログラムが停止性を満たすデータベーススキーマに対する型検査問題が,クラス階層の高さを高々1に限定しても決定不能であることを,Turing機械の受理問題からの還元により示した.具体的には,与えられたTuring機械Mとそれへの入力χに対し,Mがχを受理するときかつそのときのみ実行時型エラーが発生するような,上記の条件を満たすデータベーススキーマを構成できることを示した.
これにより,文献[1]では未解決であったすべてのデータベーススキーマの部分クラスに対する型検査問題の計算量が得られた.そして,既知の結果と比較することにより,型検査問題を難しくする要因として(a)クラス階層があること,および(b)問い合わせプログラム中に再帰があることが挙げられるという結論が得られた.さらに,問い合わせプログラムが停止性を満たす場合は,(c)問い合わせプログラム中に更新操作があることも型検査問題を難しくするという結論が得られた.
[1]Y.Ishihara,H.Seki and M.Ito,"Type-Consistency Problems for Queries in Object-Oriented Databases," Proceedings of the 6th International Conference on Database Theory,Lecture Notes in Computer Science 1186,pp.364-378,Jan.1997.

Research Products

• [Publications] 清水, 石原, 関, 伊藤: "オブジェクト指向データベースにおける型検査問題の計算量" 電子情報通信学会論文誌(D-I). Vol.J81-D-1 No.3 (印刷中). (1998)
• [Publications] Seki, Ishihara, DoDo: "Testing Type Consistency of Method Schemas" IEICE Transactions on Information and Systems. Vol.E81-D No.3 (印刷中). (1998)