Definition of DB Category - Big Data Integration Theory - page 166

References
1. A. Asperti, G. Longo, Categories, Types and Structures (MIT Press, Cambridge, 1991)
2. J. Baez, J. Dolan, Higher-dimensional algebra III: n -categories and the algebra of opetopes.
Adv. Math. 135 , 145-206 (1998)
3. M. Barr, C. Wells, The formal description of data types using sketches, in Mathematical Foun-
dations of Programming Language Semantics . LNCS, vol. 298 (Springer, Berlin, 1988)
4. P. Buneman, S. Naqui, V. Tanen, L. Wong, Principles of programming with complex objects
and collection types. Theor. Comput. Sci. 149 (1), 3-48 (1995)
5. A. Calì, D. Calvanese, G. Giacomo, M. Lenzerini, Data integration under integrity constraints,
in Proc. of the 14th Conf. on Advanced Information Systems Engineering (CAiSE 2002)
(2002), pp. 262-279
6. C. Ehresmann, Introduction to the theory of structured categories. Technical Report 10, Uni-
versity of Kansas (1966)
7. R. Fagin, P.G. Kolaitis, R.J. Miller, L. Popa, DATA exchange: semantics and query answering,
in Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003) (2003), pp. 207-224
8. G.M. Kelly, A.J. Power, Adjunctions whose counits are coequalizers, and presentations of
finitary enriched monads. J. Pure Appl. Algebra 89 , 163-179 (1993)
9. C. Lair, Sur le genre d'esquissibilite des categories modelables (accessibles) possedant les
produits de deux. Diagrammes 35 , 25-52 (1996)
10. J. Lambek, P. Scott, Introduction to Higher Order Categorial Logic (Cambridge University
Press, Cambridge, 1986)
11. S.M. Lane, Categories for the Working Mathematician (Springer, Berlin, 1971)
12. M. Lenzerini, Data integration: a theoretical perspective, in Proc. of the 21st ACM SIGACT
SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002) (2002), pp. 233-
246
13. Z. Majkic, Categories: symmetry, n -dimensional levels and applications. PhD Thesis, Univer-
sity “La Sapienza”, Roma, Italy (1998)
14. Z. Majkic, Abstract database category based on relational-query observations, in International
Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) ,
Orlando FL, USA, July 7-9 (2008)
15. M. Makkai, R. Pare, Accessible Categories: The Foundations of Categorical Model Theory .
Contemporary Mathematics, vol. 104 (Am. Math. Soc., Providence, 1989)
16. E. Moggi, Computational lambda-calculus and monads, in Proc. of the 4th IEEE Symp. on
Logic in Computer Science (LICS'89) (1989), pp. 14-23
17. E. Moggi, Notions of computation and monads. Inf. Comput. 93 (1), 55-92 (1991)
18. G.D. Plotkin, A.J. Power, Adequacy for algebraic effects, in Proc. FOSSACS 2001 .LNCS,
vol. 2030 (2001), pp. 1-24