Toggle Main Menu Toggle Search

Open Access padlockePrints

The Categorical Product Data Model as a Formalism for Object-Relational Databases

Lookup NU author(s): Dr Brian Rossiter

Downloads


Abstract

Category theory has been developed over the last 50 years as a multi-level mathematical workspace capable of modelling real-world objects. Categories of objects are manipulated in geometric logic by a single concept represented by the arrow. The category of products is an important instance of the universal concept of a limit now recognised to exist in many contexts. The product model provides a natural extension from relational structures on sets to a full formal description of features such as classes, objects, association abstraction, inheritance, views and query closure. The benefit for databases is that these can all be integrated formally through the arrow concept.


Publication metadata

Author(s): Rossiter BN, Nelson DA, Heather MA

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1994

Pages: 41

Print publication date: 01/11/1994

Source Publication Date: November 1994

Report Number: 505

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/505.pdf


Share