bcnf范式分解举例