auto commit

notes/数据库系统原理.md

@@ -316,7 +316,7 @@ SELECT ... FOR UPDATE;
 MVCC 在每行记录后面都保存着两个隐藏的列，用来存储两个版本号：
 
 - 创建版本号：指示创建一个数据行的快照时的系统版本号；
-- 删除版本号：如果该快照的删除版本号大于当前事务版本号表示该快照有效，否则表示该快照已经被删除了。
+- 删除版本号：如果该快照的删除版本未定义或删除版本号大于当前事务版本号表示该快照有效
 
 ## Undo 日志
 
@@ -392,14 +392,14 @@ SELECT c FROM t WHERE c BETWEEN 10 and 20 FOR UPDATE;
 
 ## Next-Key Locks
 
-它是 Record Locks 和 Gap Locks 的结合，不仅锁定一个记录上的索引，也锁定索引之间的间隙。例如一个索引包含以下值：10, 11, 13, and 20，那么就需要锁定以下区间：
+它是 Record Locks 和 Gap Locks 的结合，不仅锁定一个记录上的索引，也锁定索引之间的间隙，是一个前开后闭区间。例如一个索引包含以下值：10, 11, 13, and 20，那么就需要锁定以下区间：
 
 ```sql
 (-∞, 10]
 (10, 11]
 (11, 13]
 (13, 20]
-(20, +∞)
+(20, +supremum)
 ```
 
 # 七、关系数据库设计理论