Authors: Doberkat, Ernst-Erich
Title: An Note on a Categorical Semantics for ER-Models
Language (ISO): en
Abstract: We have a look at the semantics of Entity-Relationship models, a popular device for modelling data, but lacking a stringent semantics. In an earlier paper we have shown how togenerate an algebraic specification for an extended ER-model; in this paper we extend the algebraic view of a model through a categorial interpretation. Inheritance induces a tree structure for an ER-model. This is decorated with objects from a suitable category, and we ask for a unifying view of this model. Our approach suggests using colimits as the semantics. It is shown that under very mild conditions the colimit exists, and that this colimit is an adjoint to the diagonal. Finally we show how tointegrate binary relations into this approach by studying two general conditions on the morphism associated to a relation.
Issue Date: 2002-03-06
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
102.pdfDNB254.77 kBAdobe PDFView/Open

This item is protected by original copyright

Items in Eldorado are protected by copyright, with all rights reserved, unless otherwise indicated.