「候補キー」の版間の差分

'''候補キー'''(こうほキー)は、[[スーパーキー]]のうち、最小限('''既約'''(irreducible)の形のものをいう。

既約とは、ここでは、それを構成する属性(列)のどれか一つでも欠ければ一意性が確保できなくなること、つまり冗長な属性を含まないことをいう。最小(minimal)ともいう。

要するに、組(行)の識別のために必要な、属性又はその集合が候補キーである。候補キーは、組(行)の「アドレス」だと考えることもできる。

NULLを含む候補キーというものを認めるかについては諸説あるが、一説には、[[主キー]]には認められないが候補キーには認められるという。ただ、NULLが不明を表すとすると、この立場は上記の定義とは矛盾する。一方で、候補キーに限らず、属性の値としてNULLを含むならば、定義上それはそもそもリレーションでないとする立場もある。

なお、[[SQL]]におけるCREATE UNIQUE INDEX文で指定される[[一意性制約]]は、厳密には候補キーとは別の概念であるから、一意性制約にNULLを許すことができるものがあることは、ここでの議論に必ずしも影響しない。