Introduction and Technical Preliminaries - Big Data Integration Theory - page 36

68. G.D. Plotkin, A.J. Power, Adequacy for algebraic effects, in Proc. FOSSACS 2001 .LNCS,
vol. 2030 (2001), pp. 1-24
69. H. Rasiowa, R. Sikorski, The Mathematics of Metamathematics , 3rd edn. (PWN-Polisch Sci-
entific Publishers, Warsaw, 1970)
70. R. Rosebrugh, R.J. Wood, Relational databases and indexed categories, in Proc. Int. Category
Theory Meeting . CMS Conference Proceedings, vol. 13 (1992), pp. 391-407
71. G. Rosolini, Continuity and effectiveness in Topoi. Ph.D dissertation, Oxford University. Also
preprint, Department of Computer Science, Carnegie-Mellon University (1986)
72. M.A.V. Salles, J.P. Dittrich, S.K. Karakashian, O.R. Girard, L. Blunschi, iTrial: pay-as-you-go
information integration in dataspaces, in Proc. of VLDB , Vienna, Austria (2007), pp. 663-674
73. A. Sheth, J. Larsen, Federated database systems for maniging distributed, heterogenuous and
autonomous databases. ACM Comput. Surv. 22 (3), 183-236 (1990)
74. M.H. Stone, Topological representation of distributive lattices and Brouwerian logics. Cas.
Pest. Math. Fys. 67 , 1-25 (1937)
75. A. Tarski, Der aussagenkalkül und die topologie. Fundam. Math. 31 , 103-134 (1938)
76. V. Vianu, Databases and finite model theory, in Descriptive Complexity and Finite Models,
Proc. of DIMACS Workshop (AMS, Providence, 1997), pp. 97-148
77. I. Zaihrayeu, Query answering in peer-to-peer database networks. Technical Report DIT-03-
012, University of Trento, Italy (2003)