首先你的问题是错误的：X→Y表示Y函数依赖于X，而X可以是码与非主属性的集合。第三范式（3NF）的定义是：非主属性不传递函数依赖于码，既非主属性都直接函数依赖于码。举一个例子：关系模式S-L(Sno,Dept,Loc)希望对你能有所帮助。
