设关系模式R（A，B，C，D），F是R上成立的FD集，F＝{A→B，B→C，C→D，D→A}，ρ＝{AB，BC，AD}是R上的一个分解，那么分解ρ相对于F（）。