Unique Solutions in Data Exchange

  • Nhung Ngo
  • Enrico Franconi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8645)


Data exchange is the problem of transforming data structured according to a source schema into data structured according to a target schema, via a mapping specified by rules in the form of source-to-target tuple generating dependencies. In this context, given a source instance and a mapping, there might be more than one valid target instance that satisfies the mapping. This issue contradicts the main goal of exchanging data, namely to have a materialised target instance that can be used to answer queries over the target schema without reference to the original source instance. In this paper we introduce and solve the novel problem of definability abduction, which aims at finding extensions to the initial schema mappings to guarantee the uniqueness of the materialised target instance. We consider several semantic criteria to select reasonable extensions and provide provably sound and complete algorithms to generate these additions. We also do a complexity analysis in different data exchange settings, also with source and target dependencies.


Data Exchange Schema Mapping Conjunctive Query Query Answering Target Database 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Afrati, F.N., Kolaitis, P.G.: Answering aggregate queries in data exchange. In: PODS, pp. 129–138 (2008)Google Scholar
  2. 2.
    Aliseda-Llera, A.: Seeking explanations: abduction in logic, philosophy of science and artificial intelligence. PhD thesis, Stanford, CA, USA, UMI Order No. GAX98-10072 (1998)Google Scholar
  3. 3.
    Arenas, M., Barceló, P., Fagin, R., Libkin, L.: Locally consistent transformations and query answering in data exchange. In: PODS, pp. 229–240 (2004)Google Scholar
  4. 4.
    Beth, E.: On Padoa’s method in the theory of definition. Indagationes Mathematicae 15, 330–339 (1953)MathSciNetGoogle Scholar
  5. 5.
    Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. J. Artif. Intell. Res. (JAIR) 48, 115–174 (2013)Google Scholar
  6. 6.
    Fagin, R., Haas, L.M., Hernández, M., Miller, R.J., Popa, L., Velegrakis, Y.: Clio: Schema mapping creation and data exchange. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 198–236. Springer, Heidelberg (2009)Google Scholar
  7. 7.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Franconi, E., Kerhet, V., Ngo, N.: Exact query reformulation over databases with first-order and description logics ontologies. Journal of Artificial Intelligence Research (JAIR) 48, 885–922 (2013)zbMATHGoogle Scholar
  9. 9.
    Franconi, E., Ngo, N., Sherkhonov, E.: The definability abduction problem for data exchange - (extended abstract). In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 217–220. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  10. 10.
    Hernich, A.: Answering non-monotonic queries in relational data exchange. In: ICDT, pp. 143–154 (2010)Google Scholar
  11. 11.
    Libkin, L.: Data exchange and incomplete information. In: Proceedings of the Twenty-Fifth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2006, pp. 60–69. ACM, New York (2006)CrossRefGoogle Scholar
  12. 12.
    Libkin, L., Sirangelo, C.: Open and closed world assumptions in data exchange. In: Proceedings of the 2009 Description Logics Workshop (2009)Google Scholar
  13. 13.
    Nash, A., Segoufin, L., Vianu, V.: Views and queries: Determinacy and rewriting. ACM Trans. Database Syst. 35, 21:1–21:41 (2010)Google Scholar
  14. 14.
    Ngo, N.: Getting unique solution in data exchange. PVLDB 6(12), 1440–1443 (2013)Google Scholar
  15. 15.
    Paul, G.: Approaches to abductive reasoning: An overview. AI Review 7, 109–152 (1993)CrossRefGoogle Scholar
  16. 16.
    ten Cate, B., Franconi, E., Seylan, İ.: Beth definability in expressive description logics. Journal of Artificial Intelligence Research (JAIR) 48, 347–414 (2013)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Nhung Ngo
    • 1
  • Enrico Franconi
    • 1
  1. 1.KRDB Research CentreFree University of Bozen-BolzanoItaly

Personalised recommendations