In order to determine if a given functional dependency X → Y is a BCNF violation with respect to a set of attributes S, notice that:

• X must not be a superkey, i.e. XY must not contain all attributes in S which can be checked with the condition S 6⊆ XY

• X → Y must be a valid functional dependency with respect to S, which can be checked by making sure that the following conditions are true: – X ⊆ S – Y ∩ S 6= ∅

Modify your program from question 1 so that it outputs those functional dependencies which are BCNF violations