Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries

Arenas, Marcelo; Diéguez, Gabriel; Pérez, Jorge

Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries

Marcelo Arenas, Gabriel Diéguez, Jorge Pérez

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2698-2704.

Abstract

In this paper, we propose to use the language of bidirectional constraints to specify schema mappings in the context of data exchange. These constraints impose restrictions over both the source and the target data, and have the potential to minimize the ambiguity in the description of the target data to be materialized. We start by making a case for the usefulness of bidirectional constraints to give a meaningful closed-world semantics for st-tgds, which is motivated by Clark's predicate completion and Reiter's formalization of the closed-world assumption of a logical theory. We then formally study the use of bidirectional constraints in data exchange. In particular, we pinpoint the complexity of the existence-of-solutions and the query evaluation problems in several different scenarios, including in the latter case both monotone and non-monotone queries.

Marcelo Arenas, Gabriel Diéguez, and Jorge Pérez. 2015. Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2698–2704. https://ijcai.org/proceedings/2015/382

@inproceedings{ijcai2015p382,
  title     = {Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries},
  author    = {Arenas, Marcelo and Diéguez, Gabriel and Pérez, Jorge},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {2698--2704},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/382},
}

TY  - CPAPER
TI  - Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries
AU  - Arenas, Marcelo
AU  - Diéguez, Gabriel
AU  - Pérez, Jorge
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2698
EP  - 2704
UR  - https://ijcai.org/proceedings/2015/382
ER  -