We solve the problem of obtaining answers to queries posed to a mediated integration system un der the local-as-view paradigm that are consistent wrt to certain global integrity constraints. For this, the query program is combined with logic program ming specifications under the stable model seman tics of the class of minimal global instances, and of the class of their repairs.
Loreto Bravo, Leopoldo E. Bertossi