9.4 练习：为表定义约束