Logic Programs for Consistently Querying Data Integration Systems

Bravo, Loreto; Bertossi, Leopoldo E.

Logic Programs for Consistently Querying Data Integration Systems

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 10-14.

Abstract

We solve the problem of obtaining answers to queries posed to a mediated integration system under the local-as-view paradigm that are consistent wrt to certain global integrity constraints. For this, the query program is combined with logic programming specifications under the stable model semantics of the class of minimal global instances, and of the class of their repairs.

Loreto Bravo, and Leopoldo E. Bertossi. 2003. Logic Programs for Consistently Querying Data Integration Systems. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 10–14. https://ijcai.org/proceedings/2003/2

@inproceedings{ijcai2003p2,
  title     = {Logic Programs for Consistently Querying Data Integration Systems},
  author    = {Bravo, Loreto and Bertossi, Leopoldo E.},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {10--14},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/2},
}

TY  - CPAPER
TI  - Logic Programs for Consistently Querying Data Integration Systems
AU  - Bravo, Loreto
AU  - Bertossi, Leopoldo E.
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 10
EP  - 14
UR  - https://ijcai.org/proceedings/2003/2
ER  -