Logic Programs for Consistently Querying Data Integration Systems
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.
Cite
Text
Bravo and Bertossi. "Logic Programs for Consistently Querying Data Integration Systems." International Joint Conference on Artificial Intelligence, 2003.Markdown
[Bravo and Bertossi. "Logic Programs for Consistently Querying Data Integration Systems." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/bravo2003ijcai-logic/)BibTeX
@inproceedings{bravo2003ijcai-logic,
title = {{Logic Programs for Consistently Querying Data Integration Systems}},
author = {Bravo, Loreto and Bertossi, Leopoldo E.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {10-15},
url = {https://mlanthology.org/ijcai/2003/bravo2003ijcai-logic/}
}