Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Part One GETTING STARTED
- Part Two RELATIONAL DATA EXCHANGE
- 4 The problem of relational data exchange
- 5 Existence of solutions
- 6 Good solutions
- 7 Query answering and rewriting
- 8 Alternative semantics
- 9 Endnotes to Part Two
- Part Three XML DATA EXCHANGE
- Part Four METADATA MANAGEMENT
- References
- Index
7 - Query answering and rewriting
from Part Two - RELATIONAL DATA EXCHANGE
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Dedication
- Contents
- Preface
- Part One GETTING STARTED
- Part Two RELATIONAL DATA EXCHANGE
- 4 The problem of relational data exchange
- 5 Existence of solutions
- 6 Good solutions
- 7 Query answering and rewriting
- 8 Alternative semantics
- 9 Endnotes to Part Two
- Part Three XML DATA EXCHANGE
- Part Four METADATA MANAGEMENT
- References
- Index
Summary
In data exchange, we are interested in computing certain answers to a query. However, we do not yet know when such a computation is feasible. The goal of the chapter is to answer this question.
The bad news is that the problem of computing certain answers for relational calculus (equivalently, relational algebra or FO) queries is undecidable, even in the absence of target dependencies. But the good news is that the problem becomes decidable, and, indeed, tractable, for unions of conjunctive queries over mappings with a weakly acyclic set of tgds. Conjunctive queries, as was already mentioned several times, play a very important role and are very common, and mappings with weakly acyclic sets of tgds, as we have seen, are the ones behaving particularly well when it comes to materializing solutions.
The positive result, however, breaks down when we extend conjunctive queries with inequalities. But we can still find a meaningful class of queries capable of expressing interesting properties in the data exchange context that extends conjunctive queries with a limited amount of negation and shares most of their good properties for data exchange.
Finally, we study the notion of query rewriting, i.e., when certain answers to a query Q can be computed by posing a possibly different query Q′ over a materialized solution. Such rewritings are easy for unions of conjunctive queries; our study concentrates on rewritings of relational algebra queries.
- Type
- Chapter
- Information
- Foundations of Data Exchange , pp. 75 - 96Publisher: Cambridge University PressPrint publication year: 2014