论文部分内容阅读
关系数据库设计主要是确定在关系数据库中应有哪些关系变量,以及每个关系变量中应该有哪些属性。
自从E.F.Codd于1972年提出规范化理论后,规范化理论已经得到了不断完善。规范化理论在关系数据库设计理论中具有重要作用,现在所说的关系数据库的设计原理指的就是规范化理论。
对于关系数据库设计来说,规范化理论应该说是一种设计科学的关系数据库的必要而不怎么充分的理论。规范化理论很适合用来验证所设计的关系数据库方案是否科学,而不太适合用于直接指导关系数据库的设计工作。因此研究“充分条件”角色的关系数据库设计方法,对于关系数据库教学和商业环境下的关系数据库设计都具有重要价值。
本研究的目的是以关系变量的依赖图为主要工具,提出一种简单直观的关系数据库设计方法,以期对关系数据库教学和商业环境下的关系数据库设计提供一定的借鉴。
本研究在总结分析关系数据库规范化理论的基础上,结合依赖图这种工具,提出了依赖族分离定理,进而提出了关系数据库设计的依赖族分离法。具体说,本研究有如下创新:
1.提出了一种新形式的依赖图。这种依赖图非常直观,是关系数据库设计中一种很好的工具。
2.提出了依赖族、依赖链、候选码族及非候选码族等概念及相应的表示法,以方便进行关系变量的依赖分析。
3.提出了依赖族分离定理及一种直观的关系数据库设计方法——依赖族分离法。
运用本研究提出的关系数据库设计方法——依赖族分离法,可以使所设计的关系数据库达到4NF。