WEKO3
アイテム
Haskell言語上のClassおよびMonadを用いたデータベース操作インターフェイスの実装
https://ipsj.ixsq.nii.ac.jp/records/125657
https://ipsj.ixsq.nii.ac.jp/records/1256575e8a3414-f3d7-4dcd-8eba-ee475ad2f80a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001332446.pdf (195.8 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1994-03-07 | |||||
| タイトル | ||||||
| タイトル | Haskell言語上のClassおよびMonadを用いたデータベース操作インターフェイスの実装 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Implementing database operations for the Haskell programming language using Monad and class mechanism | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| お茶の水女子大学理学部 | ||||||
| 著者所属 | ||||||
| お茶の水女子大学理学部 | ||||||
| 著者所属 | ||||||
| お茶の水女子大学理学部 | ||||||
| 著者所属 | ||||||
| お茶の水女子大学理学部 | ||||||
| 著者所属 | ||||||
| お茶の水女子大学理学部 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Science, Ochanomizu University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Science, Ochanomizu University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Science, Ochanomizu University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Science, Ochanomizu University | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Faculty of Science, Ochanomizu University | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 本研究は、純粋な関数型算譜言語(pure FP)とデータベース(DB)の操作体系との統合を目的としている。関数型データベース算譜言語(DBPL)の研究・開発が行われる一方で、pure FPは種々の参照透過な入出力機構を備えてきた。従って、Nikhilに指摘されたような、順次実行制御機構の欠落に起因する更新操作記述の困難さは解消可能である。関数型のDBPLではDBは記号束縛の環境で与えられ、更新は記号束縛の変更/生成、または記億域に束 縛された変数への代入により行われる。一方、pure FPでは実行時にトップレベルの束縛環境変更はできないため、なんらかの形で変数操作に対応する操作体系を持ち込む必要がある。本研究では、関数型算譜言語Haskell上に、モナド(Monad)による順次実行制御と、多重定義関数によるDB操作体系の導入を行った。多重定義はクラス(class)機構によって制御されているが、言語仕様の若干の変更が必要であったため、Glasgow Haskell Compilerに手を加える形で、これを実現した。簡単な操作例を図に示す。これは"university" DB中の学生データを更新する例であり、findStudentは名前で学生データを検索するためのユーザ定義関数である。以下、想定したデータモデルの簡単な説明に続いて、モナドの利用とDB操作体系の実現について順に説明をし、最後にまとめを行う。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第48回, 号 ソフトウェア, p. 261-262, 発行日 1994-03-07 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
