前提概念须知
- 候选码(或候选键)∶属性或属性组合,其值能够唯一地标识一个元组。
- 主码(或主键):在一个关系中可能有多个候选码,从中选择一个作为主码。
- 主属性:包含在任何候选码中的属性称为主属性,不包含在任何候选码中的属性称为非码属性。
- 外码(或外键):如果一个关系中的属性或属性组并非该关系的码,但它们是另外一个关系的码,则称其为该关系的外码。
- 全码:关系模式的所有属性组是这个关系模式的候选码,称为全码。
- 超码(超键):一个包含码的属性集称为超码,例如学号是码,则(学号,姓名)就是一个超码。
函数依赖
数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系,是现实世界属性间联系和约束的抽象,是数据内在的性质,是语义的体现。函数依赖则是一种最重要、最基本的数据依赖。
- 函数依赖。设R(U)是属性集U上的关系模式,X、Y是U的子集。若对R(U)的任何一个可能的关系r, r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数决定Y或Y函数依赖于X,记作X→Y。
- 非平凡的函数依赖。如果X→Y,但Y不属于X,则称X→Y是非平凡的函数依赖。一般情况下,总是讨论非平凡的函数依赖。
- 平凡的函数依赖。如果X→Y,但 Y属于X,则称X→Y是平凡的函数依赖。
- 完全函数依赖。在R(U)中,如果X→Y,并且对于X的任何一个真子集X’ 都有X’ 不能决定Y,则称Y对X完全函数依赖,记作x --f-- >y。
例如:(学号,课程号)→成绩
- 部分函数依赖。如果X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X–p–>Y。部分函数依赖也称为局部函数依赖。
- 传递依赖。在R(U,F)中,如果X→Y,Y不属于]X,Y→Z,则称Z对X传递依赖。
函数依赖的公理系统(Armstrong 公理系统):
设关系模式R(U&#