Database Reference
In-Depth Information
16. Z. Diskin, B. Cadish, Algebraic graph-based approach to management of multibase systems:
schema integration via sketches and equations, in
Proc. 2nd Int. Workshop on Next Generation
Information Technologies and Systems (NGITS'95)
, Naharia, Israel (1995), pp. 69-79
17. H.D. Ebbinghaus, J. Flum,
Finite Model Theory
(Springer, Berlin, 1995)
18. R. Fagin, Generalized first-order spectra and polynomial-time recognizable sets, in
Complexity
of Computation
, ed. by R.M. Karp. SIAM-AMS Proceedings, vol. 7 (1974), pp. 43-73
19. R. Fagin, Horn clauses and database dependencies. J. ACM
29
, 952-985 (1982)
20. R. Fagin, Inverting schema mappings. ACM Trans. Database Syst.
32
(4), 25-78 (2005)
21. 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
22. R. Fagin, P.G. Kolaitis, L. Popa, W. Tan, Composing schema mappings: second-order depen-
dencies to the rescue. ACM Trans. Database Syst.
30
(4), 994-1055 (2005)
23. R. Fagin, P.G. Kolaitis, L. Popa, W. Tan, Quasi-inverses of schema mappings. ACM Trans.
Database Syst.
33
(2), 1-52 (2008)
24. E. Franconi, G. Kuper, A. Lopatenko, L. Serafini, A robust logical and computational charac-
terization of peer-to- peer data systems. Technical Report DIT-03-051, University of Trento,
Italy, September (2003)
25. A. Fuxman, P.G. Kolaitis, R. Miller, W.C. Tan, Peer data exchange. ACM Trans. Database
Syst.
31
(4), 1454-1498 (2006)
26. R. Goldblat,
Topoi: The Categorial Analysis of Logic
(North-Holland, Amsterdam, 1979)
27. G. Gotlob, C. Koch, Monadic datalog and the expressive power of languages for web infor-
mation extraction. J. ACM
51
, 74-113 (2004)
28. E. Grädel, Ph. Kolaitis, L. Libkin, M. Marx, J. Spencer, M.Y. Vardi, Y. Venema, S. Weinstein,
Finite Model Theory and Its Applications
(Springer, Berlin, 2004)
29. A.Y. Halevy, Z.G. Ives, J. Madhavan, P. Mork, D. Suciu, I. Tatarinov, The Piazza peer data
management system. IEEE Trans. Knowl. Data Eng.
16
(7), 787-798 (2004)
30. A.Y. Halevy, D. Suiu, Z.G. Ives, I. Tatarinov, Schema mediation for large-scale semantic data
sharing. VLDB J.
14
(1), 68-83 (2005)
31. A. Islam, W. Phoa, Categorical models of relational databases I: fibrational formulation,
schema integration, in
Theoretical Aspects of Comp. Sci
. Lect. Notes Comp. Sci., vol. 789
(Springer, Berlin, 1994), pp. 618-641
32. M. Johnson, R. Rosebrugh, Entity-relationship models and sketches. J. Theory Appl. Categ.
(2000)
33. 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)
34. A. Kementsietsidis, M. Arenas, R.J. Miller, Mapping data in peer-to-peer systems: semantics
and algorithmic issues, in
Proc. of SIGMOD
(2003)
35. J. Lambek, P. Scott,
Introduction to Higher Order Categorial Logic
(Cambridge University
Press, Cambridge, 1986)
36. S.M. Lane,
Categories for the Working Mathematician
(Springer, Berlin, 1971)
37. S.K. Lellahi, N. Spyratos, Toward a categorical database model supporting structured objects
and inheritance, in
Int. Workshop in Information Systems 90'
, October, Kiev, USSR (1990)
38. 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
39. M. Lenzerini, Z. Majkic, First release of the system prototype for query management. Seman-
tic webs and agents in integrated economies, D3.3, IST-2001-34825 (2003)
40. M. Lenzerini, Z. Majkic, General framework for query reformulation. Semantic webs and
agents in integrated economies, D3.1, IST-2001-34825, February (2003)
41. L. Libkin,
Elements of Finite Model Theory
. EACTS Series, vol. XIV (Springer, Berlin, 2004)
42. J. Madhavan, P.A. Bernstein, P. Domingos, A.Y. Halevy, Representing and reasoning about
mappings between domain models, in
AAAI/IAAI
(2002), pp. 80-86
43. J. Madhavn, A. Halevy, Composing mappings among data sources, in
Proc. of VLDB
, (2003),
pp. 572-583
