著者

市川 哲彦

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告データベースシステム(DBS)

巻号頁・発行日

vol.1994, no.62, pp.201-208, 1994-07-20

被引用文献数

2

---

純枠な関数型プログラミング言語Haskell向けに,monadを用いた実行順序制御と多重定義関数を基本操作とするデータベース操作インターフェースを設計・実装した.データベース操作はすべてmonadによって制御されているので,参照透過である.また,基本操作をPersistent classに関連付けられた多重定義関数として定義することにより,実装の詳細を隠蔽するデータ独立性を実現し,多様関数と静的型付けの利用とを可能にしている.In this report, we describe the implementation of a simple database manipulation scheme for non-strict purely functional programming language Haskell. Evaluation of database actions is controlled in a monadic way. Hence, all database manipulations are referentially transparent. The primitive operations are defined as overloaded functions associated with a newly introduced class Persistent. The class hides all the implementation details to achieve data independence, and utilizes polymorphic functions and static type checking, which are the major features of the language.