非正格関数型言語におけるデータベース更新と遅延検索

• Item type: SIG Technical Reports(1)
• 公開日: 1995-07-18
• タイトル: 非正格関数型言語におけるデータベース更新と遅延検索
• タイトル / 言語: en
• タイトル: Database States in Lazy Functional Programming Languages : Intra - Program Versioning for Imperative Updata and Lazy Retrieval
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: お茶の水女子大学理学部
• 著者所属(英): en
• 著者所属(英): Faculty of Science, Ochanomizu University
• 著者名: 市川, 哲彦
• 著者名(英): Yoshihiko, Ichikawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 非正格な関数型プログラミング言語Haskell向けに，状態モナドによる実行順序制御を用いたデータベース操作インターフェースを実装した．このアプローチの最も単純な実装では，データベース操作が参照透過になる反面，基本処理が状態遷移の過程で行なわれるために，検索の記述が命令的になるという欠点がある．本稿ではトランザクション制御の自然な拡張としての版管理機能を用いることにより，この問題を軽減する試みについて報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We propose a database manipulation interface for the statically typed, purely functional programming language, Haskell. Our data model uses surrogates to permit direct update of stored objects, and the basic interface is designed based on the state transformer approach [8], so that the interface is referentially transparent. The state transformer approach requires all the operations to be executed in a single state transition sequence, and thus tends to make queries more imperative than expected. In our approach, to lessen this burden of query construction, versioning is utilized. Versions can be "frozen" or locked, and a set of locked versions can be supplied as an argument to query operations. This intra-program versioning permits on-the-fly dereference while query construction, and allows for straightforward implementation of lazy retrieval in a state thread.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1995, 号 65(1995-DBS-104), p. 193-200, 発行日 1995-07-18
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会