- 著者
-
市川 哲彦
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. DE, データ工学
- 巻号頁・発行日
- vol.96, no.175, pp.45-50, 1996-07-24
- 参考文献数
- 6
非正格な関数型プログラミング言語Haskellを対象としたデータベース操作インターフェースの永続性モデルについて報告する。先行研究[3]では、状態遷移による参照透過なデータベース操作、クラス機構による永続性と例外処理の指定、内部版管理によるon-the-flyデータベースアクセス、といった特徴を有しているが、永続性モデルとしては型外延モデルを用いていたため、モデリング能力やプログラミングの面での柔軟性に欠けていた。そこで、本研究では、より柔軟な永続性モデルである到達可能性モデルの先に提案した手法への適用を試みた。提案手法では、永続変数は用いず、型によって永続ルートの識別をしており、これにより静的な型づけと参照透過性の維持を可能にしている。また、型クラスの機能を用いることにより、型外延モデルと同様の永続性管理が行なえると同時に、ビューに相当する永続ルートの利用も可能である。