一、 | 何谓数据库的安全 | ||||||
@H_404_4@
|
一、 | 何谓数据库的安全 | ||||||
@H_404_4@
|
二、 | “不好的”(Bad)关系模式:问题 & 原因 | ||||||||||||||||||||||||
考察关系模式:R(SNO,CNO,G,TEACHER,DEPT),其一个实例是:
|
三、 | 如何设计“好的”关系模式:规范化,模式分解 & 范式 | ||||||||||||
@H_404_4@
|
四、 | 权衡:规范化 & 性能 | ||||||||||||
@H_404_4@
|
(TOP ) |
10.2 函数依赖与范式 |
一、 | 函数依赖 | ||||||||||||||||||||||||||||
|
二、 | 范式 | ||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(TOP ) |
10.3 多值依赖与范式 |
(TOP ) |
10.4 关系模式分解(仅在函数依赖范畴内讨论) |
[定义] | 逻辑蕴涵 |
|
[定义] | F的闭包(Closure)F+ |
|
Armstrom公理(Armstrong’s axioms): 三条基本推理规则 | |
|
F+ 可由Armstrong公理从F导出。 |
[定义] | 关系模式R的一个分解 / 关系r在Ui 上的投影 / 函数依赖集F在Ui 上的投影 |
|
[定义] | 无损分解(lossless decomposition) |
|
[定义] | 保持依赖分解(preserve-dependency decomposition) |
|
分解的条件 / 准则: | |
保持依赖分解 ------理想 :决定分解的好坏。 |
结论: | |
总有将一个关系模式分解成BCNF (甚至4NF )的无损 的分解。 |
[附] | Properties of Normal Forms and Their Decompositions: | |
|
[定理] | Source: 萨师煊,数据库系统概论(第二版)。高教,1991。Page 178。 |
[定理] | Source: 王能斌,数据库系统。电子工业,1995。Page 396。 |