9.2.3 插入约束