CGOOD, a categorical graph-oriented object data model

Theoretical Computer Science

Volumn 160, Issue 1-2, 1996, Pages 217-239

  Tuijn, Chris ^a   Gyssens, Marc ^b  

^a AGFA GEVAERT N V   (Belgium)

^b HASSELT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; THEOREM PROVING;

FUNCTIONAL ABSTRACTION; PATTERN MATCHINGS; RELATIONAL DATA MODEL; TRANSITIVE CLOSURE; TYPED GRAPHS;

DATA STRUCTURES;

EID: 0030171223     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00089-5     Document Type: Article

References (22)

1. S. Abiteboul and C. Beeri, On the power of languages for complex objects, INRIA Tech. Report No. 806, 1988.
2. M.A. Arbib and E.G. Manes, Arrows, Structures and Functors (Academic Press, New York, 1975).
3. F. Bancilhon and S. Khoshafian, A calculus for complex objects, in: Proc. 4th PODS, Portland, 1985.
4. M. Barr and C. Wells, Toposes, Triples and Theories, Grandlehren der mathematischen Wissenschaften, Vol. 278 (Springer, Berlin, 1985).
5. M. Barr and C. Wells, Category Theory for Computing Science (Prentice-Hall, Englewood Cliffs, NJ, 1990).
6. J.L. Bell, Categories, Toposes and Sets (Reidel, Dordrecht, 1982).
7. E.F. Codd, A relational model of data for large shared data banks, Comm. ACM 13 (1970) 377-387.
8. H. Ehrig, Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, Vol. 73 (Springer, Berlin, 1978) 1-69.
9. M. Gyssens and J. Paredaens, A graph-oriented object model for database end-user interfaces, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data, Atlantic City, 1990.
10. M. Gyssens and D. Van Gucht, Powerset algebra as a result of adding programming constructs to the nested relational algebra, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data, Chicago (1988) 225-232.
11. H. Herrligh and G.E. Strecker, Category Theory (Allyn and Bacon, Boston, 1973).
12. R. Hull and J. Su, On accessing object-oriented databases: expressive power, complexity and restrictions, in: Proc. ACM SIGMOD Internat. Conf. on Management of Data, 1989.
13. M. Kifer and J. Wu, A logic for object-oriented logic programming (Maier's O-logic Revisited), in: Proc. 8th PODS, Philadelphia (1989) 379-393.
14. Z.M. Özsoyoǧlu and L.-Y. Yuan, On the normalization in nested relational databases, in: S. Abiteboul, P.C. Fischer, H.-J. Schek Eds., Nested Relations and Complex Objects in Databases, Lecture Notes in Computer Science, Vol. 361 (Springer, Berlin, 1989) 243-271.
15. J. Paredaens, P. De Bra, M. Gyssens and D. Van Gucht, The structure of the relational database model, EATCS Monographs on Theoretical Computer Science, Vol. 17 (Springer, Berlin, 1989).
16. A. Siebes, On complex objects, Ph.D. Thesis at the University of Twente, 1990.
17. S.J. Thomas, P.C. Fischer, Nested relational structures, in: P.C. Kanellakis, ed., The Theory of Databases, Advances in Computer Research III (JAI Press, Greenwich, CT, 1986) 269-307.
18. C. Tuijn, Data modeling from a categorical perspective, Ph.D. Thesis at the University of Antwerp, 1994.
19. C. Tuijn and M. Gyssens, Views and decompositions from a categorical perspective, in: Proc. 4th Internat. Conf. on Database Theory, Lecture Notes in Computer Science, Vol. 646 (Springer, Berlin, 1992) 99-112.
20. C. Tuijn and M. Gyssens, A categorical approach to fundamental properties of object-oriented data models, Internal UIA Report, Antwerp, 1993.
21. C. Tuijn, M. Gyssens and J. Paredaens, A categorical approach to object-oriented data modeling, in: Proc. 3rd Workshop on Foundations of Models and Languages for Data and Objects, Aigen (1991) 187-196.
22. J. Van den Bussche and J. Paredaens, The expressive power of structured values in pure OODB's, in: Proc. 10th ACM SIGMOD-SIGACT-SIGART Symp. on Principles of Database Systems (1991) 291-299.