参考答案：4NF

解析： 规范化程度有五级。第一范式(1NF)要求的条件是元组中的所有分量必须是不可分的数据项；第二范式(2NF)要求关系模式R∈1NF，且每一个非主属性完全函数依赖于码，印不允许非主属性对码的部分函数依赖；第三范式(3NF)要求关系模式R∈2NF，且每一个非主属性都不传递依赖于码。范式(BCNF)要求关系模式R∈3NF，且对于每一个非平凡的函数依赖X→Y，都有X包含码。如关系模式R∈1NF，且对于每一个非平凡的多值依赖X→→Y(Y[*]X)，都有X包含码，则R∈4NF。所以在关系数据库规范化理论的研究中，4NF达到了最高的规范化程序。