范式函数依赖多值依赖

全栈程序员-站长 • 2025年10月7日上午11:15 • 未分类 • 阅读 5

范式

消除非主属性对码的部分函数依赖

消除非主属性对码的传递函数依赖

消除主属性对码的部分函数依赖和传递函数依赖

消除非平凡且非函数依赖的多值依赖

1NF

2NF

3NF

BCNF

4NF

依赖	具体：设 $R (U)$ 为属性集 $U$ 上的关系模式， $\subseteq U,Y \subseteq U$ ，对于R(U)的任意一个可能的关系 $r$
函数依赖(FD)	$Y$ 对 $X$ 函数依赖： $r$ 中不存在两个元组在 $X$ 上属性相等但在 $Y$ 上属性不等，则 $X\to Y$ ， $X$ 为决定因素
平凡函数依赖	$X\to Y且Y \subseteq X\Rightarrow X\to Y$ 是平凡函数依赖
完全函数依赖	$Y$ 对 $X$ 完全函数依赖： $X\to Y且\forall X’\not\to Y\Rightarrow X\overset{F}{\to}Y$
部分函数依赖	$Y$ 对 $X$ 部分函数依赖： $X\to Y且X\not\overset{F}{\to}Y\Rightarrow X\overset{P}{\to}Y$
传递函数依赖	$Z$ 对 $X$ 传递函数依赖： $X\to Y且Y\to Z且Z\not\subseteq Y且Y\not\subseteq X且Y\not\to X\Rightarrow X\overset{传递}{\longrightarrow}Z$
多值依赖(MVD)	$X\to \to Y\Leftrightarrow \forall 关系r于R(U)中,给定一组值(x,z),\exist Y仅与x有关而与z无关$

$车牌\to 车$

完全函数依赖： $(经度,纬度)\to 地点$
平凡函数依赖： $(经度,纬度)\to 纬度$

部分函数依赖： $(科目,学员号)\to 姓名$
完全函数依赖： $(科目,学员号)\to 考试时间$

$用户\to 权限等级$ ， $权限等级\to权限$
$用户\overset{传递}{\longrightarrow}权限$

$课程\to \to 教师$

发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/232501.html原文链接：https://javaforall.net