Scoped referential transparency in a functional database language with updates

Meredith, P.F. and King, Peter J.H. (1998) Scoped referential transparency in a functional database language with updates. In: Embury, S.M. and Fiddian, N.J. and Gray, W.A. and Jones, A.C. (eds.) Advances in Databases, 16th British National Conference on Databases: BNCOD 16. Lecture Notes in Computer Science 1405. Springer, pp. 134-148. ISBN 9783540646594.

Full text not available from this repository.

Official URL: https://doi.org/10.1007/BFb0053477

Abstract

We describe in brief a lazy functional database language Relief, which supports an entity-function model and provides for update and the input of data by means of functions with side-effects. An eager let construct is used within the lazy graph reduction mechanism to sequence the effects. To redress the loss of referential transparency we have implemented an effects checker which can identify referentially transparent regions or scopes within Relief.

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	04 May 2021 14:41
Last Modified:	09 Aug 2023 12:50
URI:	https://eprints.bbk.ac.uk/id/eprint/44097

Statistics

Archive Staff Only (login required)

Edit/View Item