在数据库管理系统中,事务是指一系列数据库操作组成的集合,这些操作要么全部成功执行,要么全部失败撤销。数据库事务管理是数据库系统的重要组成部分。数据库管理系统提供了一系列机制来控制和管理事务的执行,以确保事务的原子性、一致性、隔离性和持久性。在设计和实现数据库应用时,合理使用事务可以提高系统的可靠性和性能。本课程主要知识点包括事务概念、并发调度和故障恢复。本课程有助于学生完整地理解事务概念,并能够将事务概念应用于DBMS开发和应用软件开发。
Overview
Syllabus
- 第一章 事务
- 1.1 事务的概念
- 1.2 一个简单的事务模型
- 1.3 事务的原子性和持久性
- 1.4 事务的隔离性
- 第二章 事务的可串行化
- 2.1 并发控制
- 2.2.1 可串行化
- 2.2.2 可串行化判定
- 2.3 可恢复调度和无级联调度
- 2.4 事务的隔离性级别
- 2.5 事务的SQL语句表示
- 第三章 并发控制-基于锁的协议
- 3.1.1 锁的基本概念
- 3.1.2 锁协议和死锁
- 3.2.1 两阶段封锁协议
- 3.2.2 两阶段封锁协议示例
- 3.3.1 死锁预防
- 3.3.2 死锁检测与恢复
- 3.4 多粒度封锁协议
- 第四章 并发控制-基于时间戳的协议
- 4.1 时间戳和时间戳排序协议
- 4.2 时间戳排序协议练习
- 4.3 Thomas写规则
- 4.4 插入操作、删除操作与谓词读
- 第五章 并发控制-其他协议
- 5.1 基于有效性检查的协议
- 5.2 多版本机制
- 5.3 快照隔离
- 5.4 并发控制练习
- 第六章 恢复系统
- 6.1 故障分类和存储器
- 6.2 恢复与原子性
- 6.3 检查点
- 第七章 恢复算法和缓冲区管理
- 7.1 恢复算法
- 7.2 缓冲区管理
- 7.3 非易失性存储器数据丢失的故障
- 综合作业
Taught by
Li Hui