1. 數(shù)據(jù)庫設(shè)計四個階段

   需求分析

• 需求說明文檔

• 數(shù)據(jù)字典

• 數(shù)據(jù)流程圖

• 概念結(jié)構(gòu)

• 邏輯結(jié)構(gòu)

• 物理結(jié)構(gòu)

1. 關(guān)系數(shù)據(jù)庫六范式：

• 第一范式（1NF）：表的每一列都是不可分割的原子數(shù)據(jù)項（所有屬性不可再分）

• 第二范式（2NF）：非碼屬性必須完全依賴于候選碼（消除非主屬性對主碼的部分函數(shù)依賴）

• 單個屬性的主鍵不可能有部分依賴

• 第三范式（3NF）：任何非主屬性不依賴于其他非主屬性（消除傳遞依賴）

• 巴斯-科德范式（BCNF）：任何主屬性不能對主鍵子集依賴（消除主屬性對主碼子集的依賴）

• 第四范式（4NF）：屬性間不允許有非平凡且非函數(shù)依賴的多值依賴（非主屬性不應(yīng)該有多值，消除連接依賴）

• 第五范式（5NF）：表必須可以分解為較小的表，除非那些表在邏輯上擁有與原始表相同的主鍵

1. 無損連接判定

分解后關(guān)系模式形如{ R1(U1,F1), R2(U2,F2) }

那么，判斷 R1∩R2 是否能推出 R1-R2 or R2-R1

例如，U={A,B,C}，F(xiàn)={A->B,B->C}，ρ={R1(U1,F1), R2(U2,F2)}，其中 U1={A,B} ，U2={A,C}

∵ R1∩R2=A，R1-R2=B，A->B

∴ 是無損連接

1. 求屬性閉包

就是求由一個屬性直接或間接推導(dǎo)出的屬性的集合

1. 二階段提交 Two-phaseCommit

目的：一致性

第一階段：準(zhǔn)備階段（表決階段）

第二階段：提交階段（執(zhí)行階段）