BCNF Decomposition