TY - GEN
T1 - ChaseT
T2 - 5th International Conference on Scalable Uncertainty Management, SUM 2011
AU - De Francesco, Andrea
AU - Greco, Sergio
AU - Spezzano, Francesca
AU - Trubitsyna, Irina
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=80054084329&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-23963-2_40
DO - 10.1007/978-3-642-23963-2_40
M3 - Conference contribution
AN - SCOPUS:80054084329
SN - 9783642239625
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 520
EP - 524
BT - Scalable Uncertainty Management - 5th International Conference, SUM 2011, Proceedings
Y2 - 10 October 2011 through 13 October 2011
ER -