10.5.1 一个UNIQUE约束的示例