Sciweavers

Share
PODS
2004
ACM

Locally Consistent Transformations and Query Answering in Data Exchange

10 years 2 months ago
Locally Consistent Transformations and Query Answering in Data Exchange
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema. Given a source instance, there may be many solutions ? target instances that satisfy the constraints of the data exchange problem. Previous work has identified two classes of desirable solutions: canonical universal solutions, and their cores. Query answering in data exchange amounts to rewriting a query over the target schema to another query that, over a materialized target instance, gives the result that is semantically consistent with the source. A basic question is then whether there exists a transformation sending a source instance into a solution over which target queries can be answered. We show that the answer is negative for many data exchange transformations that have structural properties similar to the canonical universal solution and the core. Namely, we prove that many such transformations preserve the local structure of the data. Using this notion, ...
Marcelo Arenas, Pablo Barceló, Ronald Fagin
Added 08 Dec 2009
Updated 08 Dec 2009
Type Conference
Year 2004
Where PODS
Authors Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
Comments (0)
books