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-targettuplegeneratingdependencies – 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 incompletedatabase 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.


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)MathSciNetMATHCrossRefGoogle 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