University of Tasmania
whole_DawsonLindaLouise1995_thesis.pdf (7.83 MB)

A methodology for the design and implementation of a functional object database using Haskell

Download (7.83 MB)
posted on 2023-05-26, 22:43 authored by Dawson, Linda Louise
Semantic data modelling has been a traditional abstract way of representing data and relationships between data for database systems. Recently database designers and developers have been looking to object oriented modelling methods which incorporate the modelling of behaviour as well as data and their relationships. Databases can also be considered to be functional structures. All operations on databases are functional in that they return values. Transaction and update operations return a new version of the database; queries return values contained in the database; and reports return values from the database in some strictly formatted form. This thesis firstly develops an extended version of the Entity-Relationship model, called the Entity-Relationship-Object model (ERO model) that incorporates object oriented concepts including behaviour. Secondly, a methodology is defined for mapping this model directly to the functional. . programming language, Haskell, where all Entity and Relationship objects are implemented as abstract data types and all attributes and methods are implemented as functions. The modularity and polymorphism of the proposed models and their implementation allow for easy schema extension and modification. Lazy evaluation in the implementation allows for a simple form of persistent data store.


Publication status

  • Unpublished

Rights statement

Copyright 1993 the Author - The University is continuing to endeavour to trace the copyright owner(s) and in the meantime this item has been reproduced here in good faith. We would be pleased to hear from the copyright owner(s). Thesis (M.Sc.)--University of Tasmania, 1995. Includes bibliographical references (p. 76-78)

Repository Status

  • Open

Usage metrics

    Thesis collection


    No categories selected


    Ref. manager