在关系模式R中，若X→Y，并且对于X的任何一个真子集X’’，x’’→Y都不成立，则称 Y对X【 】。

问题处理方案的正确而完整的描述称为______。