分解成BCNF模式集的算法,不一定保证()。
出自:计算机科学