早教吧作业答案频道 -->其他-->
证明:3NF一定是2NF证明：BCNF一定是3NF
题目详情
证明:3NF一定是2NF
证明：BCNF一定是3NF
证明：BCNF一定是3NF
▼优质解答
答案和解析
BCNF一定是3NF
证明：采用反证法.
设R不是3NF.
则必然存在如下条件的函数依赖
X→Y（Y→/X）,Y→Z
其中X是键属性,Y是任意属性组,Z是非主属性
Z属于Y,这样Y→Z函数依赖的决定因素Y不包含候选键,
与BCNF范式的定义相矛盾,
所以如果R属于BCNF,则R也是3NF.
3NF一定是2NF
有一道和这道题比较类似,符号实在不好打
给你一条定理的证明看一下你就懂了:
若关系模式R(U,F)∈3NF,则R∈2NF
证明:
假设R中非主属性A部分依赖于关键字K
则存在K'是K的子集,使得F|=K'→A.
因K'是K的子集有K→K',但K'→/K.
于是有K→K',K'→/K,K'→A
并A不属于K,
因而A传递以来于K,即R不属于3NF,与已知矛盾.
希望你能看懂→/.就是不能推导出.真累
证明：采用反证法.
设R不是3NF.
则必然存在如下条件的函数依赖
X→Y（Y→/X）,Y→Z
其中X是键属性,Y是任意属性组,Z是非主属性
Z属于Y,这样Y→Z函数依赖的决定因素Y不包含候选键,
与BCNF范式的定义相矛盾,
所以如果R属于BCNF,则R也是3NF.
3NF一定是2NF
有一道和这道题比较类似,符号实在不好打
给你一条定理的证明看一下你就懂了:
若关系模式R(U,F)∈3NF,则R∈2NF
证明:
假设R中非主属性A部分依赖于关键字K
则存在K'是K的子集,使得F|=K'→A.
因K'是K的子集有K→K',但K'→/K.
于是有K→K',K'→/K,K'→A
并A不属于K,
因而A传递以来于K,即R不属于3NF,与已知矛盾.
希望你能看懂→/.就是不能推导出.真累
看了 证明:3NF一定是2NF证明...的网友还看了以下：
正n边形面积pnrn证明好奇怪啊Sn增么会=0.5p.n.r.n(p是n边形周长,r是外切圆半径,读 2020-03-31 …
设函数f(x)=logax(a>0且a不等于1),数列{f(xn)}(n∈N)是首项为f(a＾4) 2020-04-27 …
证明题：设A=（aij）n*n是正交矩阵,且A的行列式大于0,Aij是aij的代数余子式（i,j= 2020-05-14 …
若n为一自然数,说明n(n+1)(n+2)(n+3)与1的和为一平方数n（n+1）（n+2）（n+ 2020-05-16 …
为什么当m→0时,(m+1)^(1/m)→e,怎么证明?令n=1/m则(m+1)^(1/m)=（1 2020-05-21 …
(x+1)^n=a0+a1(x-1)+a2(x-1)^2+a3(x-1)^3+.+an(x-1)^ 2020-06-12 …
一道证明不等式的高二数学题n∈N+,证明：1＜1/（n+1）+1/(n+2)+1/(n+3)+…… 2020-06-27 …
设α1，α2，…，αn是n维列向量组，矩阵A＝α1Tα1α1Tα2…α1Tαnα2Tα1α2Tα2 2020-07-12 …
已知数列{an}的前n项和为Sn,Sn与an满足关系Sn=2-(n+2)an/n(n∈N*)（1） 2020-07-28 …
高中数列题（说明："[]"中内容表示下标）以数列{a[n]}的任意相邻两项为坐标的点P[n](a[ 2020-07-29 …