Presentation	1995/7/19 Database States in Lazy Functional Programming Languages : Intra-Program Versioning for Imperative Update and Lazy Retrieval Yoshihiko Ichikawa,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	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.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)
Paper #
Date of Issue

Conference Information
Committee	DE
Conference Date	1995/7/19(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Data Engineering (DE)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Database States in Lazy Functional Programming Languages : Intra-Program Versioning for Imperative Update and Lazy Retrieval
Sub Title (in English)
Keyword(1)
1st Author's Name	Yoshihiko Ichikawa
1st Author's Affiliation	Faculty of Science, Ochanomizu University()
Date	1995/7/19
Paper #
Volume (vol)	vol.95
Number (no)	148
Page	pp.pp.-
#Pages	8
Date of Issue