Applications of a categorical framework for conceptual data modeling

Acta Informatica

Volumn 34, Issue 12, 1997, Pages 927-963

  Ter Hofstede, A H M ^a   Lippe, E ^b   Van Der Weide, Th P ^b  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

CATEGORY THEORY; CONCEPTUAL DATA MODELING;

COMPUTER SIMULATION;

EID: 0031358174     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050112     Document Type: Article

References (75)

1. [ADM+89] M. Atkinson, D. DeWitt, D. Maier, F. Bancilhon, K. Dittrich, S.B. Zdonik. The object-oriented database system manifesto. In W. Kim, J.-M. Nicolas, S. Nishio, editors, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD-R9), pages 40-57, Kyoto, Japan, 1989. Elsevier Science Publishers, Amsterdam.
2. D.E. Avison, G. Fitzgerald. Information Systems Development: Methodologies, Techniques and Tools. Blackwell Scientific Publications, Oxford, United Kingdom, 1988.
3. S. Abiteboul, R. Hull, IFO: A Formal Semantic Database Model. ACM Transactions on Database Systems, 12(4):525-565, December 1987.
4. S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison-Wesley, Reading, Massachusetts, 1995.
5. G. Ariav. A Temporally Oriented Data Model. ACM Transactions on Database Systems, 11(4):499-527, December 1986.
6. A.D. Atri, D. Sacca. Equivalence and mapping of database schemes. In Proceedings of the Tenth International Conference on Very Large Data Bases, pages 187-195, 1984.
7. Asymetrix. InfoModeler User Manual. Asymetrix Corporation, 110-110th Avenue NE, Suite 700, Bellevue, WA 98004, Washington, http://www.asymetrix.com. 1994.
8. [BBD+89] P. Bergsten, J.A. Bubenko, R. Dahl, M. Gustafsson, L-Å. Johansson. RAMATIC - a CASE shell for implementation of specific CASE tools. Technical report, SISU, Stockholm, Sweden, 1989. First draft of a contribution to section 4.4 of the TEMPORA T6.1 report.
9. D. Barbara, H. Garcia-Molina, D. Porter. The Management of Probabilistic Data. IEEE Transactions on Knowledge and Data Engineering, 4(5):487-502, October 1992.
10. K. Baclawski, D. Simovici, W. White. A categorical approach to database semantics. Mathematical Structures in Computer Science, 4:147-183, 1994.
11. J.A. Bubenko. Information System Methodologies - A Research View. In T.W. Olle, H.G. Sol, A.A. Verrijn-Stuart, editors, Information Systems Design Methodologies: Improving the Practice, pages 289-318. North-Holland, Amsterdam, The Netherlands, 1986.
12. M. Barr, C. Wells. Category Theory for Computing Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1990.
13. D. de Champeaux, P. Faure. A comparative study of object-oriented analysis methods. Journal of Object-Oriented Programming, 5(1):21-33, March 1992.
14. P.P. Chen. The Entity-Relationship Model: Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9-36, March 1976.
15. M. Chen, J.F. Nunamaker Jr. MetaPlex: An integrated environment for organization and information systems development. In J.I. DeGross, J.C. Henderson, B.R. Konsynski, editors, Proceedings of the Tenth International Conference on Information Systems, pages 141-151, Boston, Massachusetts, December 1989.
16. J.F. Costa, A. Sernadas, C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31(1):5-26, January 1994.
17. K.R. Dittrich. Object-oriented database systems: The next miles of the marathon. Information Systems, 15(1):161-167, 1990.
18. C.N.G. Dampney, M.S.J. Johnson, G.P. Monro. An Illustrated Mathematical Foundation for ERA. In C.M.I. Rattray, R.G. Clark, editors. The Unified Computation Laboratory, pages 77-83, Oxford University Press, 1992. The Institute of Mathematics and Its Applications.
19. [EGH+92] G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, H-D. Ehrich. Conceptual modelling of database applications using an extended ER model. Data & Knowledge Engineering, 9(4):157-204, 1992.
20. D.W. Embley, R.B. Jackson, S.N. Woodfield. OO Systems Analysis: Is It or Isn't It? IEEE Software, 12(3):19-33, July 1995.
21. H.-D. Ehrich, A. Sernadas. Object concepts and constructions. In G. Saake, A. Sernadas, editors. Proceedings of the IS-CORE Workshop '91 (Informatik-Berichte 91-03), pages 1-24, Braunschweig, Germany, 1991. Technische Universität Braunschweig.
22. J. Fiadeiro, C. Sernadas, T. Maibaum, G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In R. Meersman, W. Kent, S. Khosla, editors, Object-oriented databases: analysis, design and construction, pages 243-284, Amsterdam, The Netherlands, 1991. North-Holland.
23. J.A. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1(1):49-67, 1991.
24. M. Gogolla. An Extended Entity-Relationship Model: Fundamentals and Pragmatics, volume 767 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1994.
25. J.-L. Hainaut. Entity-generating Schema Transformation for Entity-Relationship Models. In Proceedings of the 10th International Conference on the Entity-Relationship Approach, Lecture Notes in Computer Science, San Mateo, California, 1991. Springer-Verlag.
26. T.A. Halpin. A Fact-Oriented Approach to Schema Transformation. In B. Thalheim, J. Demetrovics, H.-D. Gerhardt, editors, MFDBS 91, volume 495 of Lecture Notes in Computer Science, pages 342-356, Rostock, Germany. Berlin, Heidelberg, New York: Springer 1991.
27. T.A. Halpin. Conceptual Schema and Relational Database Design. Prentice-Hall, Sydney, Australia, 2nd edition, 1995.
28. R. Hull, R. King. Semantic Database Modelling: Survey, Applications and Research Issues. ACM Computing Surveys, 19(3):201-260, September 1987.
29. A.H.M. ter Hofstede, E. Lippe, P.J.M. Frederiks. Conceptual Data Modeling from a Categorical Perspective. The Computer Journal, 39(3):215-231, August 1996.
30. M. Hammer, D. McLeod. Database Description with SDM: A Semantic Database Model. ACM Transactions on Database Systems, 6(3):351-386, September 1981.
31. T.A. Halpin, ME. Orlowska. Fact-oriented modelling for data analysis. Journal of Information Systems, 2(2):97-119, April 1992.
32. C.A.R. Hoare. Notes on an Approach to Category Theory for Computer Scientists. In M. Broy, editor. Constructive Methods in Computing Science, volume 55 of NATO Advanced Science Institute Series, pages 245-305. Berlin, Heidelberg, New York: Springer 1989.
33. T.A. Halpin, H.A. Proper. Subtyping and Polymorphism in Object-Role Modelling. Data & Knowledge Engineering, 15:251-281, 1995.
34. A.H.M. ter Hofstede, H.A. Proper, Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models. Information Systems, 18(7):489-523, October 1993.
35. R. Hull. Relative information capacity of simple relational database schemata. SIAM Journal of Computing, 15(3):856-886, 1986.
36. A.H.M. ter Hofstede, T.F. Verhoef, E.R. Nieuwland, G.M. Wijers. Integrated Specification of Method and Graphic Knowledge. In Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering, pages 307-316, Capri, Italy, June 1992. IEEE Computer Society Press.
37. A.H.M. ter Hofstede, T.F. Verhoef, E.R Nieuwland, G.M. Wijers. Specification of Graphic Conventions in Methods. In B. Theodoulidis, A. Sutcliffe, editors, Proceedings of the Third Workshop on the Next Generation of CASE Tools, pages 185-215, Manchester, United Kingdom, May 1992.
38. A.H.M. ter Hofstede, Th.P. van der Weide. Expressiveness in conceptual data modelling. Data & Knowledge Engineering, 10(1):65-100, February 1993.
39. A.H.M. ter Hofstede, Th.P. van der Weide. Fact Orientation in Complex Object Role Modelling Techniques. In T.A. Halpin, R. Meersman, editors, Proceedings of the First International Conference on Object-Role Modelling (ORM-1), pages 45-59, Townsville, Australia, July 1994.
40. J. Iivari. Object-orientation as structural, functional and behavioural modelling: a comparison of six methods for object-oriented analysis. Information and Software Technology, 37(3):155-163, 1995.
41. A. Islam, W. Phoa. Category Models of Relational Databases I: Fibrational Formulation, Schema Integration. In M. Hagiya, J.C. Mitchell, editors, Theoretical Aspects of Computer Software, International Symposium TACS'94, volume 789 of Lecture Notes in Computer Science, pages 618-641, Sendai, Japan. Berlin, Heidelberg, New York: Springer 1994.
42. I. Jacobson. Is Object Technology Software's Industrial Platform? IEEE Software, pages 24-30, January 1993.
43. [JGJ+95] M. Jarke, R. Gallersdörfer, M.A. Jeusfeld, M. Staudt, S. Eherer. ConceptBase - A Deductive Object Base for Meta Data Management. Journal of Intelligent Information Systems, 3(2):167-194, 1995.
44. S. Jajodia, P.E. Ng, F.N. Springsteel. The problem of equivalence for entity-relationship diagrams. IEEE Transactions on Software Engineering, 9(5):617-630, 1983.
45. W. Kim. Object-oriented database systems: strengths and weaknesses. Journal of Object-Oriented Programming, pages 21-29, July 1991.
46. R. King. My Cat is Object-Oriented. In W. Kim, F.H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, ACM Press, Frontier Series, pages 23-30. Addison-Wesley, Reading, Massachusetts, 1989.
47. W. Kim, F.H. Lochovsky, editors. Object-Oriented Concepts, Databases, and Applications. ACM Press, Frontier Series. Addison-Wesley, Reading, Massachusetts, 1989.
48. I. Kobayashi. Losslessness and semantic correctness of database schema transformation: another look of schema equivalence. Information Systems, 11(1):41-59, 1986.
49. Y. Kornatzky, S.E. Shimony. A probabilistic object-oriented data model. Data & Knowledge Engineering, 12(2):143-166, 1994.
50. E. Lippe, A.H.M. ter Hofstede. A Category Theory Approach to Conceptual Data Modeling. KAIRO Theoretical Informatics and Applications, 30(1):31-79, 1996.
51. J.M. Morrissey. Imprecise Information and Uncertainty in Information Systems. ACM Transactions on Information Systems, 8(2):159-180, April 1990.
52. R. Motschnig-Pitrik, V.C. Storey. Modelling of set membership: The notion and the issues. Data & Knowledge Engineering. 16(2):147-185, August 1995.
53. G.M. Nijssen, T.A. Halpin. Conceptual Schema and Relational Database Design: a fact oriented approach. Prentice-Hall, Sydney, Australia, 1989.
54. H. Partsch. Specification and Transformation of Programs - a Formal Approach to Software Development. Berlin, Heidelberg, New York: Springer 1990.
55. J. Peckham, F. Maryanski. Semantic Data Models. ACM Computing Surveys, 20(3): 153-189, September 1988.
56. F. Polack, M. Whiston, K. Mander. The SAZ Project: Integrating SSADM and Z. In J.C.P. Woodcock, P.G. Larsen, editors, Formal Methods Europe 1993: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 541-557, Odense, Denmark. Berlin, Heidelberg, New York: Springer 1993.
57. D.E. Rydeheard, R.M. Burstall. Computational Category Theory. Prentice-Hall, Englewood Cliffs, New Jersey, 1988.
58. [RBP+91] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorenson. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
59. R. Snodgrass, I. Ahn. Temporal Databases. IEEE Computer, 19(9):35-42, 1986.
60. C. Sernadas, J. Fiadeiro, R. Meersman, A. Sernadas. Proof-theoretic Conceptual Modelling: the NIAM Case Study. In E.D. Falkenberg, P. Lindgreen, editors, Information System Concepts: An In-depth Analysis, pages 1-30. Amsterdam: North-Holland/IFIP 1989.
61. D.W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM Transactions on Database Systems, 6(1):140-173, March 1981.
62. A. Siebes. On Complex Objects. PhD thesis. University of Twente, Enschede, The Netherlands, 1990.
63. K. Smolander, K. Lyytinen, V-P. Tahvanainen, P. Marttiin. MetaEdit: A Flexible Graphical Environment for Methodology Modelling. In R. Andersen, J.A. Bubenko, A. Sølvberg, editors, Proceedings of the Third International Conference CAiSE'91 on Advanced Information Systems Engineering, volume 498 of Lecture Notes in Computer Science, pages 168-193, Trondheim, Norway. Berlin, Heidelberg, New York: Springer 1991.
64. R. Snodgrass. Temporal Databases Status and Research Directions. SIGMOD Record, 19(4):83-89, December 1990.
65. P.C. Sorenson, J.-P. Tremblay, A.J. McAllister. The Metaview System for Many Specification Environments. IEEE Software, 5(2):30-38, March 1988.
66. C. Theodoulidis, P. Loucopoulos, B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(4):401-416, 1991.
67. M. Tresch, M.H. Scholl. Schema Transformation without Database Reorganization. SIGMOD Record, 22(1), March 1993.
68. C. Tuijn. Data Modeling from a Categorical Perspective. PhD thesis, University of Antwerp, Antwerp, Belgium, 1994.
69. T.J. Teorey, D. Yang, J.P. Fry. A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18(2): 197-222, 1986.
70. T.F. Verhoef. Effective Information Modelling Support. PhD thesis, Delft University of Technology, Delft, The Netherlands, 1993.
71. I. Vessey, S.L. Jarvenpaa, N. Tractinsky. Evaluation of Vendor Products: CASE Tools as Methodology Companions. Communications of the ACM, 35(4):90-105, April 1992.
72. G.M. Wijers, H.E. van Dort. Experiences with the use of CASE-tools in the Netherlands. In B. Steinholz, A. Sølvberg, L. Bergman, editors, Proceedings of the Second Nordic Conference CAiSE'90 on Advanced Information Systems Engineering, volume 436 of Lecture Notes in Computer Science, pp. 5-20, Stockholm, Sweden. Berlin, Heidelberg, New York: Springer 1990.
73. G.M. Wijers. Modelling Support in Information Systems Development. PhD thesis, Delft University of Technology, Delft, The Netherlands, 1991.
74. E. Yourdon. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
75. S.B. Zdonik, D. Maier, editors. Readings in Object-Oriented Database Systems. Morgan Kaufmann, San Mateo, California, 1990.