bcnf分解例题