www.bet28365365.com

证明3NF必须是2NF

字号+ 作者:365bet赌博 来源:365bet娱乐网投 2019-06-24 08:23

证明3NF必须是2NF

展开全部
BCNF必须是3NF测试:使用反证据法。
设R为3 NF。
并且必须有一个依赖于X→Y(Y→/ X)的函数。这里,Y→Z。这里,X是关键属性,Y是一组任意属性,Z是非主要属性。由于Z属于Y,Y→ZY依赖关系的决定因素不包括候选关键字并且与BCNF范式的定义相矛盾,因此如果R属于BCNF,则R也是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不属于3 NF,这与已知的。
我希望你能理解→/。
它无法推导出来。
很累


相关文章