如果关系模式R的属性之间不存在非平凡且非函数依赖的多值依赖，则R的规范化程序达到了（）。