参考答案：4NF

解析： 若关系模式R∈1NF，且对于每一个非平凡的多值依赖X→→Y(Y不属于X)，都有X包含码，则R∈4NF。4NF就是限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖。