ChaseT: A tool for checking chase termination

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.



Titolo: ChaseT: A tool for checking chase termination
Autori: 
DE FRANCESCO, ANDREA
GRECO, Sergio
TRUBITSYNA, Irina
mostra contributor esterni 
Data di pubblicazione: 2011
Rivista: 
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE  
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

File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/20.500.11770/186359
  • Citazioni
  • PubMed Central ND
  • Scopus
  • WOS

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2021