A category theory approach to conceptual data modeling
Lippe, E. ; Ter Hofstede, A. H. M.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996), p. 31-79 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1996-01-01
@article{ITA_1996__30_1_31_0,
     author = {Lippe, E. and Ter Hofstede, A. H. M.},
     title = {A category theory approach to conceptual data modeling},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {30},
     year = {1996},
     pages = {31-79},
     mrnumber = {1398858},
     zbl = {0851.68019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1996__30_1_31_0}
}

Lippe, E.; Ter Hofstede, A. H. M. A category theory approach to conceptual data modeling. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 30 (1996) pp. 31-79. http://gdmltest.u-ga.fr/item/ITA_1996__30_1_31_0/

1. D. E. Avison and G. Fitzgerald, Information Systems Development: Methodologies, Techniques and Tools, Blackwell Scientific Publications, Oxford, United Kingdom, 1988.

2. S. Abiteboul and R. Hull, IFO: A Formal Semantic Database Model, ACM Transactions on Database Systems, 1987, 12(4), pp. 525-565. | MR 920252

3. J. Adámek, H. Herrlich and G. E. Strecker, Abstract and Concrete Categories, Pure and applied mathematics, John Wiley & Sons, New York, 1990. | MR 1051419 | Zbl 0695.18001

4. G. Ariav, A Temporally Oriented Data Model, ACM Transactions on Database Systems, 1986, 11(4), pp. 499-527.

5. C. W. Bachman, Data structure diagrams, Data Base, 1969, 1(2), pp. 4-10.

6. M. Barr, Fuzzy sets and topos theory, Canadian Mathematical Bulletin, 1986, 24, pp. 501-508. | MR 860861 | Zbl 0563.03040

7. M. L. Brodie, On the development of data models. In M. L. Brodie, J. Mylopoulos and J. W. Schmidt, editors, On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases and Programming Languages, pp. 19-48. Springer-Verlag, New York, 1984.

8. K. Baclawski, D. Simovici and W. White, A categorical approach to database semantics, Mathematical Structures in Computer Science, 1994, 4, pp. 147-183. | MR 1281758 | Zbl 0854.68029

9. J. A. Bubenko, Information System Methodologies - A Research View. In T. W. Olle, H. G. Sol and A. A. Verrijn-Stuart, editors, Information Systems Design Methodologies: Improving the Practice, pp. 289-318. North-Holland, Amsterdam, The Netherlands, 1986.

10. M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall, Englewood Cliffs, New Jersey, 1990. | MR 1094561 | Zbl 0714.18001

11. P. P. Chen, The Entity-Relationship Model: Toward a Unified View of Data, ACM Transactions on Database Systems, 1976, 1(1), pp. 9-36.

12. E. F. Codd, A Relational Model of Data for Large Shared Data Banks, Communications of the ACM, 1970, 13(6), pp. 377-387. | Zbl 0207.18003

13. G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake and H.-D. Ehrich, Conceptual modelling of database applications using an extended ER model, Data & Knowledge Engineering, 1992, 9(4), pp. 157-204.

14. J. J. VAN GRIETHUYSEN, editor, Concepts and Terminology for the Conceptual Schema and the Information Base, Publ. nr. ISO/TC97/SC5-N695, 1982.

15. T. A. Halpin, Conceptual Schema and Relational Database Design, Prentice-Hall, Sydney, Australia, 2nd edition, 1995.

16. M. Hammer and D. Mcleod, Database Description with SDM: A Semantic Database Model, ACM Transactions on Database Systems, 1981, 6(3), pp. 351-386.

17. T. A. Halpin and M. E. Orlowska, Fact-oriented modelling for data analysis, Journal of Information Systems, 1992, 2(2), pp. 97-119.

18. A. H. M. Ter Hofstede, H. A. Proper and Th. P. Van Der Weide, Formal definition of a conceptual language for the description and manipulation of information models, Information Systems, 1993, 18(7), pp. 489-523.

19. A. H. M. Ter Hofstede and Th. P. Van Der Weide, Expressiveness in conceptual data modelling, Data & Knowledge Engineering, 1993, 10(1), pp. 65-100. | Zbl 0795.68059

20. C. B. Jones, Systematic Software Development using VDM, Prentice-Hall, Englewood Cliffs, New Jersey, 1986. | Zbl 0584.68008

21. W. KIM and F. H. LOCHOVSKY, editors, Object-Oriented Concepts, Databases, and Applications, ACM Press, Frontier Series. Addison-Wesley, Reading, Massachusetts, 1989.

22. D. Maier, The Theory of Relational Databases, Computer Science Press, Rockville, Maryland, 1988. | MR 691493

23. J. M. Morrissey, Imprecise Information and Uncertainty in Information Systems, ACM Transactions on Information Systems, 1990, 8(2), pp. 159-180.

24. G. M. Nijssen and T. A. Halpin, Conceptual Schema and Relational Database Design: a fact oriented approach, Prentice-Hall, Sydney, Australia, 1989.

25. A. Pitts, Fuzzy sets do not form a topos, Fuzzy Sets and Systems, 1982, 8, pp. 101-104. | MR 665492 | Zbl 0499.03051

26. R. Snodgrass and I. Ahn, Temporal Databases, IEEE Computer, 1986, 19(9), pp. 35-42.

27. D. W. Shipman, The Functional Data Model and the Data Language DAPLEX, ACM Transactions on Database Systems, 1981, 6(1), pp. 140-173.

28. A. Siebes, On Complex Objects, PhD thesis, University of Twente, Enschede, The Netherlands, 1990.

29. R. Snodgrass, Temporal Databases Status and Research Directions, SIGMOD Record, 1990, 19(4), pp. 83-89.

30. J. M. Spivey, Understanding Z: A Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, United Kingdom, 1988. | MR 939813 | Zbl 0658.68005

31. C. Theodoulidis, P. Loucopoulos and B. Wangler, A conceptual modelling formalism for temporal database applications, Information Systems, 1991, 16(4), pp. 401-416.

32. C. Tuijn, Data Modeling from a Categorical Perspective, PhD thesis, University of Antwerp, Antwerp, Belgium, 1994.

33. T. J. Teorey, D. Yang and J. P. Fry, A logical design methodology for relational databases using the extended entity-relationship model, ACM Computing Surveys, 1986, 18(2), pp. 197-222. | Zbl 0641.68172

34. S. B. ZDONIK and D. MAIER, editors, Readings in Object-Oriented Database Systems, Morgan Kaufmann, San Mateo, California, 1990.