WEKO3
アイテム
Realizing State-Based Database Concepts in a Non-Strict, Statically Typed, Purely Functional Persistent Programming Language
http://hdl.handle.net/10083/853
http://hdl.handle.net/10083/85336ac25a7-ccd9-4a11-965a-5fb061f00f20
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004470880.pdf (3.2 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2007-04-23 | |||||
| タイトル | ||||||
| タイトル | Realizing State-Based Database Concepts in a Non-Strict, Statically Typed, Purely Functional Persistent Programming Language | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | departmental bulletin paper | |||||
| 著者 |
Ichikawa, Yoshihiko
× Ichikawa, Yoshihiko |
|||||
| 著者(ヨミ) | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 70630 | |||||
| 姓名 | イチカワ, ヨシヒコ | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | This paper proposes a methodology to manipulate the database state in a non-strict, purely functional programming language. The primary target is Haskell, which is the standard for such programming languages and has been known for its use of a state-transformer monad to handle input/output operations and the type class mechanism to incorporate ad hoc polymorphism. The main contribution of this paper is to address and propose solutions to the key issues of making the lanaguage persistent. While the state-transformer monad naturally structures state-based operations, it complicates programming tasks because of the explicit single-threadedness. To lessen this inherent burden of the programming tasks, the proposed method makes use of explicit versioning of the database state, which can be retrieved lazily, even though the primary database state is updated destructively. The ability of multiple state manipulation naturally extends to view maintenance, exception handling, and support for the "what-if" semantics of execution. In addition to this feature, persistent roots are identified by their types instead of by their str\ ing- or variable-names. This allows every expression, even including root manipulation, to be typed statically. The supported programming environment also provides programmers with "hooks" to customize primitive operations, and can be generalized to support transaction-boundary rule firing. |
|||||
| 書誌情報 |
お茶の水女子大學自然科學報告 巻 48, 号 2, p. 81-117, 発行日 1998-03-12 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 00298190 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00033958 | |||||
| フォーマット | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | application/pdf | |||||
| 形態 | ||||||
| 3202807 bytes | ||||||
| 日本十進分類法 | ||||||
| 主題Scheme | NDC | |||||
| 主題 | 400 | |||||
| 出版者 | ||||||
| 出版者 | お茶の水女子大学 | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 紀要論文 | |||||
| 資源タイプ・ローカル | ||||||
| 紀要論文 | ||||||
| 資源タイプ・NII | ||||||
| Departmental Bulletin Paper | ||||||
| 資源タイプ・DCMI | ||||||
| text | ||||||
| 資源タイプ・ローカル表示コード | ||||||
| 03 | ||||||
| 所属 | ||||||
| Department of Information Sciences, Ochanomizu University | ||||||
