参考答案：3NF

解析： 根据Boyce-Codd范式(BCNF)的定义：若关系R∈1NF，且对于每一个非平凡的函数依赖X→Y，都有X包含码，则R∈BCNF。由于关系模式R中所有的属性都是主属性，但是不能确定X都包含码，所以R的规范化程序至少到3NF。