目录
第二章提过：在本章中把关系模式看作一个三元组:R<U,F>
在本章中把关系模式看作一个三元组:R<U,F>
-
R：表示关系模式的名称，通常是关系的名字。
-
U：是一个属性集合，表示关系中的所有属性。属性可以理解为表中的列。
-
F：表示一组函数依赖（Functional Dependencies），即属性之间的约束关系。函数依赖指的是在给定关系中，某些属性的值确定了其他属性的值。
函数依赖
数据依赖是关系内部属性与属性之间的一种约束关系（通过属性间值的相等与否体现出来的数据间相互联系）；是现实世界属性间相互联系的抽象；是数据内在的性质；是语义的体现
主要类型
函数依赖(FunctionalDependency，简记为FD)
函数依赖描述了一个属性或属性集如何唯一确定另一个属性或属性集的值
多值依赖(Multi-Valued Dependency，简记为MVD)
要定义属性之间的关系，也就是函数依赖
学号（Sno）和课程号（Cno）共同决定了成绩（Grade）
学号 Sno\text{Sno}Sno 是主键，它唯一标识一个学生，因此它决定了学生所在的系（Sdept），所在的系决定了系主任的姓名（Mname）
1、函数依赖
定义： 设R(U)是一个属性集U上的关系模式，X和Y是U子集。若对于R（U）的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在 Y上的属性值不等，则称"X函数确定Y”或“Y函数依赖于X”记作X→Y
若X→Y，并且Y→X,则记为X←→Y。
若Y不函数依赖于X,则记为X
Y。
任何时刻R中的任意两个元组中的X属性值相同时，则它们的Y属性值也相同
函数依赖不是指关系模式R的某个或某些关系实例满足约束条件，而是R的所有关系实例均要满足约束条件
- 属性集X 的值决定了属性集 Y 的值。
- 如果两个元组在属性集 X上的值相同，那么它们在属性集Y 上的值也必须相同
- X 的值唯一确定了 Y 的值
2、平凡函数依赖与非平凡函数依赖
平凡函数依赖其实是“显然的”依赖，它表示某个属性集 XXX 通过自身或其子集决定了 YYY。这种依赖没有实际的约束意义，因为它只描述了属性本身之间的关系。例如，学号总是决定学号本身，或者学号和课程号的组合总是决定学号本身，这些依赖显然是不需要特别关注的。
对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义。
若不特别声明 ，我们总是讨论非平凡函数依赖,
3、完全函数依赖与部分函数依赖
在R(U)中，如果X→Y,并且对于x的任何一个真子集X'
若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖
完全函数依赖表示某个非主属性（或属性集）完全依赖于复合主键的所有属性
4、传递函数依赖
如果Y→X 即X←→Y,则Z直接依赖于X，而不是传递函数依赖。
码
候选码
则K称以为的一个候选码(Candidate Key)。
如果U函数依赖于K即K→U从则K称为超码(Surpkey)；候选码是最小的超码。
若关系模式R有多个候选码，则选定其中的一个做为主码(Primary key)
码（键）
在关系中由唯一可标识元组的属性或属性组构成
候选码（键）
且属性个数最少的码
主码（键）
多个候选码，则选定其中一个为主码。主码不允许为空值(非零和空格)
主属性与非主属性
包含在任何一个候选码中的属性，称为主属性（Prime attribute）
不包含在任何码中的属性称为非主属性(Nonprimeattribute)或非码属性(Non-key attribute)》
全码:整个属性组是码，称为全码(AI-key)
外码：在关系R中包含另一个关系S的主键所对应的属性或属性组【主码与外部码一起提供了表示关系间联系的手段】
标签：关系,候选,依赖,函数,数据库系统,平凡,概论,属性 From： https://blog.csdn.net/Z15922342915/article/details/144140236