ChaseT: A Tool for Checking Chase Termination

  • Andrea De Francesco
  • Sergio Greco
  • Francesca Spezzano
  • Irina Trubitsyna
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6929)


Consistency problems arise in many fundamental database applications as data exchange, data integration, data warehouse and many others. The chase algorithm is a fundamental and useful tool fixing inconsistencies of database instances with respect to a set of data dependencies. It is well known that the chase algorithm may be non-terminating and several techniques and criteria for checking chase termination have been recently proposed. This paper presents ChaseT, a tool that allows users to design data dependencies and combine different criteria and rewriting algorithms for checking chase termination.


Dependency Graph Data Dependency Data Warehouse Query Answering Database Instance 
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.
    Bertossi, L.E.: Consistent query answering in databases. SIGMOD Record 35(2), 68–76 (2006)CrossRefGoogle Scholar
  2. 2.
    Chomicki, J.: Consistent query answering: Five easy pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 1–17. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: On reconciling data exchange, data integration, and peer data management. In: PODS (2007)Google Scholar
  4. 4.
    Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: PODS (2008)Google Scholar
  5. 5.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Greco, S., Spezzano, F.: Chase termination: A constraints rewriting approach. PVLDB 3(1), 93–104 (2010)Google Scholar
  7. 7.
    Greco, S., Spezzano, F., Trubitsyna, I.: Stratification criteria and rewriting techniques for checking chase termination. PVLDB 4(11) (2011)Google Scholar
  8. 8.
    Lenzerini, M.: Data integration: A theoretical perspective. In: PODS (2002)Google Scholar
  9. 9.
    Marnette, B.: Generalized schema-mappings: from termination to tractability. In: PODS (2009)Google Scholar
  10. 10.
    Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. CoRR, abs/0906.4228 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Andrea De Francesco
    • 1
  • Sergio Greco
    • 1
  • Francesca Spezzano
    • 1
  • Irina Trubitsyna
    • 1
  1. 1.DEIS, Università della CalabriaRendeItaly

Personalised recommendations