BIROn - Birkbeck Institutional Research Online

    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.


    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.


    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 04 May 2021 14:41
    Last Modified: 04 May 2021 14:41


    Activity Overview

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item