Entity-relationship-attribute designs and sketches
Theory and applications of categories, Tome 10 (2002), pp. 94-112.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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.
Classification : 18C30, 68P15.
Keywords: sketch, model, database, update.
@article{TAC_2002_10_a2,
     author = {Michael Johnson and Robert Rosebrugh and R.J. Wood},
     title = {Entity-relationship-attribute designs and sketches},
     journal = {Theory and applications of categories},
     pages = {94--112},
     publisher = {mathdoc},
     volume = {10},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2002_10_a2/}
}
TY  - JOUR
AU  - Michael Johnson
AU  - Robert Rosebrugh
AU  - R.J. Wood
TI  - Entity-relationship-attribute designs and sketches
JO  - Theory and applications of categories
PY  - 2002
SP  - 94
EP  - 112
VL  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2002_10_a2/
LA  - en
ID  - TAC_2002_10_a2
ER  - 
%0 Journal Article
%A Michael Johnson
%A Robert Rosebrugh
%A R.J. Wood
%T Entity-relationship-attribute designs and sketches
%J Theory and applications of categories
%D 2002
%P 94-112
%V 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2002_10_a2/
%G en
%F TAC_2002_10_a2
Michael Johnson; Robert Rosebrugh; R.J. Wood. Entity-relationship-attribute designs and sketches. Theory and applications of categories, Tome 10 (2002), pp. 94-112. http://geodesic.mathdoc.fr/item/TAC_2002_10_a2/