函数依赖的定义 函数依赖( Function Dependen FD)的定义可以这样叙述:如果 系R的两个元组在属性A A2 An上一致,那么它在另 个属性B上也一致。这种函数依 赖记作A1A2.An→B,读作属性 A1,A2,…,An函数决定属性B, 或属性B函数依赖于属性A1, A2,.,An。 isbn title 函数依赖的逻辑定义:设关系模 isbn page 式R的属性集是U,X和Y是U的 集,函数依赖是形如X→Y的命题 isbn bookType 即r是R的当前实例值,对r中的在 意两个元组s,如果tX]=s isbn→ pnce sm,那么X→Y在关系 ison pressAre 式尺中成立。其中,tx表示元组t 在属性集X上的值 数据库系统原理与应用教程(第二版) 第6章关系模式的规范化设计 第9页数据库系统原理与应用教程 (第二版 ) 第 6 章 关系模式的规范化设计 第 9 页 函数依赖的定义 ⚫ 函数依赖(Function Dependency， FD)的定义可以这样叙述：如果关 系R的两个元组在属性A1， A2 ， … ，An上一致，那么它在另 一个属性 B上也一致。这种函数依 赖记作A1A2…An→B，读作属性 A1 ，A2 ， … ，An函数决定属性 B ， 或属性 B函数依赖于属性A1 ， A2 ， … ，An 。 ⚫ 函数依赖的逻辑定义：设关系模 式R的属性集是U，X和Y是U的子 集，函数依赖是形如X→Y的命题， 即r是R的当前实例值，对r中的任 意两个元组 t和 s，如果t[X]=s[X] ， 则t[Y]=s[Y]，那么X→Y在关系模 式R中成立。其中，t[X]表示元组 t 在属性集 X上的值