数据库系统工程师考试之数据库的规范化理论函数依赖
01 定义设R(U)是属性集U上的关系模式XY是U的子集若对于R(U)的任意一个可能的关系rr中不可能存在两个元组在X上的属性值相等而在Y上的属性值不等则称X函数确定Y或Y函数依赖于X记作X→Y
02 函数依赖和别的数据依赖一样是语义范畴的概念只能根据语义来确定一个函数依赖例如姓名→年龄这个函数依赖只有在没有同名人的条件下成立如果允许有相同名字则年龄就不再函数依赖于姓名了设计者也可以对现实世界作强制的规定例如规定不允许同名人出现因而使姓名→年龄函数依赖成立这样当插入某个元组时这个元组上的属性值必须满足规定的函数依赖若发现有同名人存在则拒绝插入该元组注意函数依赖不是指关系模式R的某个或某些关系满足的约束条件而是指R的一切关系均要满足的约束条件
