Analytic models for rollback and recovery strategies in data base systems | Synapse