The basics of the InnoDB undo logging and history system | Hacker News Reader