Added Alternative (BCNF) decomposition