实验0-关系规范化设计理论和方法.pdfVIP

关系规范化设计理论和方法 一． 关系规范化设计理论 函数依赖 定义： 设关系模式R （U ，F ），U是属性全集，F是U上的函数依赖 集，X和Y 是U 的子集。 如果对于R （U ）的任意一个可能的关系 r ，对于X 的每一个具体 值，Y都有唯一具体的值与之对应，则称 X 函数决定 Y ，或Y 函数依赖 于X ，记为 X→Y 。我们称X为决定因素，Y为依赖因素。当Y不函数依 赖于X时，记作：X Y 。当X→Y且Y→X时，则记作：X Y 。 范式 在关系数据库的规范化过程中，为不同程度的规范化要求设立的 不同的标准或准则称为范式 （Normal Form ）。满足最低要求的叫第 一范式,简称1NF 。在第一范式中满足进一步要求的为第二范式(2NF), 其余以此类推。R为第几范式就可以写成R ∈xNF （x表示某范式 名）。 一个低一级范式的关系模式，通过模式分解可以转换为若干个高 一级范式的关系模式的集合，这种转换过程就叫规范化。 第一范式 定义： 如