Conceptual data modelling from a categorical perspective

Computer Journal

Volumn 39, Issue 3, 1996, Pages

  Ter Hofstede, A H M ^a,b   Lippe, E ^a   Frederiks, P J M ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003168419     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.3.215     Document Type: Article

References (36)

1. Hull, R. and King, R. (1987) Semantic Database Modelling: Survey, Applications and Research Issues. ACM Computing Surveys, 19, 201-260.
2. Peckham, J. and Maryanski, F. Semantic Data Models. (1988) ACM Computing Surveys, 20, 153-189.
3. Chen, P. P. (1976) The Entity-Relationship Model: Toward a Unified View of Data. ACM Trans. Database Sys., 1, 9-36.
4. Shipman, D. W. (1981) The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst., 6, 140-173.
5. Nijssen, G. M. and Halpin, T. A. (1989) Conceptual Schema and Relational Database Design: a fact oriented approach. Prentice-Hall, Sydney, Australia.
6. Teorey, T. J., Yang, D. and Fry, J. P. (1986) A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18, 197-222.
7. Engels, G., Gogolla, M., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Saake, G. and Ehrich, H.-D. (1992) Conceptual modelling of database applications using an extended ER model. Data Knowledge Engineering, 9, 157-204.
8. Abiteboul, S. and Hull, R. (1987) IFO: A Formal Semantic Database Model. ACM Trans. Database Systems, 12, 525-565.
9. Halpin, T. A. and Orlowska, M. E. (1992) Fact-oriented modelling for data analysis. Journal of Information Systems, 2, 97-119.
10. ter Hofstede, A. H. M. and van der Weide, Th. P. (1993) Expressivenes in conceptual data modelling. Data &. Knowledge Engineering, 10, 65-100.
11. ter Hofstede, A. H. M., Proper, H. A. and van der Weide, Th. P. (1993) Formal definition of a conceptual language for the description and manipulation of information models. Information Systems, 18, 489-523.
12. Avison, D. E. and Fitzgerald, G. (1988) Information Systems Development: Methodologies, Techniques and Tools. BlackA well Scientific Publications, Oxford.
13. Bubenko, J. A. (1986) Information System Methodologies - A Research View. In Olle, T. W., Sol, H. G. and Verrijn-Stuart, A. A. (eds), Information Systems Design Methodologies: Improving the Practice, pp. 289-318. North-Holland, Amsterdam.
14. van Griethuysen, J. J. (ed), (1982) Concepts and Terminology for the Conceptual Schema and the Information Base. Publ. nr. ISO/TC97/SC5-N695, ISO, ISO Central Secretariat, Geneva.
15. Barr, M. and Wells, C. (1990) Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, NJ.
16. Tuijn, C. (1994) Data Modeling from a Categorical Perspective. Ph.D. thesis, University of Antwerp, Antwerp, Belgium.
17. Baclawski, K., Simovici, D. and White, W. (1994) A categorical approach to database semantics. Mathematical Structures in Computer Science, 4, 147-183.
18. McLarty, C. (1992) Elementary Categories, Elementary Toposes. Volume 21 of Oxford Logic Guides. Clarendon Press, Oxford.
19. Hoare, C. A. R. (1989) Notes on an Approach to Category Theory for Computer Scientists. In. Broy, M. (ed), Constructive Methods in Computing Science. Volume 55 of NATO Advanced Science Institute Series, pp. 245-305. SpringerVerlag, Berlin.
20. Goguen, J. A. (1991) A categorical manifesto. Mathematical Structures in Computer Science, 1, 49-67.
21. Adámek, J., Herrlich, H. and Strecker, G. E. (1990) Abstract and Concrete Categories. Pure and applied mathematics. John Wiley and Sons, New York.
22. Ehrich, H.-D. and Sernadas, A. (1991) Object concepts and constructions. In Saake, G. and Semadas, A. (eds), Proceedings of the IS-CORE Workshop'91 (Informatik-Berichte 91-03), pp. 1-24. Technische Universität Braunschweig, Braunschweig.
23. Fiadeiro, J., Sernadas, C., Maibaum, T. and Saake, G. (1991) Proof-theoretic semantics of object-oriented specification constructs. In Meersman, R., Kent, W. and Khosla, S. (eds), Object-oriented databases: analysis, design and construction, pp. 243-284. North-Holland, Amsterdam.
24. Costa, J. F., Sernadas, A. and Sernadas, C. (1994) Object inheritance beyond subtyping. Acta Informatica, 31, 5-26.
25. Siebes, A. (1990) On Complex Objects. Ph.D. thesis, University of Twente, Enschede.
26. Dampney, C. N. G., Johnson, M. S. J. and Monro, G. P. (1992) An Illustrated Mathematical Foundation for ERA. In Rattray, C. M. I. and Clark, R. G. (eds), The Unified Computation Laboratory, pp. 77-83. Oxford University Press, Oxford.
27. Islam, A. and Phoa, W. (1994) Category Models of Relational Databases I: Fibrational Formulation, Schema Integration. In Hagiya, M. and Mitchell, J. C. (eds), Theoretical Aspects of Computer Software, International Symposium TACS'94, volume 789 of Lecture Notes in Computer Science, pp. 618-641. Springer-Verlag, Sendai.
28. Sernadas, C., Fiadeiro, J., Meersman, R. and Sernadas, A. (1989) Proof-theoretic conceptual Modelling: the NIAM Case Study. In Falkenberg, E. D. and Lindgreen, P. (eds), Information System Concepts: An In-depth Analysis, pp. 1-30. North-Holland, Amsterdam.
29. Rydeheard, D. E. and Burstall, R. M. (1988) Computational Category Theory. Prentice-Hall, Englewood Cliffs.
30. Yourdon, E. (1989) Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, NJ.
31. Maier, D. (1988) The Theory of Relational Databases. Computer Science Press, Rockville, MD.
32. Lippe, E. and ter Hofstede, A. H. M. (1994) A Category Theory Approach to Conceptual Data Modeling. Technical Report CSI-R9415, Computing Science Institute, University of Nijmegen, Nijmegen.
33. Hammer, M. and McLeod, D. (1981) Database Description with SDM: A Semantic Database Model. ACM Transactions on Database Systems, 6, 351-386.
34. ter Hofstede, A. H. M. and van der Weide, Th. P. (1994) Fact Orientation in Complex Object Role Modelling Techniques. In Halpin, T A. and Meersman, R. (eds), Proceedings of the First International Conference on Object-Role Modelling (ORM-1) pp. 45-59, Townsville, Queensland, Australia.
35. Kim, W. and Lochovsky, F. H. (eds) (1989) Object-Oriented Concepts, Databases, and Applications. ACM Press, Frontier Series. Addison-Wesley, Reading, Queensland, Australia.
36. Zdonik, S. B. and Maier, D. (eds) (1990) Readings in Object-Oreinted Database Systems. Morgan Kaufmann, San Matep.