Logic Programs for Consistently Querying Data Integration Systems

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.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Loreto Bravo, Leopoldo E. Bertossi
• Keywords: Certain Global Integrity, IJCAI 2003, IJCAI 2007, Minimal Global Instances, Model Seman­ Tics