设有关系模式R（A，B，C，D），F是R上成立的FD集，F＝{A→B，B→C，C→D，D→A}，则F⁺中，左部为C的函数依赖有（）