《数据库系统概念》事务

事务概念
原子性：事务执行状态：全部执行 || 未执行（回滚）
隔离性：与其他事务串行执行
持久性：提交的事务崩溃后可恢复
一致性：应用层保证

原子性：恢复系统保证必要时事务回滚
持久性：先持久化事务的提交，后由恢复系统崩溃恢复
隔离性：并发控制系统，语义：不可见

原子性与持久性
事务：中止、回滚、提交
日志：重做修改——原子性与持久性 || 撤销修改——原子性
事务状态：活动、失败、中止、部分提交、提交

串行调度
冲突等价：交换非冲突指令顺序
冲突可串行化

事务隔离性与原子性
可恢复调度：事务2读事务1，事务1先提交
无级联调度：事务2读事务1，需事务1已提交，防止级联回滚

事务隔离性级别
未提交读
已提交读
可重复读
串行化
前提：不允许脏写

并发控制机制
锁
时间戳
快照隔离：读无需等待，事务更新不可见