设有关系模式R（ABCDEF），F={ A→BC，CD→E，B→DA }R最高属于第几范式。