(A,C)->B,(A,B)->C,B->C,最高可达第几范式