The basics of the InnoDB undo logging and history system – Jeremy Cole