added BCNF decomp for Part2Q1b