短语词组短语total order temporal BCNF 全序时态BC范式BCNF 正规形式 boyce codd normal formpartial -order temporal BCNF 偏序时态BC范式 返回 bcnf