- Page 1 and 2: 第 4 章 关 系 数 据 库 理
- Page 3 and 4: 例 1: 学 生 数 据 库 方 案
- Page 5 and 6: 2 潜 在 不 一 致 ( 修 改 复
- Page 7 and 8: 方 案 2: 选 课 信 息 单 独
- Page 9 and 10: 2. 潜 在 不 一 致 系 换 宿
- Page 11: 2. 产 生 冗 余 及 更 新 异
- Page 15 and 16: 函 数 依 赖 X Y 的 含 义
- Page 17 and 18: 若 对 于 任 何 时 刻 ( 任
- Page 19 and 20: 例 : Students(Sno,Sname,Sage,Class
- Page 21 and 22: 所 有 平 凡 的 函 数 依 赖
- Page 23 and 24: 键 举 例 : 例 Movies(title,year
- Page 25 and 26: 设 R(U) 是 一 个 关 系 模
- Page 27 and 28: 4.1.3 函 数 依 赖 的 规 则 P
- Page 29 and 30: 函 数 依 赖 集 S 蕴 涵 于
- Page 31 and 32: P40 分 解 规 则 : A 1 A 2 …A
- Page 33 and 34: P42 平 凡 依 赖 规 则 : A 1 A
- Page 35 and 36: P43 例 3.8: R(A,B,C,D,E,G) F={AB C
- Page 37 and 38: 求 键 时 的 一 些 考 虑 : 1
- Page 39 and 40: 定 理 : 当 且 仅 当 B i 在 A
- Page 41 and 42: 传 递 规 则 : A 1 A 2 …A n B
- Page 43 and 44: ** 函 数 依 赖 集 的 闭 包
- Page 45 and 46: 计 算 极 小 函 数 依 赖 集
- Page 47 and 48: 4.2 关 系 数 据 库 模 式 设
- Page 49 and 50: 部 分 函 数 依 赖 设 R(U)
- Page 51 and 52: 例 : Students(Sno,Sname,Cno,Grade,
- Page 53 and 54: 关 于 传 递 函 数 依 赖 的
- Page 55 and 56: 例 :Students(Sno,Sname,Sdept,Sloc)
- Page 57 and 58: 4.2.2 关 系 模 式 的 规 范
- Page 59 and 60: 2. 第 二 范 式 (2NF) 关 系
- Page 61 and 62: 例 : Students(Sno,Sname,Sdept,Sloc
- Page 63 and 64:
3NF 的 另 一 个 定 义 : 任
- Page 65 and 66:
例 : MovieStudios( title,year,leng
- Page 67 and 68:
4. DB 模 式 中 每 一 关 系
- Page 69 and 70:
例 :3NF 的 不 足 学 生 教
- Page 71 and 72:
改 进 : ST(S,T) ∈BCNF TJ(T,J)
- Page 73 and 74:
例 : Movies(title,year,length,genr
- Page 75 and 76:
例 : 双 属 性 关 系 ∈ BCNF
- Page 77 and 78:
例 : 学 生 课 程 名 次 SJP(S
- Page 79 and 80:
4.2.3 关 系 模 式 的 分 解
- Page 81 and 82:
例 : Movies(title,year,length,genr
- Page 83 and 84:
3) 分 解 假 定 : X→Y 为 BCNF
- Page 85 and 86:
三 、 函 数 依 赖 集 的 投
- Page 87 and 88:
对 于 U 1 ={ABC}: ∵ A + F = {AB
- Page 89 and 90:
对 于 U2 = {CD}: ∵ C + F = {ABC
- Page 91 and 92:
例 : R(A,B,C,D) F={A B , B C} S(U
- Page 93 and 94:
四 、 分 解 为 BCNF 的 例
- Page 95 and 96:
4) 对 于 R 2 (B,A,C) 求 函 数
- Page 97 and 98:
例 : MovieStudios(title,year,lengt
- Page 99 and 100:
MSP{title,year,studioName,president
- Page 101 and 102:
五 、 从 分 解 中 恢 复 信
- Page 103 and 104:
看 一 个 实 例 , 便 于 理
- Page 105 and 106:
推 广 : A,B,C 是 属 性 组 B C
- Page 107 and 108:
判 断 一 个 分 解 具 有 无
- Page 109 and 110:
c1:=true do while c1 {c1:=false; fo
- Page 111 and 112:
例 : 关 系 模 式 R(A,B,C,D,E)
- Page 113 and 114:
由 AC, 做 的 修 改 A B C D E R
- Page 115 and 116:
结 果 二 维 表 A B C D E R 1 b
- Page 117 and 118:
保 持 依 赖 分 解 成 3NF 的
- Page 119 and 120:
4.2.4 多 值 依 赖 与 4NF 数
- Page 121 and 122:
1. 多 值 依 赖 的 定 义 定
- Page 123 and 124:
多 值 依 赖 具 有 这 样 的
- Page 125 and 126:
3. 分 解 成 4NF 在 R 的 函
- Page 127 and 128:
4.2.5 关 于 规 范 化 规 范