给定关系模式R ( U，F) ，U = {A，B，C，D }， F={A→C，A→D，C→B，B→D}，F 中的冗余函数依赖为（）；若将R分解为ρ={AC，CB，BD}，则ρ 满足 （）。