{"id":{"repo_id":"abertay","oai_identifier":"oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"},"canonical_url":"https://search.dev.ndltd.org/etd/abertay/oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7","repository":{"repo_id":"abertay","name":"Abertay University","base_url":"https://rke.abertay.ac.uk/ws/oai"},"display":{"title":"Database implementation on an object-oriented processor architecture","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Natanson, Louis"],"institution":"University of Abertay Dundee","degree_name":"PhD","degree_level":"Doctoral Thesis","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1995,"date_issued":"1995-7-4","date_published":"1995-7-4","updated_at":"2026-07-24T00:50:16Z","subjects":[],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"],"render_values":[{"text":"oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7","href":null,"code":true}]}]},"links":{"outbound_url":"https://rke.abertay.ac.uk/en/studentTheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Natanson, Louis"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["1995-7-4"]},{"key":"dc:date.issued","label":"Date","values":["1995-7-4"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["University of Abertay Dundee"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Abertay Dundee"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://rke.abertay.ac.uk/en/studentTheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral Thesis"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["PhD"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7","https://rke.abertay.ac.uk/en/studentTheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://rke.abertay.ac.uk/files/15678003/Natanson_1995_Database_implementation_on_an_object_Redacted.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["Database implementation on an object-oriented processor architecture"]}]}],"canonical_facts":{"dc:creator":["Natanson, Louis"],"dc:date":["1995-7-4"],"dc:date.issued":["1995-7-4"],"dc:description.abstract":["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."],"dc:identifier":["oai:rke.abertay.ac.uk:studenttheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7","https://rke.abertay.ac.uk/en/studentTheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"],"dc:identifier.uri":["https://rke.abertay.ac.uk/files/15678003/Natanson_1995_Database_implementation_on_an_object_Redacted.pdf"],"dc:language":["eng"],"dc:publisher.department":["University of Abertay Dundee"],"dc:publisher.institution":["University of Abertay Dundee"],"dc:relation.isreferencedby":["https://rke.abertay.ac.uk/en/studentTheses/5a02f509-70a5-4133-b55c-bb42d0a83cc7"],"dc:title":["Database implementation on an object-oriented processor architecture"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral Thesis"],"dc:type.qualificationname":["PhD"]},"updated_at":"2026-07-24T00:50:16Z"}