Correct choice is (a) States a method to decompose a relation satisfying BCNF
For explanation I would say: If a relation is not in BCNF, it can be decomposed into simpler relations that are in BCNF. The BCNF decomposition algorithm states a method to decompose a relation satisfying BCNF.