The Definability Abduction Problem for Data Exchange

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


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 means of rules in the form of source-to-target tuple generating dependencies – rules whose body is a conjunction of atoms over the source schema and the head is a conjunction of atoms over the target schema, with possibly existential variables in the head. With this formalization, given a fixed source database, there might be more than one target databases satisfying a given mapping. That is, the target database is actually an incomplete database represented by a set of possible databases. Therefore, the problem of query answering the target data is inherently complex for general (non-positive) relational or aggregate queries.


Data Exchange Schema Mapping Conjunctive Query Abductive Reasoning 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 (1998), UMI Order No. GAX98-10072Google 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.
    Arenas, M., Barcelo, P., Libkin, L., Murlak, F.: Relational and XML Data Exchange, 1st edn. Morgan and Claypool Publishers (2010)Google Scholar
  5. 5.
    Beth, E.: On Padoa’s method in the theory of definition. Indagationes Mathematicae 15, 330–339 (1953)MathSciNetGoogle 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)CrossRefGoogle 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)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Hernich, A.: Answering non-monotonic queries in relational data exchange. In: ICDT, pp. 143–154 (2010)Google Scholar
  9. 9.
    Libkin, L.: Data exchange and incomplete information. In: PODS, pp. 60–69 (2006)Google Scholar
  10. 10.
    Nash, A., Segoufin, L., Vianu, V.: Views and queries: Determinacy and rewriting. ACM Trans. Database Syst., 35, 21:1–21:41 (2010)Google Scholar
  11. 11.
    Paul, G.: Approaches to abductive reasoning: An overview. AI Review 7, 109–152 (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Nhung Ngo
    • 1
  • Evgeny Sherkhonov
    • 2
  1. 1.KRDB Research Center for Knowledge and DataFree University of Bozen-BolzanoItaly
  2. 2.ISLAUniversity of AmsterdamThe Netherlands

Personalised recommendations