预焙阳极在铝电解槽中起着导入电流的作用。

如果关系模式中每一个非平凡且非函数依赖的多值依赖的左部都包含码，则该关系模式的规范化程序达到了______。