分解成BCNF模式集的算法，不一定保证（）。