Keys,SuperKeys,Primary Keys

SuperKeys包含Keys包含Primary Keys
有第三范式可证：任何表T都至少有一个Key(也可以翻译成候选键) -- Every table T has at least one key.
因为Primary Keys是别的表引用自身用的，所以不能为NULL