A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Problem of Incomplete Information in Relational Databases
Problem of Incomplete Information in Relational Databases
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reformulation of XML Queries and Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
RACCOON: A Peer-Based System for Data Integration and Sharing
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Efficient query reformulation in peer data management systems
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Semantic data sharing with a peer data management system
Semantic data sharing with a peer data management system
Schema mediation for large-scale semantic data sharing
The VLDB Journal — The International Journal on Very Large Data Bases
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
The complexity of data exchange
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Queries and updates in the coDB peer to peer database system
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
FleDEx: flexible data exchange
Proceedings of the 9th annual ACM international workshop on Web information and data management
Distributed databases and peer-to-peer databases: past and present
ACM SIGMOD Record
Answering aggregate queries in data exchange
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML data integration in SixP2P: a theoretical framework
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Query Propagation in a P2P Data Integration System in the Presence of Schema Constraints
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Repair checking in inconsistent databases: algorithms and complexity
Proceedings of the 12th International Conference on Database Theory
Ontology-Based Query Interface in a System for Semantic Integration of XML Data
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Clio: Schema Mapping Creation and Data Exchange
Conceptual Modeling: Foundations and Applications
On model design for simulation of collective intelligence
Information Sciences: an International Journal
Cooperative update exchange in the Youtopia system
Proceedings of the VLDB Endowment
On chase termination beyond stratification
Proceedings of the VLDB Endowment
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Composition with target constraints
Proceedings of the 13th International Conference on Database Theory
Answering non-monotonic queries in relational data exchange
Proceedings of the 13th International Conference on Database Theory
Static analysis of schema-mappings ensuring oblivious termination
Proceedings of the 13th International Conference on Database Theory
Composing local-as-view mappings: closure and applications
Proceedings of the 13th International Conference on Database Theory
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data conflict resolution using trust mappings
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Logic and data exchange: which solutions are "good" solutions?
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
On the termination of the chase algorithm
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Proceedings of the 14th International Conference on Database Theory
Transaction processing in a peer to peer database network
Data & Knowledge Engineering
ACM Transactions on Database Systems (TODS)
Characterizing schema mappings via data examples
ACM Transactions on Database Systems (TODS)
On the data complexity of consistent query answering
Proceedings of the 15th International Conference on Database Theory
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
Relational peer data sharing settings
Journal of Computational Methods in Sciences and Engineering
Relational peer to peer database management systems: a survey
Journal of Computational Methods in Sciences and Engineering
Towards better cross-cloud data integration: using p2p and ETL together
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
Data exchange with arithmetic operations
Proceedings of the 16th International Conference on Extending Database Technology
Value invention in data exchange
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
On simplification of schema mappings
Journal of Computer and System Sciences
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Exchanging OWL 2 QL knowledge bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In this article, we introduce and study a framework, called peer data exchange, for sharing and exchanging data between peers. This framework is a special case of a full-fledged peer data management system and a generalization of data exchange between a source schema and a target schema. The motivation behind peer data exchange is to model authority relationships between peers, where a source peer may contribute data to a target peer, specified using source-to-target constraints, and a target peer may use target-to-source constraints to restrict the data it is willing to receive, but cannot modify the data of the source peer.A fundamental algorithmic problem in this framework is that of deciding the existence of a solution: given a source instance and a target instance for a fixed peer data exchange setting, can the target instance be augmented in such a way that the source instance and the augmented target instance satisfy all constraints of the setting? We investigate the computational complexity of the problem for peer data exchange settings in which the constraints are given by tuple generating dependencies. We show that this problem is always in NP, and that it can be NP-complete even for “acyclic” peer data exchange settings. We also show that the data complexity of the certain answers of target conjunctive queries is in coNP, and that it can be coNP-complete even for “acyclic” peer data exchange settings.After this, we explore the boundary between tractability and intractability for deciding the existence of a solution and for computing the certain answers of target conjunctive queries. To this effect, we identify broad syntactic conditions on the constraints between the peers under which the existence-of-solutions problem is solvable in polynomial time. We also identify syntactic conditions between peer data exchange settings and target conjunctive queries that yield polynomial-time algorithms for computing the certain answers. For both problems, these syntactic conditions turn out to be tight, in the sense that minimal relaxations of them lead to intractability. Finally, we introduce the concept of a universal basis of solutions in peer data exchange and explore its properties.