Scoped referential transparency in a functional database language with updates

  • P. F. Meredith
  • P. J. H. King
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1405)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • P. F. Meredith
    • 1
  • P. J. H. King
    • 1
  1. 1.Dept. of Computer ScienceBirkbeck CollegeLondon

Personalised recommendations