{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:23:18Z","timestamp":1761805398608},"reference-count":60,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T00:00:00Z","timestamp":1560902400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2020,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents a logic framework for modeling the interaction among deductive databases in a peer-to-peer (P2P) environment. Each peer joining a P2P system<jats:italic>provides or imports data<\/jats:italic>from its neighbors by using a set of<jats:italic>mapping rules<\/jats:italic>, that is, a set of semantic correspondences to a set of peers belonging to the same environment. By using mapping rules, as soon as it enters the system, a peer can participate and access all data available in its neighborhood, and through its neighborhood it becomes accessible to all the other peers in the system. A query can be posed to any peer in the system and the answer is computed by using locally stored data and all the information that can be consistently imported from the neighborhood. Two different types of mapping rules are defined: mapping rules allowing to import a maximal set of atoms not leading to inconsistency (called<jats:italic>maximal mapping rules<\/jats:italic>) and mapping rules allowing to import a minimal set of atoms needed to restore consistency (called<jats:italic>minimal mapping rules<\/jats:italic>). Implicitly, the use of maximal mapping rules states<jats:italic>it is preferable to import as long as no inconsistencies arise<\/jats:italic>; whereas the use of minimal mapping rules states that<jats:italic>it is preferable not to import unless a inconsistency exists<\/jats:italic>. The paper presents three different declarative semantics of a P2P system: (i) the<jats:italic>Max Weak Model Semantics<\/jats:italic>, in which mapping rules are used to import<jats:italic>as much knowledge as possible<\/jats:italic>from a peer\u2019s neighborhood without violating local integrity constraints; (ii) the<jats:italic>Min Weak Model Semantics<\/jats:italic>, in which the P2P system can be locally inconsistent and the information provided by the neighbors is used to restore consistency, that is, to only integrate the missing portion of a correct, but incomplete database; (iii) the<jats:italic>Max-Min Weak Model Semantics<\/jats:italic>that unifies the previous two different perspectives captured by the Max Weak Model Semantics and Min Weak Model Semantics. This last semantics allows to characterize each peer in the neighborhood as a resource used either to enrich (integrate) or to fix (repair) the knowledge, so as to define a kind of<jats:italic>integrate\u2013repair<\/jats:italic>strategy for each peer. For each semantics, the paper also introduces an equivalent and alternative characterization, obtained by rewriting each mapping rule into prioritized rules so as to model a P2P system as a prioritized logic program. Finally, results about the computational complexity of P2P logic queries are investigated by considering<jats:italic>brave<\/jats:italic>and<jats:italic>cautious<\/jats:italic>reasoning.<\/jats:p>","DOI":"10.1017\/s1471068419000073","type":"journal-article","created":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T08:07:16Z","timestamp":1560931636000},"page":"1-43","source":"Crossref","is-referenced-by-count":7,"title":["A Logic Framework for P2P Deductive Databases"],"prefix":"10.1017","volume":"20","author":[{"given":"LUCIANO","family":"CAROPRESE","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ESTER","family":"ZUMPANO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,6,19]]},"reference":[{"key":"S1471068419000073_ref6","author":"Ariew","year":"1976"},{"key":"S1471068419000073_ref10","first-page":"15","article-title":"The semantics of consistency and trust in peer data exchange systems","author":"Bertossi","year":"2007","journal-title":"Proc. of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007"},{"key":"S1471068419000073_ref8","first-page":"6","article-title":"Data management for peer-to-peer computing : A vision","author":"Bernstein","year":"2002","journal-title":"Proc. of the 5th Inter national Workshop on the Web and Databases, WebDB 2002"},{"key":"S1471068419000073_ref59","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00054-0"},{"key":"S1471068419000073_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"S1471068419000073_ref21","first-page":"2","article-title":"Pruning operators for disjunctive logic programming systems","author":"Calimeri","year":"2006","journal-title":"Fundamenta Informaticae 71"},{"key":"S1471068419000073_ref22","first-page":"7","article-title":"Semantic data integration in P2P systems","author":"Calvanese","year":"2003","journal-title":"Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P"},{"key":"S1471068419000073_ref57","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"S1471068419000073_ref15","first-page":"1","volume-title":"22nd AAAI Conference on Artificial Intelligence (AAAI07)","author":"Brewka","year":"2007"},{"key":"S1471068419000073_ref27","first-page":"10","article-title":"Consistent data integration in P2P deductive databases","author":"Caroprese","year":"2007","journal-title":"1st International Conference on Scalable Uncertainty Management (SUM 2007"},{"key":"S1471068419000073_ref60","first-page":"539","article-title":"Efficient query reformulation in peer-data management systems","author":"Tatarinov","year":"2004","journal-title":"Proc. of the ACM SIGMOD International Conference on Management of Data,"},{"key":"S1471068419000073_ref16","first-page":"9","article-title":"Answer set optimization","author":"Brewka","year":"2003","journal-title":"IJCAI-03, Proc. of the 18th International Joint Conference on Artificial Intelligence"},{"key":"S1471068419000073_ref26","first-page":"11","article-title":"Integrating and querying P2P deductive databases","author":"Caroprese","year":"2006b","journal-title":"Tenth International Database Engineering and Applications Symposium (IDEAS 2006)"},{"key":"S1471068419000073_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(03)00050-4"},{"key":"S1471068419000073_ref45","first-page":"15","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988","journal-title":"Proc. of the 5th International Conference and Symposium on Logic Programming,"},{"key":"S1471068419000073_ref13","first-page":"16","article-title":"Peer-to-peer query answering with inconsistent knowledge","author":"Binas","year":"2008","journal-title":"Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008"},{"key":"S1471068419000073_ref44","first-page":"1","article-title":"The alternating fixpoint of logic programs with negation","author":"Gelder","year":"1989","journal-title":"Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"S1471068419000073_ref47","first-page":"31","article-title":"What can database do for peer-to-peer?","author":"Gribble","year":"2001","journal-title":"Proc. of the 4th International Workshop on the Web and Databases, WebDB 2001"},{"key":"S1471068419000073_ref2","volume-title":"Foundations of Databases","author":"Abiteboul","year":"1995"},{"key":"S1471068419000073_ref33","first-page":"24","article-title":"P2P deductive databases: Well founded semantics and dis tributed computation","author":"Caroprese","year":"2017b","journal-title":"New Trends in Databases and Information Systems \u2013 ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC"},{"key":"S1471068419000073_ref4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5040.001.0001"},{"key":"S1471068419000073_ref25","first-page":"11","article-title":"A logic programming approach to querying and integrating P2P deductive databases","author":"Caroprese","year":"2006a","journal-title":"Proc. of the 19th International Florida Artificial Intelligence Research Society Conference"},{"key":"S1471068419000073_ref24","first-page":"14","article-title":"Logical foundations of peer-to-peer data integration","author":"Calvanese","year":"2004","journal-title":"Proc. of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"S1471068419000073_ref5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/303976.303983","volume-title":"Proc. of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"Arenas","year":"1999"},{"key":"S1471068419000073_ref58","article-title":"Somewhere: A scalable peer-to-peer infrastructure for querying distributed ontologies","author":"Rousset","year":"2006","journal-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006"},{"key":"S1471068419000073_ref56","first-page":"I","volume-title":"Computational Complexity","author":"Papadimitriou","year":"1994"},{"key":"S1471068419000073_ref9","first-page":"14","article-title":"Query answering in peer-to-peer data exchange systems","author":"Bertossi","year":"2004","journal-title":"Current Trends in Database Technology \u2013 EDBT 2004 Workshops, EDBT 2004 Workshops PhD, DataX, PIM, P2PandDB, and ClustWeb"},{"key":"S1471068419000073_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-010-0293-0"},{"key":"S1471068419000073_ref20","first-page":"9","article-title":"On the decidability and complexity of query answering over inconsistent and incomplete databases","author":"Cal\u00ec","year":"2003","journal-title":"Proc. of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"S1471068419000073_ref3","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1785"},{"key":"S1471068419000073_ref28","first-page":"20","article-title":"Modeling cooperation in P2P data management systems","author":"Caroprese","year":"2008","journal-title":"Foundations of Intelligent Systems, 17th International Symposium, ISMIS 2008"},{"key":"S1471068419000073_ref41","first-page":"14","article-title":"A distributed algorithm for robust data sharing and updates in P2P database networks","author":"Franconi","year":"2004a","journal-title":"Current Trends in Database Technology \u2013 EDBT 2004 Workshops, EDBT 2004 Workshops PhD, DataX, PIM, P2PandDB, and ClustWeb,"},{"key":"S1471068419000073_ref29","first-page":"21","article-title":"Aggregates and priorities in P2P data management systems","author":"Caroprese","year":"2011","journal-title":"15th International Database Engineering and Applications Symposium (IDEAS 2011)"},{"key":"S1471068419000073_ref53","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1016\/B978-012722442-8\/50057-4","article-title":"Composing mappings among data sources","author":"Madhavan","year":"2003","journal-title":"VLDB 2003, Proc. 29th International Conference on Very Large Data Bases,"},{"key":"S1471068419000073_ref48","first-page":"505","article-title":"Schema mediation in peer data man agement systems","author":"Halevy","year":"2003","journal-title":"Proc. of the 19th International Conference on Data Engineering"},{"key":"S1471068419000073_ref31","first-page":"17","article-title":"Restoring consistency in P2P deductive databases","author":"Caroprese","year":"2012b","journal-title":"Scalable Uncertainty Management \u2013 6th International Conference, SUM 2012"},{"key":"S1471068419000073_ref51","first-page":"915","article-title":"INFOMIX system for advanced integration of incomplete and inconsistent data","author":"Leone","year":"2005","journal-title":"Proc. of the ACM SIGMOD International Conference on Management of Data"},{"key":"S1471068419000073_ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"S1471068419000073_ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1245280"},{"key":"S1471068419000073_ref32","first-page":"4","article-title":"P2P deductive databases: A system prototype","author":"Caroprese","year":"2017a","journal-title":"Proc. of the 19th International Conference on Information Integration and Web-based Applications and Services, iiWAS 2017"},{"key":"S1471068419000073_ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0116-y"},{"key":"S1471068419000073_ref34","first-page":"352","article-title":"Reasoning with inconsistencies in propositional peer-to-peer inference systems","author":"Chatalic","year":"2006","journal-title":"ECAI 2006, 17th European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems (PAIS 2006)"},{"key":"S1471068419000073_ref35","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"S1471068419000073_ref50","first-page":"233","article-title":"Data integration: A theoretical perspective","author":"Lenzerini","year":"2002","journal-title":"Proc. of the 21st ACM SIGACT SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"S1471068419000073_ref1","first-page":"1","article-title":"Complexity of answering queries using materialized views","author":"Abiteboul","year":"1998","journal-title":"Proc. of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems"},{"key":"S1471068419000073_ref7","first-page":"813","article-title":"Propositional semantics for disjunctive logic programs","author":"Ben-Eliyahu","year":"1992","journal-title":"Proc. of the Joint International Conference and Symposium on Logic Programming (JICSLP 1992)"},{"key":"S1471068419000073_ref54","first-page":"I","volume-title":"Nonmonotonic Logic - Context-dependent Reasoning","author":"Marek","year":"1993"},{"key":"S1471068419000073_ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1189769.1189778"},{"key":"S1471068419000073_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.033"},{"key":"S1471068419000073_ref11","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841600017X"},{"key":"S1471068419000073_ref17","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"S1471068419000073_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.07.008"},{"key":"S1471068419000073_ref40","first-page":"7","article-title":"A robust logical and computational characterisation of peer-to-peer database systems","author":"Franconi","year":"2003","journal-title":"Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P"},{"key":"S1471068419000073_ref42","first-page":"1277","article-title":"Queries and updates in the coDB peer to peer database system","author":"Franconi","year":"2004b","journal-title":"(e)Proc. of the 30th International Conference on Very Large Data Bases"},{"key":"S1471068419000073_ref55","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning.","author":"Nute","year":"1994"},{"key":"S1471068419000073_ref36","first-page":"9","article-title":"Finding explanations of inconsistency in multi-context systems","author":"Eiter","year":"2010","journal-title":"Proc. of the 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010"},{"key":"S1471068419000073_ref30","first-page":"5","article-title":"Handling preferences in P2P systems","author":"Caroprese","year":"2012a","journal-title":"Foundations of Information and Knowledge Systems \u2013 7th International Symposium, FoIKS 2012"},{"key":"S1471068419000073_ref52","first-page":"673","article-title":"On the problem of computing the well-founded semantics","author":"Lonc","year":"2000","journal-title":"1st International Conference on Computational Logic \u2013 CL 2000,"},{"key":"S1471068419000073_ref18","first-page":"28","article-title":"Inconsistency tolerance in P2P data integration: An epistemic logic approach","author":"Calvanese","year":"2005","journal-title":"Database Programming Languages, 10th International Symposium, DBPL 2005"},{"key":"S1471068419000073_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2008.01.007"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068419000073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T22:52:30Z","timestamp":1721429550000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068419000073\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,19]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["S1471068419000073"],"URL":"https:\/\/doi.org\/10.1017\/s1471068419000073","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,19]]}}}