一个 候选键（key 或 candidate key） 是一个 极小的 超键。也就是说： K 是一个超键（K⁺ = U）， 并且 K 的任何真子集都不是超键（即对于 K 的任意子集 K’，如果 K’ ≠ K，则 K’⁺ ≠ U）[1]。