不是，而是X必含有候选码，候选码与码在这里是一个概念。 X确定Y，X未必是一个属性，也可能是一组属性的，但这组里不能含有Y，否则(x,y)->y什么也说明不了的！因为y->y,增广率（x,y)->y，所以这里说X不能含Y或称Y不在X内。例如U是码，则x一定要包含U，如（u,z)->y则X一定要含有码的。但如果出现这种情况这不是了，U是(a,b),而x是(b,c,d)则X->Y,那么，x中因为没有(a,b)所以x不含码，那么一定不是BCNF! 其实这个BCNF的概念是在1NF上下的定义。如果在1NF中用否定方式下定义的话是：X决定于Y，Y不包含于X，X若不存在码，则该一定不是BCNF. 当然还可以在第三范式下一个定义，关系属于第三...
|
