えせスピーカー 候補キーが空値を許すって言うのは SQL92 からみたいですね。というのも、SQL92ではUNIQUE の指定の時にかならずしも NOTNULL 指定がいらない、つまり一意に識別される属性にもNULLが許されるということになっています。このあたりは、MySqlなりPostgresなりの文献を参照して下さい。つまりこれは候補キーに空値が許されることだと思うのですが。
で、また"相当"の定義にもどることになる。

？？？ うーーん、"UNIQUE 指定時に NULL が許される"、という話しと、"候補キーにNULLが許される"ってのは別個の話しですよね。
UNIQUE 指定は、"その要素のもつ値が、テーブル中で唯一である"、ということを示すものであって、"その要素により、テーブル中の行を特定できる"、という意味ではないですから。
候補キーにとって、UNIQUE であることは必要条件ですが、十分条件ではありません。
ってことで、やっぱり "候補キーには空値は許されない"、と思います。
#候補キーの要素中、NULL値をとる行が唯一であれば、(数学的に空値っ て何を示す？、って話しもありますが)それはOKかもしれません :-)

？？？ (まぁ、上の話しはあくまでいちびった余談ですので、、、一応説明します)

候補キーはその定義から、とあるテーブルRにおいてある属性Kが候補キーであるとは、２つの異なる行s, r に対して、s[K] != r[K] であることが条件とされています。

従って、属性Kにおいてnull 値が唯一であれば、この条件は満たされることになります。

この場合、
単に候補キーでも null がOK、というわけでなく、同時にnull 値をとるのが唯一の行であることが保証されていなければならない。
そもそも null 値をさも"通常の値"のように扱ってよいのか、という数学的な問題がある。

データベースは三値論理で動いていますので、NULL = NULLはtrueにならず、結果不明とみなされます。

というわけで、UNIQUEに（決して同じ値だとは解釈されない）NULLを複数入れられても問題ありませんし、実際にそのように振る舞うRDBMSも存在します。

One of the differences between a candidate key and a primary key is that "candidate keys can contain nulls." I have been unable to find a more precise definition of what this means. One explanation I have seen is that in a CK with only one attribute, exactly one value can be NULL. Presumably this is because that NULL can uniquely identify a tuple/row. Is this correct?

候補キーと主キーの違いの 1 つは、「候補キーには NULL を含めることができる」ということです。これが何を意味するのか、より正確な定義を見つけることができませんでした。私が見た説明の 1 つは、属性が 1 つだけの CK では、正確に 1 つの値が NULL になる可能性があるというものです。おそらく、NULL はタプル/行を一意に識別できるためでしょう。これは正しいでしょうか?

How are we supposed to tell if we are about to create duplicates in a candidate key? Well, you have duplicates if the value you're trying to insert matches any value currently in the table. However, if what we are trying to insert is NULL you can only ever get the answer "unknown".

One way to address this is to define that candidate keys may not contain nullable columns. That's legitimate. Another is to extend the definition of duplicate to "new value equals existing value or new value is null and an existing value is null." This is also legitimate. Neither is right or wrong, they are just two differing definitions which have been given the same name.

（・・・）It depends on how worked up you want to get about 3-value logic or if you accept that a NULL can be treated as being the same thing as another NULL.

候補キーに重複を作成しようとしているかどうかをどうやって判断すればよいのでしょうか。挿入しようとしている値が現在テーブルにある値と一致する場合は、重複があります。ただし、挿入しようとしているのが NULL の場合は、「不明」という答えしか得られません。

これに対処する 1 つの方法は、候補キーに null 許容列を含めないように定義することです。これは妥当です。もう 1 つの方法は、重複の定義を「新しい値が既存の値と等しいか、新しい値が null で既存の値が null である」に拡張することです。これも妥当です。どちらも正しいとか間違っているとかいうわけではなく、同じ名前が付けられた 2 つの異なる定義にすぎません。
（・・・）3 値ロジックをどの程度まで理解したいか、または NULL を別の NULL と同じものとして扱うことができることを受け入れるかどうかによって異なります。