Abstract
We propose and investigate a semantics for peer data exchange systems (or peer data management systems) where different peers are pairwise related to each other by means of data exchange constraints and trust relationships. These two elements plus the data at the peers’ sites and the local integrity constraints for a peer are made compatible via the proposed semantics by determining a set of solution instances, which are the intended virtual instances for the peer. The semantically correct answers from a peer to a query, called its peer consistent answers, are defined as those answers that are invariant under all its different solution instances. We show that solution instances can be specified as the models of logic programs with a stable model semantics.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: PODS 1999. Proc. ACM Symposium on Principles of Database Systems, pp. 68–79. ACM Press, New York (1999)
Arenas, M., Bertossi, L., Chomicki, J.: Answer Sets for Consistent Query Answers. Theory and Practice of Logic Programming 3(4&5), 393–424 (2003)
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
Barcelo, P., Bertossi, L.: Logic Programs for Querying Inconsistent Databases. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 208–222. Springer, Heidelberg (2002)
Barceló, P., Bertossi, L., Bravo, L.: Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. In: Bertossi, L., Katona, G.O.H., Schewe, K.-D., Thalheim, B. (eds.) Semantics in Databases. LNCS, vol. 2582, pp. 7–33. Springer, Heidelberg (2003)
Bertossi, L., Bravo, L.: Consistent Query Answers in Virtual Data Integration Systems. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol. 3300, pp. 42–83. Springer, Heidelberg (2005)
Bertossi, L., Bravo, L.: Query Answering in Peer-to-Peer Data Exchange Systems. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) EDBT 2004. LNCS, vol. 3268, pp. 476–485. Springer, Heidelberg (2004)
Bertossi, L., Bravo, L.: The Semantics of Consistency and Trust in Peer Data Exchange Systems (extended version), http://www.scs.carleton.ca/~bertossi/papers/lparExt.pdf
Bertossi, L., Chomicki, J.: Query Answering in Inconsistent Databases. In: Logics for Emerging Applications of Databases, pp. 43–83. Springer, Heidelberg (2003)
Bertossi, L.: Consistent Query Answering in Databases. ACM Sigmod Record 35(2), 68–76 (2006)
Bravo, L.: Handling Inconsistency in Databases and Data Integration Systems. PhD. Thesis, Carleton University, Department of Computer Science (2007), http://homepages.inf.ed.ac.uk/lbravo/Publications.htm
Bravo, L., Bertossi, L.: Semantically Correct Query Answers in the Presence of Null Values. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 336–357. Springer, Heidelberg (2006)
Calì, A., Lembo, D., Rosati, R.: On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In: PODS 2003. Proc. ACM Symposium on Principles of Database Systems, pp. 260–271. ACM Press, New York (2003)
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical Foundations of Peer-To-Peer Data Integration. In: PODS 2004. Proc. ACM Symposium on Principles of Database Systems, pp. 241–251. ACM Press, New York (2004)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 90–105. Springer, Heidelberg (2005)
Calvanese, D., Damaggio, E., De Giacomo, G., Lenzerini, M., Rosati, R.: Semantic Data Integration in P2P Systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds.) VLDB 2003. LNCS, vol. 2944, pp. 77–90. Springer, Heidelberg (2004)
Caniupan, M., Bertossi, L.: Optimizing Repair Programs for Consistent Query Answering. In: SCCC 2005. Proc. International Conference of the Chilean Computer Science Society, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2005)
Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Surveys 33(3), 374–425 (2001)
Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient Evaluation of Logic Programs for Querying Data Integration Systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 163–177. Springer, Heidelberg (2003)
Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. J. Comp. and Sys. Sciences 73(4), 584–609 (2007)
Franconi, E., Kuper, G., Lopatenko, A., Serafini, L.: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds.) VLDB 2004. LNCS, vol. 2944, pp. 64–76. Springer, Heidelberg (2004)
Franconi, E., Kuper, G., Lopatenko, A., Zaihrayeu, I.: A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) EDBT 2004. LNCS, vol. 3268, pp. 446–455. Springer, Heidelberg (2004)
Fuxman, A., Kolaitis, Ph., Miller, R., Tan, W.: Peer Data Exchange. ACM Trans. Database Systems 31(4), 1454–1498 (2006)
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation: The A-Prolog Perspective. Artificial Intelligence 138(1-2), 3–38 (2002)
Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering 15(6), 1389–1408 (2003)
Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema Mediation in Peer Data Management Systems. In: ICDE 2003. Proc. International Conference on Data Engineering, pp. 505–518. IEEE Computer Society, Los Alamitos (2003)
Halevy, A., Ives, Z., Madhavan, J., Mork, P., Suciu, D., Tatarinov, I.: The Piazza Peer Data Management System. IEEE Transactions on Knowledge and Data Engineering 16(7), 787–798 (2004)
Kementsietsidis, A., Arenas, M., Miller, R.: Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. In: SIGMOD 2003. Proc. ACM International Conference on Management of Data, pp. 325–336. ACM Press, New York (2003)
Kolaitis, Ph.: Schema Mappings, Data Exchange, and Metadata Management. In: PODS 2005. Proc. of ACM Symposium on Principles of Database Systems, pp. 61–75. ACM Press, New York (2005)
Levene, M., Loizou, G.: Null Inclusion Dependencies in Relational Databases. Information and Computation 136(2), 67–108 (1997)
Yang, B., Garcia-Molina, H.: Designing a Super-Peer Network. In: ICDE 2003. Proc. International Conference on Data Engineering, p. 49. IEEE Computer Society, Los Alamitos (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertossi, L., Bravo, L. (2007). The Semantics of Consistency and Trust in Peer Data Exchange Systems. In: Dershowitz, N., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2007. Lecture Notes in Computer Science(), vol 4790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75560-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-75560-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75558-6
Online ISBN: 978-3-540-75560-9
eBook Packages: Computer ScienceComputer Science (R0)