Intro: serializable and recoverable schedules