From 9184b43d609106b05943676f30fe9e5063226d06 Mon Sep 17 00:00:00 2001
From: rogerszy <52392059+rogerszy@users.noreply.github.com>
Date: Tue, 8 Dec 2020 14:47:54 +0800
Subject: [PATCH] =?UTF-8?q?Update=20=E6=95=B0=E6=8D=AE=E5=BA=93=E7=B3=BB?=
 =?UTF-8?q?=E7=BB=9F=E5=8E=9F=E7=90=86.md?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Next-key Locks 应该是前开后闭的区间，所以示例中最后的 (20, +∞)，应该修改为 (20, +supremum]，因为 +∞ 是开区间，应该设置一个不存在的最大值 supremum 代表闭区间。
---
 notes/数据库系统原理.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md
index 8ef8e6d4..2b683d4b 100644
--- a/notes/数据库系统原理.md
+++ b/notes/数据库系统原理.md
@@ -353,14 +353,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，那么就需要锁定以下区间（其中 supremum 是一个不存在的最大值代表闭区间）：
 
 ```sql
 (-∞, 10]
 (10, 11]
 (11, 13]
 (13, 20]
-(20, +∞)
+(20, +supremum]
 ```
 
 ## 七、关系数据库设计理论