目录 关系模式 第一范式(1NF) 规范化 函数依赖 码 候选码 超码 范式 2NF 3NF BCNF 多值依赖 4NF 候选码的求解理论和算法 关系模式 关系模式的形式化定义 一个关系模式应当式一个五元组 R(U,D,DOM,F) R是符号化的元组语义 U 为一组属性 D为属性组U中属性所来自的域 DOM 为属性到域的映射 F为属性组U上的一组函数依赖 第一范式(1NF) 每一个分量必须是不可分的数据项 满足这个条件的关系条件属于第一范式 规范化 函数依赖 术语介绍 X → Y X \rightarrow Y X→Y但 X ⊈ Y X \nsubseteq Y