- 著者
-
喜多村 晶子
竹島 由里子
市川 哲彦
藤代 一成
佐藤 浩史
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.48, pp.261-262, 1994-03-07
本研究は、純粋な関数型算譜言語(pure FP)とデータベース(DB)の操作体系との統合を目的としている。関数型データベース算譜言語(DBPL)の研究・開発が行われる一方で、pure FPは種々の参照透過な入出力機構を備えてきた。従って、Nikhilに指摘されたような、順次実行制御機構の欠落に起因する更新操作記述の困難さは解消可能である。関数型のDBPLではDBは記号束縛の環境で与えられ、更新は記号束縛の変更/生成、または記億域に束 縛された変数への代入により行われる。一方、pure FPでは実行時にトップレベルの束縛環境変更はできないため、なんらかの形で変数操作に対応する操作体系を持ち込む必要がある。本研究では、関数型算譜言語Haskell上に、モナド(Monad)による順次実行制御と、多重定義関数によるDB操作体系の導入を行った。多重定義はクラス(class)機構によって制御されているが、言語仕様の若干の変更が必要であったため、Glasgow Haskell Compilerに手を加える形で、これを実現した。簡単な操作例を図に示す。これは"university" DB中の学生データを更新する例であり、findStudentは名前で学生データを検索するためのユーザ定義関数である。以下、想定したデータモデルの簡単な説明に続いて、モナドの利用とDB操作体系の実現について順に説明をし、最後にまとめを行う。