文章目录
数据库系统原理与实践 笔记 #8
关系数据库设计(续)
规范化(Normalization)
范式(Normal Form)
- 各种范式之间包含关系如下：
5 N F ⊂ 4 N F ⊂ B C N F ⊂ 3 N F ⊂ 2 N F ⊂ 1 N F 5NF\subset4NF\subset BCNF\subset3NF\subset2NF\subset1NF 5NF⊂4NF⊂BCNF⊂3NF⊂2NF⊂1NF - 某一关系模式R最高属于第n范式，可简记为 R ∈ n N F R\in nNF R∈nNF
第一范式
- 如果某个域的元素被认为是不可分的单元，那么这个域就是原子的，如果一个关系模式R的所有属性域都是原子的，我们称关系模式R属于第一范式
- 非原子的值会造成复杂存储及数据冗余
第二范式
- 定义：若关系模式 R ∈ 1 N F R\in 1NF R∈1NF，且在 F + F^+ F+中每一个非主属性完全函数依赖于候选码，则 R ∈ 2 N F R\in 2NF R∈2NF
Boyce-Codd范式(BCNF)
- 具有函数依赖集F的关系模式R属于BCNF的条件是：对所有
F
+
F^+
F+中形如
α
→
β
\alpha\rightarrow\beta
α→β的函数依赖(
α
⊆
R
\alpha\subseteq R
α⊆R且
β
⊆
R
\beta\subseteq R
β⊆R)，下面至少有一个成立：
- α → β \alpha\rightarrow\beta α→β是平凡的函数依赖(即 β ⊆ α \beta\subseteq\alpha β⊆α)
- α \alpha α是模式R的一个超码
- 另一个判断准则：在关系模式R(U,F)中，如果 F + F^+ F+ 中的每一个非平凡函数依赖的决定属性集都包含候选码，则 r ( R ) ∈ B C N F r(R)\in BCNF r(R)∈BCNF
- BCNF范式：排除了任何属性（包括主属性和非主属性）对候选码的部分依赖和传递依赖，也排除了主属性之间的传递依赖
将模式分解成BCNF
- 假设有模式R，及其一个非平凡依赖 α → β \alpha\rightarrow\beta α→β不属于BCNF，那么我们可以将R分解成： ( α ∪ β ) (\alpha\cup\beta) (α∪β)和 ( R − ( β − α ) ) (R-(\beta-\alpha)) (R−(β−α))
BCNF和保持依赖
- 检查包括各种约束（码、check子句、函数依赖、断言等）的开销是很大的，但是如果只涉及到单个关系，检查约束的开销相对较低
- 如果F上的每一个函数依赖都在其分解后的一个关系上成立，那么这个分解是保持依赖的
第三范式
- 具有函数依赖集F的关系模式R属于第三范式的条件是：对
F
+
F^+
F+ 中所有形如
α
→
β
\alpha\rightarrow\beta
α→β的函数依赖中，至少有以下之一成立：
- α → β \alpha\rightarrow\beta α→β是一个平凡的函数依赖(即 β ⊆ α \beta\subseteq\alpha β⊆α)
- α \alpha α是R的一个超码啊
- β − α \beta-\alpha β−α的每个属性A都包含在R的候选码中
- 第三个条件是BCNF的一个最小放宽：即允许存在主属性对候选码的传递依赖和部分依赖，在函数依赖集F中用来满足保持某些函数依赖
- 等价定义：
- 关系模式R(U,F)中，若不存在这样的码X、属性组Y及非主属性Z( Z ⊈ Y Z\nsubseteq Y Z⊈Y)，使得 X → Y ( Y ↛ X ) , Y → Z X\rightarrow Y(Y\nrightarrow X),Y\rightarrow Z X→Y(Y↛X),Y→Z，则称R(U,F) ∈ \in ∈ 3NF
- 具有函数依赖集F的关系模式R属于3NF，则R中任何非主属性A既不部分依赖于码也不传递依赖于R的码
函数依赖理论
正则覆盖
- 函数依赖集可能存在冗余依赖(这些依赖可以从其他依赖中推导出来)
- 直观上，F的正则覆盖 F c F_c Fc没有任何冗余依赖或存在冗余部分的依赖
- F c F_c Fc具有和F相同的函数依赖集闭包。其意义在于：验证 F c F_c Fc比验证F更容易，3NF算法必备
无关属性
- 如果去除函数依赖中的一个属性不改变该函数依赖集的必报，则称该属性是无关属性
- 形式化定义：考虑函数依赖集
F
F
F及其
F
F
F中函数依赖
α
→
β
\alpha\rightarrow\beta
α→β：
- 如果 A ∈ α A\in\alpha A∈α并且 F F F逻辑蕴含( F − { α → β } ∪ { ( α − A ) → β } F-\{\alpha\rightarrow\beta\}\cup\{(\alpha-A)\rightarrow\beta\} F−{α→β}∪{(α−A)→β})，则属性A在 α \alpha α中是无关的
- 如果 A ∈ β A\in\beta A∈β并且函数依赖集( F − { α → β } ∪ { α → ( β − A ) } F-\{\alpha\rightarrow\beta\}\cup\{\alpha\rightarrow(\beta-A)\} F−{α→β}∪{α→(β−A)})逻辑蕴含F，则属性A在 β \beta β中是无关的
无关属性的验证
- 验证方法：考虑函数依赖集F及F中的函数依赖 α → β \alpha\rightarrow\beta α→β，验证属性 A ∈ α A\in\alpha A∈α是不是多余的
无损分解
- 对于 R = ( R 1 , R 2 ) R=(R_1,R_2) R=(R1,R2)，我们要求模式 R R R上的所有可能关系r都有 r = ∏ R 1 ( r ) ⋈ ∏ R 2 ( r ) r=\prod_{R_1}(r)\bowtie\prod_{R_2}(r) r=∏R1(r)⋈∏R2(r)
- 如果下面的依赖中至少有一个属于
F
+
F^+
F+，那么将R分解成
R
1
R_1
R1和
R
2
R_2
R2是无损分解连接：
- R 1 ∩ R 2 → R 1 R_1\cap R_2\rightarrow R_1 R1∩R2→R1
- R 1 ∩ R 2 → R 2 R_1\cap R_2\rightarrow R_2 R1∩R2→R2
- 即 R 1 ∩ R 2 R_1\cap R_2 R1∩R2是 R 1 R_1 R1或 R 2 R_2 R2的超码
- 上述函数依赖测试只是无损连接的一个充分条件，只有当所有约束都是函数依赖时，它才是必要条件
保持依赖
- F为模式R上的一个函数依赖集， R 1 , R 2 , . . . , R n R_1,R_2,...,R_n R1,R2,...,Rn为R的一个分解，F在 R i R_i Ri上的限定是 F + F^+ F+中所有只包含 R i R_i Ri中属性的函数依赖的集合 F i F_i Fi
1964
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
