Toggle Main Menu Toggle Search

Open Access padlockePrints

Prototyping a Formal Object-Oriented Database in P/FDM

Lookup NU author(s): Dr Brian Rossiter

Downloads


Abstract

This paper is concerned with a formal model for object databases. Category theory is used to define the Product model, a formal notation for representing features of an object based database. In particular, we will examine how this model deals with three of the most important problems inherent in object databases, those of queries, closure and views, as well as how our model deals with more common database concepts, such as keys, relationships, aggregation, etc. We will implement a prototype of this model using P/FDM, a semantic data model database system based on the functional model of Shipman, with object-oriented extensions.


Publication metadata

Author(s): Nelson DA, Rossiter BN

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 16

Print publication date: 01/07/1995

Source Publication Date: July 1995

Report Number: 532

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/532.pdf


Share