键必须不可约

候选键同时要求唯一性和不可约性。把可约超键声明成键，会让系统只能保证更弱的唯一性，无法表达真正的标识规则。键是约束，不是索引，也不是性能提示。