vfp课件—关系数据库理论.pptVIP

数据库原理与应用教程 第6章 关系数据库理论 6.1 函数依赖 6.2 关系规范化 6.3 关系模式的分解准则 6.1 函数依赖 定义：如果有一个关系模式R(A1,A2,…,An)，X 和Y为{A1,A2,…,An}的子集，那么对于关系R中的任意一个X值，都只有一个Y 值与之对应，则称X函数决定Y，或Y函数依赖于X。 例：Student（Sno, SName, Sdept, Sage） Sno→SName, Sno→Sdept, Sno→Sage 例： SC（Sno, Cno, Grade） （Sno, Cno）→Grade 一些术语和符号 1. 如果X→Y，但Y不包含于X，则称X→Y是非平凡的函数依赖。如不作特别说明，我们总是讨论非平凡函数依赖。 2. 如果Y不函数依赖于X，则记作X—/→Y。 3. 如果X→Y，则称X为决定因子。 4. 如果X→Y，并且Y→X，则记作X←→Y。 一些术语和符号（续） 5. 如果X→Y，并且对于X的一个任意真子集X’ 都有X’ —/→Y，则称Y完全函数依赖于X，记作: 示例 例1：有关系模式：SC（Sno,Sname,Cno,Credit,Grade） 则函数依赖关系有： Sno→Sname （Sno, Cno）→ Sname （Sno, Cno）→ Grade 示例 例2：有关系模式：S（Sno,Sname,Dep