设 是一个属性集 上的关系模式， 和 是 的子集。若对于 的任意一个可能的关系 ， 中不可能存在两个元组在 上的属性值相等，而在 上的属性值不等,则称“ 函数确定 ”或“ 函数依赖于 ”，记作 。其中 称为这个函数依赖的决定属性集（Determinant）。
解释：如果有函数依赖 ，当我们知道 的时候，也就知道了 ，也就是 能推出 。另外，可以简单的证明，如果 ，，那么可以得到 。
若关系中的某一属性组的值能唯一的表示一个元组，则称该属性组为超码。若关系中的某一属性组的值能唯一地表示一个元组，而其真子集不行，则称该属性组为候选码。
解释：设有属性集合 和函数依赖 和 ，显然，在已知 的情况下，我们能够通过函数依赖得到整个集合的所有属性 ，那么我们称 为超码。当超码的任何一个子集都不是超码的时候，我们称之为候选码。例如 是一个超码，但是不是一个候选码，因为 是 的子集，它也是超码。
现在给出属性集合和函数依赖集合 ，请找出该 的候选码。
