【 】就是不允许关系模式的属性之间有这样的函数依赖x→Y，其中X是码的真子集，Y是非主属性。