设R是一个关系，如果R中的每个非码属性都完全依赖于码属性，且每个属性是不可分解的，则称R是（）。