范式
1NF: 2NF: 3NF: BCNF: 4NF: 5NF: 属性不可再分 非主属性均 既不部分依赖于候选键 也不传递依赖于候选键 非主属性均 既不部分依赖于候选键 也不传递依赖于候选键 且候选键均包含主键 非主属性均不部分赖于候选键 无非平凡且非函数依赖的多值依赖 每一个连接依赖均由候选码所隐含依赖
依赖 | 具体: 设 R ( U ) R(U) R(U)为属性集 U U U上的关系模式, X ⊆ U , Y ⊆ U X \subseteq U,Y \subseteq U X⊆U,Y⊆U, 对于R(U)的任意一个可能的关系 r r r |
---|---|
函数依赖(FD) | Y Y Y对 X X X函数依赖: r r r中不存在两个元组在 X X X上属性相等但在 Y Y Y上属性不等,则 X → Y X\to Y X→Y, X X X为决定因素 |
平凡函数依赖 | X → Y 且 Y ⊆ X ⇒ X → Y X\to Y且Y \subseteq X\Rightarrow X\to Y X→Y且Y⊆X⇒X→Y是平凡函数依赖 |
完全函数依赖 | Y Y Y对 X X X完全函数依赖: X → Y 且 ∀ X ′ ↛ Y ⇒ X → F Y X\to Y且\forall X'\not\to Y\Rightarrow X\overset{F}{\to}Y X→Y且∀X′→Y⇒X→FY |
部分函数依赖 | Y Y Y对 X X X部分函数依赖: X → Y 且 X ̸ → F Y ⇒ X → P Y X\to Y且X\not\overset{F}{\to}Y\Rightarrow X\overset{P}{\to}Y X→Y且X→FY⇒X→PY |
传递函数依赖 | Z Z Z对 X X X传递函数依赖: X → Y 且 Y → Z 且 Z ⊈ Y 且 Y ⊈ X 且 Y ↛ X ⇒ X ⟶ 传 递 Z X\to Y且Y\to Z且Z\not\subseteq Y且Y\not\subseteq X且Y\not\to X\Rightarrow X\overset{传递}{\longrightarrow}Z X→Y且Y→Z且Z⊆Y且Y⊆X且Y→X⇒X⟶传递Z |
多值依赖(MVD) | X → → Y ⇔ ∀ 关 系 r 于 R ( U ) 中 , 给 定 一 组 值 ( x , z ) , ∃ Y 仅 与 x 有 关 而 与 z 无 关 X\to \to Y\Leftrightarrow \forall 关系r于R(U)中,给定一组值(x,z),\exist Y仅与x有关而与z无关 X→→Y⇔∀关系r于R(U)中,给定一组值(x,z),∃Y仅与x有关而与z无关 |
函数依赖
车 牌 → 车 车牌\to 车 车牌→车
车牌 | 车 |
---|---|
沪A·66666 | 🚗 |
沪A·66886 | 🚙 |
沪A·88888 | 🚐 |
沪A·99999 | 🚚 |
沪A·44444 | 🚕 |
完全函数依赖、平凡函数依赖
完全函数依赖: ( 经 度 , 纬 度 ) → 地 点 (经度,纬度)\to 地点 (经度,纬度)→地点
平凡函数依赖: ( 经 度 , 纬 度 ) → 纬 度 (经度,纬度)\to 纬度 (经度,纬度)→纬度
经度 | 纬度 | 地点 |
---|---|---|
E37°37’ | N55°45’ | 莫斯科 |
E106°53’ | N47°55’ | 乌兰巴托 |
E74°46’ | N42°53’ | 比什凯克 |
E73°08’ | N33°4’ | 伊斯兰堡 |
E77°13’ | N28°37’ | 新德里 |
部分函数依赖、完全函数依赖
部分函数依赖: ( 科 目 , 学 员 号 ) → 姓 名 (科目,学员号)\to 姓名 (科目,学员号)→姓名
完全函数依赖: ( 科 目 , 学 员 号 ) → 考 试 时 间 (科目,学员号)\to 考试时间 (科目,学员号)→考试时间
科目 | 学员号 | 考试时间 | 姓名 |
---|---|---|---|
二 | 200V | 8:00:00 | 张伟 |
二 | 201V | 8:20:00 | 李伟 |
三 | 202V | 8:40:00 | 王伟 |
三 | 200 | 9:00:00 | 赵伟 |
传递函数依赖
用 户 → 权 限 等 级 用户\to 权限等级 用户→权限等级, 权 限 等 级 → 权 限 权限等级\to权限 权限等级→权限
用 户 ⟶ 传 递 权 限 用户\overset{传递}{\longrightarrow}权限 用户⟶传递权限
用户 | 权限等级 | 权限 |
---|---|---|
00 | 0 | 普通只读 |
01 | 0 | 普通只读 |
02 | 4 | 管理员 |
03 | 2 | 普通读写 |
05 | 2 | 普通读写 |
多值依赖
课 程 → → 教 师 课程\to \to 教师 课程→→教师
课程 | 教师 | 教材 |
---|---|---|
数据库系统概论 | 张伟 | 数据库系统概论 高教出版社 |
数据库系统概论 | 张伟 | 数据库系统概论 清华出版社 |
数据库系统概论 | 李伟 | 数据库系统概论 高教出版社 |
数据库系统概论 | 李伟 | 数据库系统概论 清华出版社 |
计算机网络 | 王伟 | 计算机网络 高教出版社 |
计算机网络 | 王伟 | 计算机网络 电子工业出版社 |
计算机网络 | 王伟 | 计算机网络 清华出版社 |
计算机网络 | 李伟 | 计算机网络 高教出版社 |
计算机网络 | 李伟 | 计算机网络 电子工业出版社 |