判断关系属于哪一种范式(期末考试必看)

简介: 判断关系属于哪一种范式(期末考试必看)

1NF(第一范式)

属性值是不可分的原子值

2NF(第二范式)

R1NF,每个非主属性都完全函数依赖于R的候选键

3NF(第三范式)

R1NF,每个非主属性都不传递依赖于 R的候选键

BCNF(BC范式)

R1NF,每个属性都不传递依赖于 R的候选键(定义1)

R1NF,每个非平凡函数依赖的左侧都是超键(定义2)

4NF(第四范式)

R1NF,每个非平凡多值依赖的左侧都是超键

5NF(第五范式)

R1NF,每个连接依赖均由R的候选键蕴含


如果还是不理解可以看这里http://t.csdn.cn/Dwh5c,这里就不细讲了,直接上例题吧!


例1:判断右边关系最高属于哪个范式(BCNF)


零件号 单价

P1 25

P2 8

P3 25

P4 9

任意的二元关系必为(BCNF)


例2:判断右边关系最高属于哪个范式(2NF)


材料号 材料名 生产厂

M1 线材 武汉

M2 型材 武汉

M3 板材 广东

M4 型材 武汉

材料号→材料名,材料名→生产厂

唯一候选键:材料号

R的候选键为单属性→R2NF

非主属性生产厂对候选键材料号传递依赖→R3NF


例3:关系W(工号,姓名工种定额)规范到3NF,最合适的

A.W1工号,姓名),W2(工种,定额)

B.W1(工号,工种,定额),W2(工号,姓名)

C.W1(工号,姓名,工种),W2(工种,定额)

D.以上都不对


分析:


F={工号→姓名,工号→工种,工种→定额}

唯一候选键:工号

A:W1 和 W2 没有公共属性

B:有传递依赖


例4:R(ABCD), F ={B→C,C →D,D → A}

判断R最高属于哪个范式

A.1NFB.2NFC.3NFD.BCNF


分析:

唯一候选键 B

B→C, C→D (CB, DC. C 不能推B)

非主属性 D 传递依赖于候选键 B,R3NF

所有函数依赖左边都是单属性,不存在部分依赖,R2NF


例5:R(STJ), F = {(S,J)→T,(S,T)→ J,T → J}}

判断R最高属于哪个范式


分析:

候选键 (S,J),(S,T)

所有属性都是主属性,R3NF

T →J左边不是超键,RBCNF


目录
相关文章
|
5月前
|
自然语言处理
数学基础从高一开始1、集合的概念
数学基础从高一开始1、集合的概念
67 0
|
2月前
|
机器学习/深度学习 存储 人工智能
矩阵乘法运算:在这看似枯燥的数字组合中,究竟蕴含着怎样令人称奇的奥秘?
【8月更文挑战第19天】矩阵乘法不仅是数学概念,还在工程、图像处理及AI等领域发挥核心作用。例如,通过矩阵乘法可精确实现图像变换;在神经网络中,它帮助模型学习和优化以识别图像和理解语言。两个矩阵A(m×n)与B(n×p)相乘得C(m×p),其中C[i,j]为A的第i行与B的第j列元素乘积之和。尽管面临维度匹配等挑战,矩阵乘法仍在持续推动技术创新。下次享受智能服务时,不妨想想背后的矩阵乘法吧。
59 3
|
4月前
|
移动开发 人工智能 JavaScript
程序员必知:关系的基本概念及其性质
程序员必知:关系的基本概念及其性质
42 3
|
5月前
|
自然语言处理
数学基础从高一开始2、集合间的基本关系
数学基础从高一开始2、集合间的基本关系
49 0
|
机器学习/深度学习 人工智能 移动开发
递推算法-五种典型的递推关系
递推算法-五种典型的递推关系
298 0
|
关系型数据库 数据库
数据库原理与应用系列_05关系模式的分解
定义:无损联接分解是将一个关系模式分解成若干个关系模式后,通过自然联接和投影等运算仍能还原到原来的关系模式,则称这种分解为无损联接分解。
数据库原理与应用系列_05关系模式的分解
|
机器学习/深度学习
【组合数学】组合数学简介 ( 组合思想 2 : 数学归纳法 | 数学归纳法推广 | 多重归纳思想 )
【组合数学】组合数学简介 ( 组合思想 2 : 数学归纳法 | 数学归纳法推广 | 多重归纳思想 )
227 0
【组合数学】组合数学简介 ( 组合思想 2 : 数学归纳法 | 数学归纳法推广 | 多重归纳思想 )
|
机器学习/深度学习 算法 决策智能
【组合数学】组合数学简介 ( 组合数学脉络 | 组合数学技巧 | 组合思想 1 : 一一对应 )
【组合数学】组合数学简介 ( 组合数学脉络 | 组合数学技巧 | 组合思想 1 : 一一对应 )
168 0
【数理逻辑】命题逻辑 ( 命题逻辑推理正确性判定 | 形式结构是永真式 - 等值演算 | 从前提推演结论 - 逻辑推理 )
【数理逻辑】命题逻辑 ( 命题逻辑推理正确性判定 | 形式结构是永真式 - 等值演算 | 从前提推演结论 - 逻辑推理 )
286 0