Entity-relationship-attribute designs and sketches

Theory and Applications of Categories

Volumn 10, Issue 1, 2002, Pages 94-112

  Johnson, Michael ^a   Rosebrugh, Robert ^a   Wood, R J ^a  

^a NONE

Author keywords

Database; Model; Sketch; Update

Indexed keywords

EID: 0041792316     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. M. Barr and C. Wells. Category theory for computing science, second edition. Prentice-Hall, 1995.
2. M. Barr and C. Wells. Toposes, Triples and Theories. Grundlehren Math. Wiss. 278, Springer Verlag, 1985.
3. David B. Benson. Stone duality between queries and data. 1996. preprint.
4. Aurelio Carboni, G. M. Kelly, D. Verity, and R. J. Wood. A 2-categorical approach to change of base and geometric morphisms 2. Theory and Applications of Categories 4 (1998), 82-136.
5. Aurelio Carboni, Steven Lack, and R. F. C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra 84 (1993), 145-158.
6. C. N. G. Dampney, Michael Johnson, and G. P. Monro. An illustrated mathematical foundation for era. In The unified computation laboratory, 77-84, Oxford University Press, 1992.
7. C. J. Date. Introduction to Database Systems, Sixth Edition. Addison-Wesley, 1995.
8. Zinovy Diskin and Boris Cadish. Algebraic graph-based approach to management of multidatabase systems. In Proceedings of The Second International Workshop on Next Generation Information Technologies and Systems (NGITS '95), 1995.
9. Robbie Gates. On extensive and distributive categories. Thesis, University of Sydney, 1997
10. Michael Johnson and C. N. G. Dampney. On the value of commutative diagrams in information modelling. In Springer Workshops in Computing, Springer-Verlag, 1994.
11. Michael Johnson and Robert Rosebrugh. View updatability based on the models of a formal specification. Lecture Notes in Computer Science 2021, 534-549, Springer-Verlag, 2001.
12. Frank Piessens and Eric Steegmans. Categorical data specifications. Theory and Applications of Categories 1 (1995), 156-173.
13. Frank Piessens and Eric Steegmans. Proving semantical equivalence of data specifications. Journal of Pure and Applied Algebra 116 (1997), 291-322.
14. Robert Rosebrugh and R. J. Wood. Relational databases and indexed categories. In Proceedings of the International Category Theory Meeting 1991, CMS Conference Proceedings, 13, 391-407, American Mathematical Society, 1992.