笔记分享: 墨尔本大学INFO20003数据库系统——04. 归一化与事务

更多 资料与 笔记

$\text{Normalization \& Transaction}$

$\text{1. Normalization}$

$\text{1.1. Normalization}$​定义

1️⃣定义

	操作	目的
$\text{Normalization}$	一大表格$\stackrel{拆分}{\to }$若干小表格	去除$\text{Redundancies}$从而避免$\text{Anomoly}$
$\text{Denormalization}$	一大表格$\stackrel{拼接}{\leftarrow }$若干小表格	避免频繁的$\text{Join}$

⚠️$\text{Fully Normalized = Eliminate All Anomalies}$，一般到$\text{4NF}$才算完全归一化

2️⃣示例

1. 标准化前

   $\text{StuID}$	$\text{SName}$	$\text{CID}$	$\text{CName}$
   $\text{1}$	$\text{John}$	$\text{101}$	$\text{Math}$
   $\text{2}$	$\text{Mary}$	$\text{102}$	$\text{English}$
   $\text{1}$	$\text{John}$	$\text{103}$	$\text{Physics}$
   $\text{3}$	$\text{Peter}$	$\text{101}$	$\text{Math}$
   $\text{2}$	$\text{Mary}$	$\text{103}$	$\text{Physics}$

2. 标准化后

   $\text{学生表}$	$\text{StuID}$	$\text{SName}$	$\text{课程表}$	$\text{CID}$	$\text{CName}$	$\text{学生-课程表}$	$\text{StuID}$	$\text{CID}$
   $\text{/}$	$\text{1}$	$\text{John}$	$\text{/}$	$\text{101}$	$\text{Math}$	$\text{/}$	$\text{1}$	$\text{101}$
   $\text{/}$	$\text{2}$	$\text{Mary}$	$\text{/}$	$\text{102}$	$\text{English}$	$\text{/}$	$\text{2}$	$\text{102}$
   $\text{/}$	$\text{1}$	$\text{John}$	$\text{/}$	$\text{103}$	$\text{Physics}$	$\text{/}$	$\text{1}$	$\text{103}$
   $\text{/}$	$\text{3}$	$\text{Peter}$	$\text{/}$	$\text{101}$	$\text{Math}$	$\text{/}$	$\text{3}$	$\text{101}$
   $\text{/}$	$\text{2}$	$\text{Mary}$	$\text{/}$	$\text{103}$	$\text{Physics}$	$\text{/}$	$\text{2}$	$\text{103}$

3️⃣$\text{Normalization/Denormalization}$对比

操作	$\text{Normalization}$，比如$\text{A, B}$	$\text{Denormalization}$，比如$\text{A}\bowtie \text{B}$
查询一个表	快	慢
查询两个表	慢	快
插入/修改/删除	容易	困难

$\text{1.2. Database Anomalies}$​异常

1️⃣概述：期末会给你表格，让你用文字描述举例三种$\text{Anomaly}$​

1. 示例表格

   $\text{Order(PFK)}$	$\text{Item(PFK)}$	$\text{Desc}$	$\text{Qty}$
   $\text{27}$	$\text{873}$	$\text{nut}$	$\text{2}$
   $\text{28}$	$\text{873}$	$\text{nut}$	$\text{10}$
   $\text{30}$	$\text{495}$	$\text{washer}$	$\text{50}$

2. 基本概念

   $\text{Anomaly}$	含义	示例(下表)
   $\text{Insertion}$	插入数据$\text{→}$插入其他数据	插入$\text{Item/Desc}\stackrel{还需}{\to }$插入$\text{Order/Qty}$
   $\text{Deletion}$	删除数据$\text{→}$删除其他数据	删除$\text{Order30}\stackrel{引起}{\to }$整行删除
   $\text{Update}$	更新数据$\text{→}$更新其他数据	更新$\text{Item873}$的$\text{Desc}\underset{有两处\text{Item873}}{\overset{引起}{\to }}$两处$\text{Desc}$更新

2️⃣用$\text{NULL}$来解决$\text{Anomaly:}$ 不能根本解决

1. $\text{Insertion Anomaly}$可能可以，原因在于$\text{PK}$是不能$\text{NULL}$的
   • 可以的示例：插入$\text{Order/Item/Desc}\to \text{Qty}$为$\text{NULL}$
   • 不可以的示例：插入$\text{Item/Desc}\to \text{Qty}$为$\text{NULL/}\text{Order}$不能为$\text{NULL}$​
2. $\text{Deletion Anomaly:}$ 同理可能可以，当删除的数据不是$\text{PK}$时，可考虑设为$\text{NULL}$
3. $\text{Update Anomaly:}$ 绝对没戏，不可能更新成$\text{NULL}$

$\text{1.3. Functional Dependencies}$​

1️⃣概述

1. 定义：$\text{A set of attributes X determines another set of attributes Y uniquely}$
2. 符号：$\text{X}\to \text{Y}$表示如果知道$\text{X}$就知道$\text{Y}$，比如$\text{Stu-Name}\to \text{Stu-FirstName}$​
3. 性质：
   • 依赖恒等式：$\text{X}\to \text{X}$ ，$\text{PK}\to \text{All Column}$​
   • 拆分原则$\text{: AB}\to \text{CD}\{\begin{array}{l}可以拆分为\text{: AB}\to \text{C / }\text{AB}\to \text{D}\\ \\ 不可拆分为\text{: A}\to \text{CD / }\text{B}\to \text{CD}\end{array}\to 只有右侧可拆分$​

2️⃣有关概念：以$\text{A}(\underline{\text{X}},\underline{\text{Y}},\text{Z},\text{D})$为例

1. $\text{Determinants:}$
   • 箭头左侧的属性，比如$\underline{\text{X}},\underline{\text{Y}}\to \text{Z}$中的$\text{XY}$
   • 至于这其中$\text{Z}$叫什么就无具体说法
2. $\text{Key/Non-Key}$属性：包含/不包含$\text{PK}$的属性，比如

   属性类型	含义	示例
   $\text{Key}$属性	包含$\text{PK}$的属性，或者说是$\text{PK}$的一部分	$\underline{\text{X}},\underline{\text{Y}}$
   $\text{Non-Key}$属性	其余属性	$\text{Z},\text{D}$

3. 两种$\text{Dependency}$​​

   依赖类型	含义	示例
   $\text{Partial Functional Dependency}$	$\text{Key}$属性($\text{PK}$的一部分)$\stackrel{决定}{\to }\text{Non-Key}$属性	$\underline{\text{Y}}\to \text{Z}$
   $\text{Transitive Dependency}$(传递性)	$\text{Non-Key}$属性$\stackrel{决定}{\to }\text{Non-Key}$属性	$\text{Z}\to \text{D}$

3️⃣$\text{Armstrong’s Axioms}$(公理)

$\text{Axioms}$	条件	$\Rightarrow$	结果	备注
$\text{Reflexivity}$	$\text{B}\subseteq \text{A}$	$\Rightarrow$	$\text{A}\to \text{B}$	或者说$\text{A}\text{B}\to \text{A}$
$\text{Augmentation}$(扩展)	$\text{A}\to \text{B}$	$\Rightarrow$	$\text{AC}\to \text{BC}$	$\text{N/A}$
$\text{Transitive}$	$\text{A}\to \text{B }\wedge \text{ B}\to \text{C}$	$\Rightarrow$	$\text{A}\to \text{C}$	$\text{N/A}$

$\text{1.4. Normal Form}$​

0️⃣$\text{Overview}$

$\text{Normal Form}$	$\text{Description}$
$\text{0NF}$	混沌之物$\text{ (Non-Relational)}$
$\text{1NF}$	无$\text{Repeating Groups}$
$\text{2NF}$	无$\text{Repeating Groups+}\text{Partial Dependency}$
$\text{3NF}$	无$\text{Repeating Groups+}\text{Partial Dependency+}\text{Transitive Dependency}$

1️⃣$\text{1NF}$​

1. $\text{1NF}$ 的基本特征，$\text{(}$不满足以下特征的就是$\text{Non-Relational Model)}$
   • 不能有重复的列
   • 不能有$\text{Repeating Groups}$，即表中一个单元($\text{Fill}$)只能有一个数据
     • (不同单元的数据用逗号隔开，但注意有些数据单元内本就有逗号如$\text{Address}$)
2. $\text{Non-Relational Model→1NF:}$
   • 将$\text{Repeating Groups}$从原表中拆分成新表
   • 将原表的$\text{PK}\{\begin{array}{l}一份保留在原关系\to 作\text{PK}\\ \\ 一份复制到新关系\to 作\text{PFK}\end{array}$
3. 示例：注意区分$\underline{\text{PK}}$，$\overline{\text{FK}}$，$\overline{\underline{\text{PFK}}}$的表示方法
   $\text{Order-Item(}\underline{\text{Order}}\text{, Cust, (}\underline{\text{Item}}\text{, Desc, Qty))}\text{→}\{\begin{array}{l}\text{Order(}\underline{\text{Order}}\text{, Cust)}\\ \\ \text{Order-Item(}\overline{\underline{\text{Order}}}\text{, }\underline{\text{Item}}\text{, Desc, Qty)}\end{array}$

2️⃣$\text{2NF}$

1. $\text{2NF}$基本特征：$\text{Part of Composite Key}\underset{❌}{\overset{\text{Identify}}{\to }}\text{Non-key Attribut (NO Partial 依赖)}$
2. $\text{1NF→2NF:}$ 移除$\text{Partial Dependencies}$​​
   • 把$\text{Partial Dependencies}$从原关系中剥离出来
   • $\text{Partial Dependencies}$的$\text{Determinant}\{\begin{array}{l}一份保留在原关系\to 作\text{PFK}\\ \\ 一份剥离到新关系\to 作\text{PK}\end{array}$
3. 示例：注意区分$\underline{\text{PK}}$，$\overline{\text{FK}}$，$\overline{\underline{\text{PFK}}}$的表示方法
   • $假设\text{Order-Item(}\overline{\underline{\text{Order}}}\text{, }\underline{\text{Item}}\text{, Desc, Qty))存在}\{\begin{array}{l}\overline{\underline{\text{Order}}},\underline{\text{Item}}\to \text{Qty}\\ \\ \underline{\text{Item}}\to \text{Desc (Partial Dependency)}\end{array}$
   • $\text{Order-Item}\text{→}\{\begin{array}{l}\text{Order(}\underline{\text{Order}}\text{, Cust)}\\ \\ \text{Order-Item(}\overline{\underline{\text{Order}}}\text{, }\underline{\text{Item}}\text{, Desc, Qty))→}\{\begin{array}{l}\text{Item(}\underline{\text{Item}}\text{, Desc)}\\ \\ \text{Order-Item(}\overline{\underline{\text{Order}}}\text{, }\overline{\underline{\text{Item}}}\text{, Qty)}\end{array}\end{array}$

3️⃣$\text{3NF}$​​

1. $\text{3NF}$基本特征：$\text{Non-key Attribut}\underset{❌}{\overset{\text{Identify}}{\to }}\text{Non-key Attribut (NO Transitive 依赖)}$
2. $\text{2NF→3NF:}$ 移除$\text{Transitive Dependencies}$​​
   • 把$\text{Transitive Dependency}$从原关系剥离出来
   • $\text{Transitive Dependency}$的$\text{Determinant}\{\begin{array}{l}一份保留在原关系\to 作\text{FK}\\ \\ 一份剥离到新关系\to 作\text{PK}\end{array}$
3. 示例：注意区分$\underline{\text{PK}}$，$\overline{\text{FK}}$，$\overline{\underline{\text{PFK}}}$的表示方法
   • 假设$\{\begin{array}{l}\underline{\text{Empt}}\to \text{Ename, Dept}\\ \\ \text{Dept}\to \text{Dname (Transitive Dependency)}\end{array}$
   • $\text{Emp(}\underline{\text{Emp}}\text{, Ename, Dept, Dname)}\to \{\begin{array}{l}\text{Emp(}\underline{\text{Emp}}\text{, Ename, }\overline{\text{Dept})}\\ \\ \text{Dept(}\underline{\text{Dept}}\text{, Dname)}\end{array}$

4️⃣其他级别的$\text{NF}$(课外，可不看)

1. $\text{BCNF:}$ $\text{Non-key Attribut}\underset{❌}{\overset{\text{Identify}}{\to }}\text{Part of Composite Key}$​
2. $\text{4NF:}$解决$\text{Multivalue Dependency}$
   • 多值依赖：比如若下列$\{\begin{array}{l}\text{M}\stackrel{✔\stackrel{◯}{R}}{\to }\text{S}\\ \text{M}\stackrel{✔\stackrel{◯}{R}}{\to }\text{C}\\ \text{C}\stackrel{❌}{\leftrightarrow }\text{S}\end{array}\to$则存在多值依赖，且记为$\{\begin{array}{l}\text{M→→S}\\ \\ \text{M→→C}\end{array}$

     $\text{M}$	$\text{S}$	$\text{C}$
     $\text{M1}$	$\text{S1}$	$\text{C1}$
     $\text{M1}$	$\text{S1}$	$\text{C2}$
     $\text{M1}$	$\text{S2}$	$\text{C1}$

   • 当关系达到$\text{4NF}$时就认为完成$\text{Normalization}$了，已经没有$\text{Duplicates}$​​了
3. $\text{5NF:}$解决$\text{Loss Dependency}$
   • 若表格拆开又拼回去不改变原表格($\text{Lossless-Join}$分解)，则表格就有$\text{Loss Dependency}$
   • 但实际上不会如此吹毛求疵了

$\text{2. Transaction}$​(事务)

$\text{2.1. }$概念与概述

1️⃣$\text{Tansaction}$定义：

1. 定义：数据库操作序列($\text{A logical unit of work}$​)
2. 根本特性：要么一次性执行完$\text{Entirely Completed}$要么$\text{Aborted}$​​​，是不可分割的工作单位

   状态	操作
   $\text{COMMIT}$	事务正常结束，完成所有操作(读取数据，更新写回硬盘)
   $\text{ROLL BACK}$	事务异常结束，中途不再继续运行，已完成的操作也全部撤回

2️⃣$\text{Tansaction}$引入的目的

1. 定义$\text{Unit of Work}$，适用于一个/多个用户
2. $\text{Concurrent Access}$，允许多个$\text{Command}$交织执行，适用于多个用户

3️⃣$\text{Tansaction}$种类

1. $\text{Implicit Transaction:}$ 单独一句$\text{DML/DDL}$就是$\text{Transaction}$​

   SELECT / INSERT / DELETE / CREATE / ALTER / DROP -- 比如一个SELECT就是一个事务
   

2. $\text{User-Defined Transaction:}$ 需要关键字BEGIN/COMMIMT/RILLBACK

    -- 从SATRT到COMMIT不论中间多少语句，都只算一个Transaction
   START TRANSACTION; -- 开始事务,也可以用BEGIN TRANSACTION
    -- SQL 语句1
    -- SQL 语句2
   COMMIT; -- 提交事务
   ROLLBACK; -- 或者如果发生错误，回滚事务
   

4️⃣$\text{Transaction}$性质$\text{: ACID}$​

性质	描述
$\text{Atomicity}$	$\text{Transaction}$是不可分割的逻辑工作单位(执行完$\text{Or}$回退)
$\text{Consistancy}$	$\text{Transaction}$执行前后数据库都是一致状态$\text{+}$多用户读取数据时应看到相同值
$\text{Isolation}$	运行结束前一个$\text{Transaction}$的改变对其他$\text{Transaction}$不可见
$\text{Durability}$	一旦$\text{Transaction}$执行完其对数据的改变永久有效(即使系统崩溃)

$\text{2.2. Serializability}$

1️⃣$\text{Transaction}$的交叉执行($\text{Interleaved}$)：注意$\text{Transaction}\stackrel{缩写}{\to }\text{TXN}$

$\text{Execution}$种类	含义	备注
$\text{Concurrent/Interleaved}$	不同$\text{TXN}$交叉并行执行	实际$\text{TXN}$执行方式
$\text{Serial Execution}$	不同$\text{TXN}$一个个执行	最安全但最低效的执行方式

2️⃣示例

1. $\text{Serial Execution}$​的读写操作

   $\text{TXN}$	$\text{Stage1}$	$\text{Stage2}$	$\text{Stage3}$	$\text{Stage4}$
   $\text{TXN1}$	$\text{R(A)}$	$\text{W(A)}$	$\text{/}$	$\text{/}$
   $\text{TXN2}$	$\text{/}$	$\text{/}$	$\text{R(B)}$	$\text{W(B)}$

2. $\text{Concurrent Execution}$的读写操作：黄标为$\text{Concurrent Execution}$部分

   $\text{TXN}$	$\text{Stage1}$	$\text{Stage2}$	$\text{Stage3}$	$\text{Stage4}$
   $\text{TXN1}$	$\text{R(A)}$	$\text{R(A)}$	$\text{W(A)}$	$\text{W(A)}$
   $\text{TXN2}$	$\text{/}$	$\text{R(B)}$	$\text{/}$	$\text{W(B)}$

3️⃣$\text{Serializable}$

1. 含义：多个$\text{TXN}$是$\text{Serializable}\stackrel{}{\iff }$(多个$\text{TXN}$并行执行效果 $ \equiv\text{Serial Execution}$执行效果)
2. 上例中：若$\text{AB}$的读写互不干扰，则两表最终结果一样，则$\text{TXN1/2}$是$\text{Serializable}$

$\text{2.3. Concurrent Execution}$的问题与解决

$\text{2.3.1. Concurrent Access Conflict}$

🤔出现问题的根本原因：多$\text{TXN}$操作同一$\text{Object}$，并且其中至少一个操作是$\text{Write}$

1️⃣$\text{Loss Update Problem:}$ 多次针对一个$\text{Object}$写，$\text{Object}$为最后一次写的内容

$\text{TXN}$	$\text{Stage1}$	$\text{Stage2}$	$\text{Stage3}$	$\text{Stage4}$	$\text{Stage5}$
$\text{Bob}$	$\text{R(A)}$	$\text{/}$	$\text{W(A)}$	$\text{/}$	$\text{COMMIT}$
$\text{Alice}$	$\text{/}$	$\text{R(A)}$	$\text{/}$	$\text{W(A)}$	$\text{COMMIT}$

• 最后结果是$\text{Alice}$​写入内容

2️⃣$\text{Uncommitted Data/Dirty Read Problem:}$ 某$\text{TXN}$回退导致未交付数据被后面$\text{TXN}$使用

$\text{TXN}$	$\text{Stage1}$	$\text{Stage2}$	$\text{Stage3}$	$\text{Stage4}$	$\text{Stage5}$
$\text{Bob}$	$\text{R(A)}$	$\text{W(A)}$	$\text{/}$	$\text{/}$	$\text{ROLL BACK}$
$\text{Alice}$	$\text{/}$	$\text{/}$	$\text{R(A)}$	$\text{W(A)}$	$\text{COMMIT}$

• $\text{W(A)}$数据并未$\text{COMMIT}$但却被$\text{Alice}$​使用

3️⃣$\text{Inconsistent Retrieval Problem:}$ 一个$\text{TXN}$在聚合函数操作$\text{+}$另一个$\text{TXN}$在$\text{Update}$​数据

• 理论上，可以合理安排$\text{Interleaved}$​来避免冲突

$\text{2.3.2. Concurrency Control Method:}$ 解决冲突

$\text{2.3.2.0. }$概述

1️⃣总体思路：合理安排读写操作的顺序

2️⃣基本思路

基本思路	操作	备注
$\text{Pesimistic}$	先检查有无问题，以选择不执行/更正后执行	比如$\text{Lock}$
$\text{Optimistic}$	先一股脑执行，执行完后有问题再回来更正	此课程不涉及

• $\text{Optimistic}$方法：$\text{Timestamping}$和$\text{Optimistic Concurrency Control}$

$\text{2.3.2.1. Lock Method}$

1️⃣总体思路：

1. 逻辑上：通过让$\text{TXN}$持有$\text{Lock}$，让当前$\text{TXN}$霸占某个数据项($\text{Exclusive Use of Data}$)
2. 物理上：在$\text{RAM}$上设置$\text{Lock Manager}$来管理$\text{Lock}$的数据

2️⃣$\text{Level/Gradularity}$(精细度)$\text{of Lock}$

$\text{Gradularity}$	含义	使用频率
$\text{Database-Level}$	锁住整个数据库	$\text{Slightly Rare}$
$\text{Table-Level}$	锁住一张表格	$\text{Very Common}$
$\text{Page-Level}$	锁住一页(一张表存储在多页中)	$\text{Common}$
$\text{Row-Level}$	锁住表中的一行	$\text{Most Common}$
$\text{Field-Level}$	锁住表中的某个值	$\text{Rare}$

1. 理想情况$\text{Field-Level}$最好，但其$\text{Lock}$​过于复杂($\text{High Overhead}$)，反倒最不常用
2. 在$\text{MySQL}$中，如果多层级$\text{Lock}$被应用，则需要$\text{Intention Lock}$​​来辅助

3️⃣$\text{Types of Lock}$​​

1. $\text{Binary Lock:}$ 仅$\text{Lock/Unlock}$两种状态，只要用到数据(不论读写)都是$\text{Lock}$
2. $\text{Shared and Exclusive Locks(Read and Write Locks)}$
   • 描述

     $\text{Type}$	适用情况	要求
     $\text{Share/Read Lock}$	$\text{Read Table Only}$	无$\text{Write Lock}$
     $\text{Exclusive/Write Lock}$	$\text{Update(Write) Records in Table}$	无其他$\text{Lock}$

   • 要求表，这张表很重要

     操作	已有$\text{S-Lock}$	已有$\text{X-Lock}$
     申请新的$\text{S-Lock}$	✔️	❌
     申请新的$\text{X-Lock}$	❌	❌

4️⃣上锁与解锁$\text{Two Phase Policy}$

1. $\text{Two Phase Policy:}$​​

   $\text{Phase}$	描述
   $\text{Grow Phase}$	给$\text{Object}$一个个上锁
   $\text{Shrink Phase}$	给$\text{Object}$一个个解锁，当解锁开始时就不能再上锁了

2. $\text{Strict Two Phase Policy:}$​ 相比于非$\text{Strict}$有如下改变
   • 只有在$\text{Transaction COMMIT}$后才能解锁
   • 解锁不是一个个解锁，而是一次性全部解锁

$\text{2.3.2.2. Unresolvable Problem For Lock: Deadlock}$​

1️⃣基本思路

基本思路	操作	备注
$\text{Pesimistic}$	执行前先检查是否死锁，如果死锁就不执行/更正后执行	$\text{N/A}$
$\text{Optimistic}$	先一股脑执行，每隔一段时间检测是否锁死并加以解决	此处不涉及

2️⃣死锁$\text{Detection}$的方法：$\text{Wait-For Graph}$

1. 用圈代表$\text{TXN}$，用箭头表示等待($\text{A}\to \text{B}$表示$\text{A}$在等待$\text{B}$释放某个$\text{Lock}$)
2. 当$\text{Graph}$构成闭环$\to$死锁，但注意成环不代表闭环，闭环是要形成环路(下图示例)
   

3️⃣死锁检测例题$\text{1:}$ 序列$\text{1}$如下，$\text{C=COMMIT}$，其次不必在意一个$\text{Object}$可以不读就写

序列: $\text{TXN}$	$\text{1}$	$\text{2}$	$\text{3}$	$\text{4}$	$\text{5}$	$\text{6}$	$\text{7}$	$\text{8}$	$\text{9}$
序列$\text{1: T1}$	$\text{R(Z)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{W(Y)}$	$\text{C}$	$\text{/}$	$\text{/}$	$\text{/}$
序列$\text{1: T2}$	$\text{/}$	$\text{W(X)}$	$\text{W(Y)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{C}$	$\text{/}$	$\text{/}$
序列$\text{1: T3}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{W(Y)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{C}$	$\text{/}$

1. $\text{Lock}$请求时序：${\text{T}}_{1,2,3}$对$\text{X-Lock(Y)}$的请求构成等待

   $\text{T1}$	$\text{T2}$	$\text{T3}$
   $\text{R(Z)}\stackrel{获得}{\to }\text{S-Lock(Z)}$	$\text{/}$	$\text{/}$
   $\text{/}$	$\text{W(X)}\stackrel{获得}{\to }\text{X-Lock(X)}$	$\text{/}$
   $\text{/}$	$\text{W(Y)}\stackrel{获得}{\to }\text{X-Lock(Y)}$	$\text{/}$
   $\text{/}$	$\text{/}$	$\text{W(Y)}\underset{{\text{T}}_2释放}{\overset{等待}{\to }}\text{X-Lock(Y)}$
   $\text{W(Y)}\underset{{\text{T}}_{2,3}释放}{\overset{等待}{\to }}\text{X-Lock(Y)}$	$\text{/}$	$\text{/}$

2. 对于${\text{T}}_{1,2,3}$的$\text{Wait-For Graph}\stackrel{不闭环}{\to }$​不构成死锁
   
3. $\text{TXN}$顺序：$\text{T2}$完成$\underset{\text{T3}获得\text{X-Lock(Y)}}{\overset{{\text{T}}_2\text{ COMMIT}释放\text{X-Lock(Y)}}{\to }}\text{T3}$完成$\underset{\text{T1}获得\text{X-Lock(Y)}}{\overset{{\text{T}}_3\text{ COMMIT}释放\text{X-Lock(Y)}}{\to }}\text{T1}$完成

4️⃣死锁检测例题$\text{2}$

序列: $\text{TXN}$	$\text{1}$	$\text{2}$	$\text{3}$	$\text{4}$	$\text{5}$	$\text{6}$	$\text{7}$	$\text{8}$	$\text{9}$
序列$\text{2: T1}$	$\text{/}$	$\text{W(Y)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{W(X)}$	$\text{C}$	$\text{/}$	$\text{/}$
序列$\text{2: T2}$	$\text{W(X)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{W(Y)}$	$\text{/}$	$\text{/}$	$\text{C}$	$\text{/}$
序列$\text{2: T3}$	$\text{/}$	$\text{/}$	$\text{R(Z)}$	$\text{W(Z)}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{/}$	$\text{C}$

1. $\text{Lock}$请求时序：${\text{T}}_{1,2,3}$对$\text{X-Lock(Y)}$​的

   $\text{T1}$	$\text{T2}$	$\text{T3}$
   $\text{/}$	$\text{W(X)}\stackrel{获得}{\to }\text{X-Lock(X)}$	$\text{/}$
   $\text{W(Y)}\stackrel{获得}{\to }\text{X-Lock(Y)}$	$\text{/}$	$\text{/}$
   $\text{/}$	$\text{/}$	$\text{R(Z)}\stackrel{获得}{\to }\text{S-Lock(Z)}$
   $\text{/}$	$\text{/}$	$\text{W(Z)}\stackrel{获得}{\to }\text{X-Lock(Z)}$
   $\text{/}$	$\text{W(Y)}\underset{{\text{T}}_1释放}{\overset{等待}{\to }}\text{X-Lock(Y)}$	$\text{/}$
   $\text{W(X)}\underset{{\text{T}}_2释放}{\overset{等待}{\to }}\text{X-Lock(X)}$	$\text{/}$	$\text{/}$

2. 对于${\text{T}}_{1,2,3}$的$\text{Wait-For Graph}\stackrel{闭环}{\to }$构成了死锁
   
3. $\text{TXN}$顺序：只有${\text{T}}_3$​可以完成

5️⃣一些课外补充

1. 死锁的解决：选择一个死锁的$\text{TXN}$去(部分)回退，至于是哪个可以根据$\text{Age}$/负载等
2. 死锁的预防：$\text{Wait-die and Wound-die Policy}$​

$\text{2.3.2.3. Concurrency Control Method}$

1️⃣$\text{TXN}$序列：是一个$\text{Loss Update Problem}$问题

$\text{Time}$	$\text{t=0}$	$\text{t=1}$	$\text{t=2}$	$\text{t=3}$	$\text{Final}$
$\text{T1}$	$\text{R(A)}$	$\text{/}$	$\text{/}$	$\text{W(A)}$	$\text{COMMIT}$
$\text{T2}$	$\text{/}$	$\text{R(A)}$	$\text{W(A)}$	$\text{/}$	$\text{COMMIT}$

2️⃣用$\text{Binary Lock}$​​​​​解决

1. 规则：

   操作	已占用$\text{Lock}$
   申请新的$\text{Lock}$	❌

2. 执行

   阶段	操作
   $\text{T1-R(A)}$	获取$\text{Lock(A)}$并执行
   $\text{T2-R(A)}$和$\text{T2-W(A)}$	等待$\text{T1}$释放$\text{Lock(A)}$
   $\text{T1-W(A)}$	已有$\text{Lock(A)}$并执行
   $\text{COMMIT}$	只有$\text{W(A)}$完成执行

3️⃣$\text{Shared and Exclusive Locks(Read and Write Locks)}$​​解决

1. 规则

   操作	已占用$\text{S-Lock}$	已占用$\text{X-Lock}$
   申请新的$\text{S-Lock}$	✔️	❌
   申请新的$\text{X-Lock}$	❌	❌

2. 执行

   阶段	操作
   $\text{T1-R(A)}$	获取$\text{S-Lock(A)-1}$
   $\text{T2-R(A)}$	获取$\text{S-Lock(A)-2}$ (在已有$\text{S-Lock}$情况下在获取一个$\text{S-Lock}$是$\text{OK}$的)
   $\text{T2-W(A)}$	等待$\text{T1}$释放$\text{X-Lock(A)-1}$
   $\text{T1-W(A)}$	等待$\text{T2}$释放$\text{X-Lock(A)-2}$
   $\text{COMMIT}$	$⟹$死锁，谁都$\text{COMMIT}$不了

$\text{2.4. Transaction Log}$​

1️⃣含义：记录数据库事务变化的日志，包括

1. $\text{Transaction}$开始的记录
2. 每个$\text{SQL}$语句的详细信息
3. $\text{Transaction COMMIT}$的记录

2️⃣作用：将所有更改恢复到最后一次$\text{COMMIT}$的状态