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.
ChaseT: A tool for checking chase termination / De Francesco, A; Greco, Sergio; Spezzano, F; Trubitsyna, I.. - 6929(2011), pp. 520-524. ((Intervento presentato al convegno International Conference on Scalable Uncertainty Management (SUM 2011) tenutosi a Dayton, OH nel 10-13 October, 2011.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | ChaseT: A tool for checking chase termination |
Autori: | |
Data di pubblicazione: | 2011 |
Rivista: | |
Citazione: | ChaseT: A tool for checking chase termination / De Francesco, A; Greco, Sergio; Spezzano, F; Trubitsyna, I.. - 6929(2011), pp. 520-524. ((Intervento presentato al convegno International Conference on Scalable Uncertainty Management (SUM 2011) tenutosi a Dayton, OH nel 10-13 October, 2011. |
Handle: | http://hdl.handle.net/20.500.11770/186359 |
ISBN: | 978-3-642-23962-5 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |