2.5关系范式 函数依赖 ■关系范式 分解
2.5 关系范式 ▪ 函数依赖 ▪ 关系范式 ▪ 分解
关系数据库逻辑设计 针对具体问题,如何构造一个适合于它的数据模式 数据库逻辑设计的工具——关系数据库的规范化理论 数据依赖(函数依赖,多值依赖) 是通过一个关系中属性间值的相等与否体现出来的数 据间的相互关系 是现实世界属性间相互联系的抽象 是数据内在的性质 是语义的体现
关系数据库逻辑设计 – 针对具体问题，如何构造一个适合于它的数据模式 – 数据库逻辑设计的工具──关系数据库的规范化理论 数据依赖(函数依赖 ，多值依赖) • 是通过一个关系中属性间值的相等与否体现出来的数 据间的相互关系 • 是现实世界属性间相互联系的抽象 • 是数据内在的性质 • 是语义的体现
函数依赖 设R是一关系模式,且有属性集 ∈R,βcR 函数依赖 →>β 在R上成立当且仅当对任意合法关系(R)2若r的任 意两条元组t1和t2在属性集α上的值相同,则他们在 属性集β上的值也相同.即, t1[cx]=2[ax]→t1[B]=12[β]
函数依赖 • 设R 是一关系模式, 且有属性集 R , R • 函数依赖 → 在R上成立 当且仅当对任意合法关系r(R), 若r 的任 意两条元组t1 和t2 在属性集上的值相同, 则他们在 属性集 上的值也相同. 即, t1 [] = t2 [] t1 [ ] = t2 [ ]
K是关系模式R的超键当且仅当K→>R K是R的候选键当且仅当 K→R,并且 没有acK使α→R
•K 是关系模式R 的超键当且仅当 K → R •K 是R 的候选键当且仅当: K → R, 并且 没有 K 使 → R
函数依赖的使用: 我们用涵数依赖来 检查关系在给定函数依赖之下是否合法 若关系r在函数依赖集F下是合法的,则称r满足 F 对合法关系集合指定约束 如果R上的所有合法关系都满足F则称F在R上 成立 注意:关系模式的特定实例可能满足一函数依赖,但该函 数依赖不是在所有合法实例上成立
函数依赖的使用： 我们用函数依赖来: •检查关系在给定函数依赖之下是否合法. 若关系r 在函数依赖集F 下是合法的, 则称r 满足 F. •对合法关系集合指定约束 如果R 上的所有合法关系都满足F, 则称F 在R上 成立. 注意: 关系模式的特定实例可能满足一函数依赖, 但该函 数依赖不是在所有合法实例上成立