第9章关系数据理论 ◆9,1基本概念 ◆9.2函数依赖的公理系统 ◆9.3规范化 ◆9.4模式分解
1 第9章 关系数据理论 9.1 基本概念 9.2 函数依赖的公理系统 9.3 规范化 9.4 模式分解
9.1基本概念 ◆函数依赖 ◆术语和符号 ◆为什么要讨论函数依赖? ◆模式分解
2 9.1 基本概念 函数依赖 术语和符号 为什么要讨论函数依赖？ 模式分解
函数依赖 Y=f(X) Y=sin 函数 Y=X+1 Y=x2+2X+1 省=城市) 姓名一学号)
3 函数依赖 Y=f(X) 函数 Y=sin(X) Y=X+1 Y=X2+2X+1 省=f(城市) 姓名=f(学号)
函数依赖的直观定义 如果有一个关系模式R(A1,A2,A1,X和Y 为{A12A2,An}的子集,那么对于关系R中的任意 一个ⅹ值,都只有一个Y值与之对应,则称X函数 决定Y,或Y函数依赖于X,并用X→Y表示
4 函数依赖的直观定义： 如果有一个关系模式R(A1 ,A2 ,…,An )，X和Y 为{A1 ,A2 ,…,An}的子集，那么对于关系R中的任意 一个X值，都只有一个Y值与之对应，则称X函数 决定Y，或Y函数依赖于X，并用X→Y表示
例:对仓库关系 仓库(仓库号城市,面积) 有函数依赖: 仓库号→城市(城市函数依赖于仓库号) 仓库号→面积(面积函数依赖于仓库号)
5 例：对仓库关系 仓库(仓库号,城市,面积) 有函数依赖： 仓库号→城市（城市函数依赖于仓库号） 仓库号→面积（面积函数依赖于仓库号）