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: 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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item