Database implementation on an object-oriented processor architecture

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<br/><br/>• An external level provided by DEAL, a database query language with functions.<br/>• A conceptual level consisting of an implementation of the relational algebra.<br/>• an internal level provided by the REKURSIV system.<br/><br/>The mapping of the external to the conceptual levels is achieved through a recursive descent interpreter which was machine generated from a syntax specification.<br/><br/>The software providing the conceptual level was systematically derived from a formal algebraic specification of the relational algebra.<br/><br/>The internal level was experimentally investigated to quantify the nature of the contribution made to computational power by the REKURSIV’s <i>architectural </i>innovations.<br/>The contributions made by this work are:<br/><br/>• the methodology exposed for program derivation (in class based languages) from algebraic specifications;<br/>• the treatment of the notion of domain within formal specification;<br/>• the development of a top-down parser generator;<br/>• the establishment of a quantitative perfomance profile for the REKURSIV.

Name dc:type.qualificationname

PhD

Level dc:type.qualificationlevel

Doctoral Thesis

Grantor dc:publisher.institution

University of Abertay Dundee

Year dc:date.issued

1995

Author dc:creator

• Natanson, Louis

Language dc:language

eng

Identifier

oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7

OAI identifier oai:identifier

oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7