Madeus: Database Live Migration Middleware under Heavy Workloads for Cloud Environment
Making snapshot isolation serializable