Implementazione della persistenza in TuCSoN