若一个关系的任何非主属性都不部分依赖和传递依赖于任何候选码，则称该关系达到（）。