企业官网建设流程全解析

3.2.4 数据依赖

对于满足一组函数依赖F的关系模式 R <U,F>，其任何一个关系r，若函数依赖X→Y都成立（即r中任意两元组t、s，若t[X]=s[X]，则 t[Y]=s[Y]），则称F逻辑蕴涵X →Y。

3.2.5 模式分解

关系模式的规范化，其基本思想如图3-1 所示。

图3-1 关系模式的规范化

若要求分解具有无损连接性，那么模式分解一定能够达到4NF。

若要求分解保持函数依赖，那么模式分解一定能够达到3NF，但不一定能够达到BCNF。

若分解既具有无损连接性，又保持函数依赖，则模式分解一定能够达到3NF，但不一定能够达到BCNF。

规范化理论为数据库设计提供理论的指南和工具，但并非规范化程度越高，模式就越好。必须结合应用环境和现实世界的具体情况合理地选择数据库模式。