Database Reference
In-Depth Information
5. F. Bancilhon, N. Spyratos, Update semantics of relational views. ACM Trans. Database Syst.
6
(4), 557-575 (1981)
6. F. Bartels, Generalized coinduction. Electron. Notes Theor. Comput. Sci.
44
(1), 67-87 (2001)
7. B. Bloom, S. Istrail, A.R. Meyer, Bisimulation can't be traced: preliminary report, in
15th
ACM Symposium on Principles of Programming Languages
, San Diego, CA, USA (1988), pp.
229-239
8. P. Buneman, S. Khanna, W. Tan, On propagation of deletion and annotations through views,
in
Proceedings of PODS
, Madison, Wisconsin, USA (2002), pp. 150-158
9. D. Calvanese, E. Damaggio, G.D. Giacomo, M. Lenzerini, R. Rosati, Semantic data integration
in P2P systems, in
Proc. of the Int. Workshop on Databases, Inf. Systems and P2P Computing
,
Berlin, Germany, September (2003)
10. D. Calvanese, G.D. Giacomo, M. Lenzerini, R. Rosati, Logical foundations of peer-to- peer
data integration, in
PODS 2004
, June 14-16, Paris, France (2004)
11. Y. Cui, J. Widom, Run-time translation of view tuple deletions using data lineage. Tech. Re-
port, Stanford University (2001).
http://dbpub.stanford.edu:8090/pub/2001-24
12. M. Dalal, Investigations into a theory of knowledge base revision, in
Proc. National Confer-
ence on Artificial Intelligence
(1988), pp. 475-479
13. U. Dayal, P.A. Bernstein, On the updatability of relational views, in
VLDB
(1978), pp. 368-
377
14. U. Dayal, P.A. Bernstein, On the correct translation of update operations on relational views.
ACM Trans. Database Syst.
7
(3), 381-416 (1982)
15. 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)
16. E. Franconi, G. Kuper, A. Lopatenko, L. Serafini, A robust logical and computational char-
acterization of peer-to- peer data systems, in
Proc. of the Int. Workshop on Databases, Inf.
Systems and P2P Computing
, Berlin, Germany, September (2003)
17. J.A. Gogen, J.W. Thacher, E.G. Wagner, A initial algebra approach to the specification,
correctness and implementation of abstract data types, in
Current Trends in Programming
Methodology
, vol. 4, ed. by R.Y. Yeh (Prentice Hall, Englewood Cliffs, 1978), pp. 80-149
18. C. Hoare, Communicating sequential processes. Commun. ACM
21
, 666-677 (1978)
19. B. Jacobs, Distributive laws for coinductive solution of recursive equations. Inf. Comput.
204
(4), 561-587 (2006)
20. A.M. Keller, Algorithms for translating view updates to database updates for views involving
selections, projections, and joins, in
Proceedings of SIGMOD
, Portland, Oregon, USA (1985),
pp. 154-163
21. A. Kementsietsidis, M. Arenas, R.J. Miller, Mapping data in peer-to-peer systems: semantics
and algorithmic issues, in
Proc. of SIGMOD
(2003)
22. J. Lechtenbörger, The impact of the constant complement approach towards view updating, in
Proceedings of PODS
, San Diego, CA, USA (2003), pp. 49-55
23. D. Lembo, M. Lenzerini, R. Rosati, Source inconsistency and incompleteness in data integra-
tion, in
Proc. of the 9th Int. Workshop on Knowledge Representation Meets Databases (KRDB
2002)
(CEUR, Aachen, 2002)
24. Z. Majkic, Massive parallelism for query answering in weakly integrated P2P systems, in
Workshop GLOBE 04
, August 30-September 3, Zaragoza, Spain (2004)
25. Z. Majkic, Weakly-coupled ontology integration of P2P database systems, in
1st Int. Workshop
on Peer-to-Peer Knowledge Management (P2PKM)
, August 22, Boston, USA (2004)
26. Z. Majkic, Weakly-coupled P2P system with a network repository, in
6th Workshop on Dis-
tributed Data and Structures (WDAS'04)
, July 5-7, Lausanne, Switzerland (2004)
27. Z. Majkic, Intensional logic and epistemic independency of intelligent database agents, in
2nd
International Workshop on Philosophy and Informatics (WSPI 2005)
, April 10-13, Kaiser-
slautern, Germany (2005)
28. Z. Majkic, Intensional semantics for P2P data integration, in
Journal on Data Semantics
(JoDS) VI, Special Issue on 'Emergent Semantics'
. LNCS, vol. 4090 (2006), pp. 47-66
