在关系数据库规化理论的研究中，在函数依赖的畴，达到了___________式最高的规化程度。