K是关系模式R的超键当且仅当K→>R K是R的候选键当且仅当 K→R,并且 没有acK使α→R•K 是关系模式R 的超键当且仅当 K → R •K 是R 的候选键当且仅当: K → R, 并且 没有  K 使 → R