51.3有关概念 函数依赖 二、平凡函数依赖与非平凡函数依赖 、完全函数依赖与部分函数依赖 四、传递函数依赖 五、码
5.1.3 有关概念 一、函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖 五、码
、函数依赖 定义51设R(U是一个属性集U上的关系模 式,Ⅹ和Y是U的子集。若对于R(U)的任 意一个可能的关系r,r中不可能存在两 个元组在X上的属性值相等,而在Y上的 属性值不等,则称“X函数确定Y”或 “Y函数依赖于X”,记作X→Y。X称为 这个函数依赖的决定属性集( Determinant)
一、函数依赖 定义5.1 设R(U)是一个属性集U上的关系模 式，X和Y是U的子集。若对于R(U)的任 意一个可能的关系r，r中不可能存在两 个元组在X上的属性值相等，而在Y上的 属性值不等， 则称“X函数确定Y”或 “Y函数依赖于X”，记作X→Y。X称为 这个函数依赖的决定属性集(Determinant)
函数依赖(续) 说明: 1.函数依赖不是指关系模式R的某个或某些关系 实例满足的约束条件,而是指R的所有关系实 例均要满足的约束条件。 2.函数依赖是语义范畴的概念。只能根据数据的 语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允 许有同名人的条件下成立
函数依赖（续） 说明： 1. 函数依赖不是指关系模式R的某个或某些关系 实例满足的约束条件，而是指R的所有关系实 例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的 语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允 许有同名人的条件下成立
函数依赖(续) ●3.数据库设计者可以对现实世界作强制的规定 例如设计者可以强行规定不允许同名人出现, 因而使函数依赖“姓名→年龄”成立。但所插 入的元组必须满足规定的函数依赖,若发现有 同名人存在,则拒绝装入该元组。 4.若X→Y,并且Y→X,则记为X←→Y。 5.若Y不函数依赖于X,则记为X→→Y
函数依赖（续） 3. 数据库设计者可以对现实世界作强制的规定。 例如设计者可以强行规定不允许同名人出现， 因而使函数依赖“姓名→年龄”成立。但所插 入的元组必须满足规定的函数依赖，若发现有 同名人存在， 则拒绝装入该元组。 4. 若X→Y，并且Y→X, 则记为X←→Y。 5. 若Y不函数依赖于X, 则记为X─→Y
函数依赖(续) 5]: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名,则有: Sno→Ssex,Sno→Sage Sno Sdept sno←→ Sname Sname→Ssex, Sname→Sage Sname→ Sdept ME Ssex \Sage, Ssex \Sdept
函数依赖（续） 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage Sno → Sdept， Sno ←→ Sname Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage, Ssex →Sdept