StructVis
§07 数据库设计

关系规范化

范式判定按固定流程进行：1NF（属性原子性）→ 2NF（消除非主属性对候选键的部分依赖）→ 3NF（消除传递依赖）→ BCNF（决定因素均为候选键）。违规的函数依赖标红，分解后标绿消除。 逐步播放，看每个范式的判定依据与分解方法。

关系规范化
第 01 / 11 步
给定关系模式 SC(学号, 姓名, 专业, 课程号, 成绩) 与函数依赖集 F = { 学号→姓名, 学号→专业, (学号,课程号)→成绩 }。候选键：(学号, 课程号)。 比较 0 · 交换 0
判定步骤

				
					
					1
					1NF：属性原子性
				
			
				
					
					2
					求候选键
				
			
				
					
					3
					2NF：消除部分依赖
				
			
				
					
					4
					3NF：消除传递依赖
				
			
				
					
					5
					分解：抽离决定因素
01 / 11
速度