From 4c4252e312235884f8620e7b01e7d30ea452dd35 Mon Sep 17 00:00:00 2001
From: cwr31 <59834457+cwr31@users.noreply.github.com>
Date: Mon, 3 Jan 2022 10:47:12 +0800
Subject: [PATCH] =?UTF-8?q?=E4=B8=8D=E5=8F=98=E9=87=8F->=E4=B8=8D=E5=8F=98?=
 =?UTF-8?q?=E5=BC=8F?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

"certain statements about your data(invariants)"，这里的invariants翻译为不变式更为妥当
---
 ch7.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ch7.md b/ch7.md
index e2812d8..eafbdfd 100644
--- a/ch7.md
+++ b/ch7.md
@@ -77,9 +77,9 @@ ACID原子性的定义特征是：**能够在错误时中止事务，丢弃该
 
 很不幸，这一个词就至少有四种不同的含义。
 
-ACID一致性的概念是，**对数据的一组特定约束必须始终成立**。即**不变量（invariants）**。例如，在会计系统中，所有账户整体上必须借贷相抵。如果一个事务开始于一个满足这些不变量的有效数据库，且在事务处理期间的任何写入操作都保持这种有效性，那么可以确定，不变量总是满足的。
+ACID一致性的概念是，**对数据的一组特定约束必须始终成立**。即**不变式（invariants）**。例如，在会计系统中，所有账户整体上必须借贷相抵。如果一个事务开始于一个满足这些不变式的有效数据库，且在事务处理期间的任何写入操作都保持这种有效性，那么可以确定，不变式总是满足的。
 
-但是，一致性的这种概念取决于应用程序对不变量的理解，应用程序负责正确定义它的事务，并保持一致性。这并不是数据库可以保证的事情：如果你写入违反不变量的脏数据，数据库也无法阻止你（一些特定类型的不变量可以由数据库检查，例如外键约束或唯一约束，但是一般来说，是应用程序来定义什么样的数据是有效的，什么样是无效的。—— 数据库只管存储）。
+但是，一致性的这种概念取决于应用程序对不变式的理解，应用程序负责正确定义它的事务，并保持一致性。这并不是数据库可以保证的事情：如果你写入违反不变式的脏数据，数据库也无法阻止你（一些特定类型的不变式可以由数据库检查，例如外键约束或唯一约束，但是一般来说，是应用程序来定义什么样的数据是有效的，什么样是无效的。—— 数据库只管存储）。
 
 原子性，隔离性和持久性是数据库的属性，而一致性（在ACID意义上）是应用程序的属性。应用可能依赖数据库的原子性和隔离属性来实现一致性，但这并不仅取决于数据库。因此，字母C不属于ACID[^i]。