Category-theoretic fibration as an abstraction mechanism in information systems

Acta Informatica

Volumn 38, Issue 1, 2001, Pages 1-44

  Colomb, Robert M ^a   Dampney, C N G ^b   Johnson, Michael ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035438185     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00013321     Document Type: Article

References (13)

1. 1. Barr, M., Wells, C. Category Theory for Computer Scientists. Englewood Cliffs, NJ: Prentice-Hall 1990
2. 2. Baclawski, K., Dimovici, D., White, W.: A categorical approach to database semantics. Math Struct Comput Sci 4, 147-183 (1994)
3. 3. Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design: an Entity-Relationship Approach. Menlo Park, CA: Benjamin/Cummings 1992
4. 4. Dampney, C.N.G., Johnson, M.S.J.: Application of Consistent Dependency to Corporate and Project Information Models. In: Papazoglou, M. (ed.) OOER'95 Object-Oriented and Entity-Relationship Modelling, 19th International Conference Lecture Notes in Computer Science 1021, Berlin Heidelberg New York: Springer 1995
5. 5. Dampney, C.N.G., Johnson, M.S.J., Dazeley, P., Reigh, V.: A Higher-Order 'Commuting Loop' Structure that Supports Very large Information System Data and Process Architecture. IFIP TC8 Working Conference, Bond University, Gold Coast QLD Australia, May, 1994
6. 6. Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, Second Edition. Menlo Park, CA: Benjamin Cummings 1994
7. 7. Gane, C., Sarson, T.: Structured Systems Analysis: Tools and Techniques Improved Systems Technologies, Inc, 1977
8. 8. Islam, A., Phoa, W.: Categorical models of relational databases I: fibrational formulation, schema integration. In: Hagiya, M., Mitchell, J.C. (eds.) Theoretical Aspects of Computer Software International Symposium TACS'94. LNCS 789, pp. 618-641, Berlin Heidelberg New York: Springer 1994
9. 9. Johnson, M.S.J, Dampney, C.N.G.: On the Value of Commutative Diagrams in Information Modelling. In: M. Nivat, C. Rattray, T. Rus, G. Scollo (eds) Algebraic Methodology and Software Technology (AMAST'93) Workshops in Computing, London: Springer 1993
10. 10. Lippe, E., ter Hofstede, A.: A Category Theoretical Approach to Conceptual Data Modelling. RAIRO Theor Inform Appl 30(1), 31-79 (1996)
11. 11. Rosebrugh, R., Wood, R.J.: Relational Databases and Indexed Categories. In: Proceedings of the 1991 Category Theory Meeting, American Mathematical Society, 1991
12. 12. Simsion, G.: Data Modelling Essentials: Analysis, Design and Innovation. New York: Van Nostrand Reinhold 1993
13. 13. Ullman, J.D.: Principles of Database and Knowledge-Base Systems (Vol. 2) Computer Science Press, 1989