Representation systems for data exchange
Gösta Grahne, Adrian Onet · 2012
The notion of representation systems describes structures that are algebraically closed under queries. It has recently been realized that representation systems are highly relevant also in the context of data exchange. We extend the notion of representation system to encompass data exchange mappings and their composition. Seen through this lens, two major classes of representation systems emerge, namely homomorphic data exchange systems and strong data exchange systems. The homomorphic "OWA" systems encompass the "classical" part of data exchange. Reasoning is modulo homomorphic equivalence (CQ-equivalence), and only unions of conjunctive queries and monotone data exchange mappings are supported.