Entity-relationship-attribute designs and sketches

Michael Johnson, Robert Rosebrugh, R. J. Wood

Research output: Contribution to journalArticlepeer-review

27 Citations (Scopus)

Abstract

Entity-Relationship-Attribute ideas are commonly used to specify and design information systems. They use a graphical technique for displaying the objects of the system and relationships among them. The design process can be enhanced by specifying constraints of the system and the natural environment for these is the categorical notion of sketch. Here we argue that the finite-limit, finite-sum sketches with a terminal node are the appropriate class and call them EA sketches. A model for an EA sketch in a lextensive category is a 'snapshot' of a database with values in that category. The category of models of an EA sketch is an object of models of the sketch in a 2-category of lextensive categories. Moreover, modelling the same sketch in certain objects in other 2-categories defines both the query language for the database and the updates (the dynamics) for the database.

Original languageEnglish
Pages (from-to)94-112
Number of pages19
JournalTheory and Applications of Categories
Volume10
Issue number1
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Entity-relationship-attribute designs and sketches'. Together they form a unique fingerprint.

Cite this