WEKO3
アイテム
プログラミング言語Haskell上のデータベース操作インターフェイスの実装
https://ipsj.ixsq.nii.ac.jp/records/20310
https://ipsj.ixsq.nii.ac.jp/records/20310f7eb6904-3703-42a9-a571-72ca505420de
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1994-07-20 | |||||||
タイトル | ||||||||
タイトル | プログラミング言語Haskell上のデータベース操作インターフェイスの実装 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Implementation of a simple database manipulation interface for the Haskell programming language | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
お茶の水女子大学理学部 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Faculty of Science, Ochanomizu University | ||||||||
著者名 |
市川, 哲彦
× 市川, 哲彦
|
|||||||
著者名(英) |
Yoshihiko, Ichikawa
× Yoshihiko, Ichikawa
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 純枠な関数型プログラミング言語Haskell向けに,monadを用いた実行順序制御と多重定義関数を基本操作とするデータベース操作インターフェースを設計・実装した.データベース操作はすべてmonadによって制御されているので,参照透過である.また,基本操作をPersistent classに関連付けられた多重定義関数として定義することにより,実装の詳細を隠蔽するデータ独立性を実現し,多様関数と静的型付けの利用とを可能にしている. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 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. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112482 | |||||||
書誌情報 |
情報処理学会研究報告データベースシステム(DBS) 巻 1994, 号 62(1994-DBS-099), p. 201-208, 発行日 1994-07-20 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |