实验3.3 数据完整性约束