关系数据模式

      现在天天工作都和数据库打交道，数据库还是IT行业不可或缺的学科，大学里学数据库的时候就学过关系数据库中的范式，只不过当时考试并不是重点，所以个人没有特别重视，最近看到很多什么软件考试，资格认证等还是很注重这些理论上的东西的，所以把这些有关范式的东西总结一下，以便以后的不时之需。

     所谓范式(Normal Form)是指规范化的关系模式。由于规范化的程度不同，就产生了不同的范式。满足最基本规范化的关系模式叫第一范式，第一范式的关系模式外再满足一些约束条件就产生了第二范式，第三范式，BC范式等。一个低一级的范式通过模式分解可以转换成若干高一级的范式的关系模式的集合，这个过程叫关系模式的规范化(Normalization) 。

     关系模式可以简化表示为R<U,D,Dom,F>，R为关系名，U为关系的属性集合，D为属性集U中属性的数据域，Dom为属性到域的映射，F为属性集U的数据依赖集。其中D和Dom对设计关系模式的作用不大，所以，关系模式的设计可以再简化为R<U,F>，所以F即数据依赖是关系模式的重要要素。数据依赖可以分为函数依赖(FD)，多值依赖(MVD)和连接依赖(Join Dependency)，数据依赖是关系规范化的理论基础。由于第一范式与数据依赖无联系，所以后面再详细总结这3个依赖的定义。

例如 教学关系模式：

                        学生(学号，姓名，年龄，性别，系名称)；

                        教学系(系名，系主任)；

                        选课(学号，课程名，成绩).

      1NF：如果关系模式R，其所有的属性均为简单属性，即每个属性都是不可再分的，则称R属于第一范式(First Normal Form，1NF)。 教学关系模式所有的属性都是不可再分的简单属性。即教学模式属于第一范式。

      2NF：若R属于第一范式，且每一个非主属性完全依赖于码，则称R属于第二范式

      函数依赖：设R<U>是属性U上的关系模式，X、Y是U的子集，若R<U>上任一可能的关系r，r中不可能存在两个元组在X上属性相等，而Y上的属性值不等，则称X函数确定Y函数，或Y函数依赖X函数。记做X->Y。X称为这个函数依赖的决定属性集(Determinant)。Y=f(x)。（待续）。

 

转载于:https://www.cnblogs.com/fn_yao/archive/2010/01/24/1655406.html