Use this URL to cite or link to this record in EThOS:
Title: Database implementation on an object-oriented processor architecture
Author: Natanson, Louis David
ISNI:       0000 0001 3439 9265
Awarding Body: University of Abertay Dundee
Current Institution: Abertay University
Date of Award: 1995
Availability of Full Text:
Access from EThOS:
Access from Institution:
The advent of an object-oriented processor, the REKURSIV, allowed the possibility of investigating the application of object-oriented techniques to all the levels of a software system's architecture. This work is concerned with the implementation of a database system on the REKURSIV. A database system was implemented with an architecture structured as • An external level provided by DEAL, a database query language with functions. • A conceptual level consisting of an implementation of the relational algebra. • an internal level provided by the REKURSIV system. The mapping of the external to the conceptual levels is achieved through a recursive descent interpreter which was machine generated from a syntax specification. The software providing the conceptual level was systematically derived from a formal algebraic specification of the relational algebra. The internal level was experimentally investigated to quantify the nature of the contribution made to computational power by the REKURSIV's architectural innovations. The contributions made by this work are: • the methodology exposed for program derivation (in class based languages) from algebraic specifications; • the treatment of the notion of domain within formal specification; • the development of a top-down parser generator; • the establishment of a quantitative perfomance profile for the REKURSIV.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Computer software & programming