试证由关系模式中全部属性组成的集合为候选码的关系是3K﹔也是BCNM。
首先证明该关系是3K:
假设该关系中有一个函数依赖X->Y,其中X是该关系中的某个属性集合,Y是该关系中的某个属性。
根据题意,X是候选码,即X->Y是一个非平凡函数依赖。又因为X是全部属性组成的集合,所以Y必须是该关系中的某个属性。因此,该函数依赖必然是一个超键,而非一个非平凡的主键,故该关系是3K。
接下来证明该关系是BCNM:
由于该关系中的全部属性组成了一个候选码,所以该关系一定满足BCNF。又因为该关系中的全部属性组成了一个候选码,所以该关系中不存在任何非平凡的主键依赖。因此,该关系是BCNF、第一范式和第二范式。而由于该关系中的全部属性组成了一个候选码,所以该关系还满足第三范式和BCNF的合并,即该关系是3NF和BCNF。又因为该关系中的全部属性组成了一个候选码,所以该关系中不存在任何多值依赖和联合依赖。因此,该关系是BCNF、第一范式、第二范式、第三范式和BCNF的合并,即该关系是BCNF、第一范式、第二范式、第三范式和多值依赖分解范式(4NF),也就是BCNM。
原文地址: https://www.cveoy.top/t/topic/Jow 著作权归作者所有。请勿转载和采集!