If the BCNF decomposition does preserves all functional dependencies, then we are done
Otherwise....
This is always achievable
However: