第五章关系数据理论-Read.pptVIP

* * 第五章 关系数据理论(1) 关系模型的形式化定义： 1、关系模式应当是一个五元组 RU，D，dom，F (1)关系名R，它是符号化的元组语义； (2)一组属性U： (3)属性组U中属性所来自的域D； (4)属性到域的映射dom； (5)属性组U上的一组数据依赖F。 2、由于(3)， (4)对模式设计关系不大，因此在本章中把关系模式看作是一个三元组：RU, F ?当且仅当U上的一个关系r满足F时，r称为关系模式R(U，F)的一个关系。 ?第一范式(1NF):每一个分量必须是不可分的数据项。满足了这个条件的关系模式就属于第一范式(1NF) ?数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。它是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。 (1)函数依赖(Functional Dependency，简称FD) (2)多值依赖(Multivalued Dependency，简称MVD)。 如描述一个学生的关系，可以有学号(SNO)，姓名‘(SNAME)，系名(SDEPT)等几个属性 由于一个学号只对应一个学生，一个学生只在一个系学习。因而当“学号”值确定之后，姓名和该生所在系的值也就被唯一地确定了。 SNO函数决定SNAME和SDEPT，或者说SNAME，SDEPT函