设有关系模式R（A，B，C，D），其上的函数依赖集：F={A→C，C→A，B→AC，D→AC}将R分解使其满足BCNF且无损连接