Sno Sname Ssex Sage sdept 95001 李明 男 21 信息 95002 张华 女 18 信息 95003 王小茜 女 19 信息 95004 张华 男 20 植保 95005 刘四海 男 19 植保 95006 陈诚 男 18 植保 95007 叶娇 女 20 植保
Sno Sname Ssex Sage sdept 95001 李明 男 21 信息 95002 张华 女 18 信息 95003 王小茜 女 19 信息 95004 张华 男 20 植保 95005 刘四海 男 19 植保 95006 陈诚 男 18 植保 95007 叶娇 女 20 植保
说明： 1.函数依赖不是指关系模式的某个或某些关系实例满足的 约束条件，而是指的所有关系实例均要满足的约束条件。 2.函数依赖是语义范畴的概念。只能根据数据的语义来确定 函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名 人的条件下成立 3.数据库设计者可以对现实世界作强制的规定。例如规定不 允许同名人出现，函数依赖“姓名→年龄”成立。所插入 的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝插入该元组。 An Introduction to Database System
An Introduction to Database System 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的 约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定 函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名 人的条件下成立 3. 数据库设计者可以对现实世界作强制的规定。例如规定不 允许同名人出现，函数依赖“姓名→年龄”成立。所插入 的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝插入该元组
函数依赖（续） 例：S(Sno,Sname,Ssex,Sage,Sdept) 假设不允许重名，则有： Sno→Ssex, Sno→Sage,Sno→Sdept, Sno←→Sname,Sname→Ssex,Sname→Sage Sname→Sdept 但Ssex Sage 若X→Y,并且Y→X,则记为X-→Y。 若Y不函数依赖于X, 则记为X公Y。 An Introduction to Database System
An Introduction to Database System 函数依赖（续） 例: S(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname， Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex→Sage 若X→Y，并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X─→Y