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