设有关系模式R（A，B，C，D，E），其上的函数依赖集：F＝{A→C，C→D，B→C，DE→C，CE→A}将R分解为BCNF，并具有无损连接性