Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096517802> ?p ?o ?g. }
- W2096517802 endingPage "112" @default.
- W2096517802 startingPage "94" @default.
- W2096517802 abstract "Entity-Relationship-Attribute ideas are commonly used to specify and de- sign 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 systemand the natural environm ent for these is the cat- egorical 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. It should be said at the outset that there is a conflict between the terminology used in the study of databases and that used in category theory. Since this paper is an application of the latter to the former we find ourselves with several words that must be sorted out. Most troubling of these is 'model'. Because the primary audience for this paper is the category theory community we will use categorical terminology. In particular we will use 'model' as it is already understood in category theory and in Section 2 we will present a categorical generalization of the idea. Thus, other than in this paragraph, we will avoid speaking of 'information models' and 'entity-relationship-attribute models'. In (10) information models based on entity- relationship-attribute (ERA) diagrams were shown to be enhanced by the inclusion of commutative diagrams and specification of finite limits and finite sums to model con- straints and queries. In this article we extend that work by defining a class of sketches called EA sketches that are suitable for description of ERA models and their constraints. As the categorical reader may already suspect, 'ERA models' are more nearly described as 'ERA theories' from a categorical perspective. Still, we will try to avoid adding such new terminology. Early database writers used to exhort their readers to avoid confusing the formal 'database design' with particular instances or states of the database. For us the former is the sketch and the latter are its models. We will use 'database state' to mean a model The authors gratefully acknowledge financial support fromthe Australian Research Council and the Canadian NSERC. Diagrams typeset using M. Barr's diagram macros." @default.
- W2096517802 created "2016-06-24" @default.
- W2096517802 creator A5035287875 @default.
- W2096517802 creator A5049401183 @default.
- W2096517802 creator A5066818968 @default.
- W2096517802 date "2002-01-01" @default.
- W2096517802 modified "2023-09-23" @default.
- W2096517802 title "Entity-relationship-attribute designs and sketches" @default.
- W2096517802 cites W1535752721 @default.
- W2096517802 cites W1586793989 @default.
- W2096517802 cites W1603256736 @default.
- W2096517802 cites W199513821 @default.
- W2096517802 cites W2000535050 @default.
- W2096517802 cites W2001462012 @default.
- W2096517802 cites W2138709157 @default.
- W2096517802 cites W2520545447 @default.
- W2096517802 cites W2726771738 @default.
- W2096517802 cites W2809055317 @default.
- W2096517802 cites W583126019 @default.
- W2096517802 hasPublicationYear "2002" @default.
- W2096517802 type Work @default.
- W2096517802 sameAs 2096517802 @default.
- W2096517802 citedByCount "23" @default.
- W2096517802 countsByYear W20965178022013 @default.
- W2096517802 countsByYear W20965178022014 @default.
- W2096517802 countsByYear W20965178022015 @default.
- W2096517802 countsByYear W20965178022016 @default.
- W2096517802 countsByYear W20965178022017 @default.
- W2096517802 countsByYear W20965178022018 @default.
- W2096517802 countsByYear W20965178022019 @default.
- W2096517802 countsByYear W20965178022021 @default.
- W2096517802 crossrefType "journal-article" @default.
- W2096517802 hasAuthorship W2096517802A5035287875 @default.
- W2096517802 hasAuthorship W2096517802A5049401183 @default.
- W2096517802 hasAuthorship W2096517802A5066818968 @default.
- W2096517802 hasConcept C103593891 @default.
- W2096517802 hasConcept C11413529 @default.
- W2096517802 hasConcept C136764020 @default.
- W2096517802 hasConcept C138885662 @default.
- W2096517802 hasConcept C148840519 @default.
- W2096517802 hasConcept C154945302 @default.
- W2096517802 hasConcept C202444582 @default.
- W2096517802 hasConcept C204321447 @default.
- W2096517802 hasConcept C23123220 @default.
- W2096517802 hasConcept C2777096784 @default.
- W2096517802 hasConcept C2777206241 @default.
- W2096517802 hasConcept C2779231336 @default.
- W2096517802 hasConcept C2780617661 @default.
- W2096517802 hasConcept C33923547 @default.
- W2096517802 hasConcept C41008148 @default.
- W2096517802 hasConcept C41895202 @default.
- W2096517802 hasConcept C547195049 @default.
- W2096517802 hasConcept C54884031 @default.
- W2096517802 hasConceptScore W2096517802C103593891 @default.
- W2096517802 hasConceptScore W2096517802C11413529 @default.
- W2096517802 hasConceptScore W2096517802C136764020 @default.
- W2096517802 hasConceptScore W2096517802C138885662 @default.
- W2096517802 hasConceptScore W2096517802C148840519 @default.
- W2096517802 hasConceptScore W2096517802C154945302 @default.
- W2096517802 hasConceptScore W2096517802C202444582 @default.
- W2096517802 hasConceptScore W2096517802C204321447 @default.
- W2096517802 hasConceptScore W2096517802C23123220 @default.
- W2096517802 hasConceptScore W2096517802C2777096784 @default.
- W2096517802 hasConceptScore W2096517802C2777206241 @default.
- W2096517802 hasConceptScore W2096517802C2779231336 @default.
- W2096517802 hasConceptScore W2096517802C2780617661 @default.
- W2096517802 hasConceptScore W2096517802C33923547 @default.
- W2096517802 hasConceptScore W2096517802C41008148 @default.
- W2096517802 hasConceptScore W2096517802C41895202 @default.
- W2096517802 hasConceptScore W2096517802C547195049 @default.
- W2096517802 hasConceptScore W2096517802C54884031 @default.
- W2096517802 hasIssue "1" @default.
- W2096517802 hasLocation W20965178021 @default.
- W2096517802 hasOpenAccess W2096517802 @default.
- W2096517802 hasPrimaryLocation W20965178021 @default.
- W2096517802 hasRelatedWork W1533008268 @default.
- W2096517802 hasRelatedWork W1535752721 @default.
- W2096517802 hasRelatedWork W1570577173 @default.
- W2096517802 hasRelatedWork W1597310467 @default.
- W2096517802 hasRelatedWork W1603256736 @default.
- W2096517802 hasRelatedWork W1620763508 @default.
- W2096517802 hasRelatedWork W163872530 @default.
- W2096517802 hasRelatedWork W1987993132 @default.
- W2096517802 hasRelatedWork W199513821 @default.
- W2096517802 hasRelatedWork W2000480185 @default.
- W2096517802 hasRelatedWork W2000616678 @default.
- W2096517802 hasRelatedWork W2010883554 @default.
- W2096517802 hasRelatedWork W2021257181 @default.
- W2096517802 hasRelatedWork W2113582770 @default.
- W2096517802 hasRelatedWork W2120713972 @default.
- W2096517802 hasRelatedWork W2144192824 @default.
- W2096517802 hasRelatedWork W2146462464 @default.
- W2096517802 hasRelatedWork W2520545447 @default.
- W2096517802 hasRelatedWork W55378818 @default.
- W2096517802 hasRelatedWork W583126019 @default.
- W2096517802 hasVolume "10" @default.
- W2096517802 isParatext "false" @default.
- W2096517802 isRetracted "false" @default.