Analytic models for rollback and recovery strategies in data base systems | IEEE Journals & Magazine | IEEE Xplore