BCNF(2)

1