请选择 进入手机版 | 继续访问电脑版

范式 函数依赖 多值依赖

[复制链接]
丶禁飞 发表于 2021-1-1 10:33:33 | 显示全部楼层 |阅读模式 打印 上一主题 下一主题
范式

                             1NF:     2NF:     3NF:     BCNF:     4NF:     5NF:     属性不可再分     非主属性均     既不部门依赖于候选键       也不传递依赖于候选键           非主属性均     既不部门依赖于候选键       也不传递依赖于候选键       且候选键均包罗主键       非主属性均不部门赖于候选键     无非平凡且非函数依赖的多值依赖     每一个毗连依赖均由候选码所隐含                                                                                                                                                                                                                                                                               消除非主属性对码的部门函数依赖                                                                    消除非主属性对码的传递函数依赖                                                                    消除主属性对码的部门函数依赖和传递函数依赖                                                                    消除非平凡且非函数依赖的多值依赖                                                                                     1NF                                                                                      2NF                                                                                      3NF                                                                                      BCNF                                                                                      4NF                                              依赖

依赖详细:
设                                             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 车               车牌→车
[table][tr]车牌车[/tr][tr][td]沪A·66666[/td][td]
来源:https://blog.csdn.net/dscn15848078969/article/details/111995558
免责声明:如果侵犯了您的权益,请联系站长,我们会及时删除侵权内容,谢谢合作!
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则


专注素材教程免费分享
全国免费热线电话

18768367769

周一至周日9:00-23:00

反馈建议

27428564@qq.com 在线QQ咨询

扫描二维码关注我们

Powered by Discuz! X3.4© 2001-2013 Comsenz Inc.( 蜀ICP备2021001884号-1 )