•Given:
–A
query Q posed over the mediated schema
–Descriptions
of the data sources
•Find:
–A
query Q’ over the data source relations, such that:
•Q’
provides only correct answers to Q, and
•Q’
provides all possible answers from to Q given the
sources.