R(A,B,C,D)
FDS3: {ABC->D, D->A}
FDS5: {AB->C, AB->D, C->A, D->B}
请问各位高手上面这两个关系各属于哪个范式,请讲得详细点,谢谢了。

解决方案 »

  1.   

    mengmou
    FDS3:   {ABC-> D,   D-> A} 
    上面这个可以推出DBC->D代表什么意思?
    还有候选码是不是{A,B,C},那么D->A代表什么意思?还有怎么把它变成BCFN?
      

  2.   

    mengmou 
    FDS3:       {ABC->   D,       D->   A}   
    上面这个可以推出DBC-> D代表什么意思? 
    ---------------------------------
    我们判断一个模式是第几范式,只要判断他的"最小正则覆盖"即可,最小正则覆盖是指这样一个函数依赖集
    1 不包含无关属性,比如A->B,AC->B,那么C就是无关的,这两个函数依赖就简化为A->B
    2 不包含无关的函数依赖,即去掉这个无关的函数依赖不会改变该函数依赖集的闭包.比如A->B,B->C,A->C,则A->C是无关的函数依赖.DBC-> D是个无关的函数依赖,因为D->D,所以不必去管他.还有候选码是不是{A,B,C},那么D-> A代表什么意思?
    -----------------------------------------------
    候选码是{A,B,C},D-> A就是一个函数依赖.还有怎么把它变成BCFN?
    --------------------
    这个问题我也不能确定.将一个模式分解既要是无损分解又要是保持原有函数依赖的.我觉得这个第三范式无法做到这一点,变不成BCNF的.