数据库实验：SPJ数据库的实体、参照和用户定义完整性

"数据库系统概论实验文档，10软件1班22号周超的实验八，涉及数据库SPJ，包括实体完整性、参照完整性和用户定义完整性的定义和示例" 实验八主要关注数据库的完整性规则，这是确保数据准确性和一致性的关键组成部分。以下是实验中涉及的主要知识点： 1. 实体完整性： - 实体完整性是指每个表中的主键必须具有唯一的值，且不能为空。在S、P、J和SPJ表中，SNO、PNO、JNO分别作为它们各自表的主键，确保了每个记录的唯一性。 - 示例中，尝试在J表中插入两个主键相同的记录导致了错误，提示违反了主键约束，说明了实体完整性的重要性。 2. 参照完整性： - 参照完整性确保了表之间的关联是有效的，即外键的值必须存在于被参照表的主键中。在SPJ表中，SNO、PNO和JNO是外键，分别参照S、P和J表的主键。 - 当尝试在SPJ表中插入不存在的外键值，或者试图更新外键值为参照表中不存在的值时，会收到错误提示，表明违反了参照完整性。 3. 用户定义完整性： - 用户定义完整性是针对特定业务规则的约束，如限制某个字段的取值范围或格式。例如，在S表中，STATUS字段的取值范围限定为10到50。 - 当尝试插入不符合这些规则的数据时，如在J表中插入一个空的JNO，会违反用户定义完整性，因为JNO字段不允许为空。 实验过程通过SQL语句创建了SPJ数据库，并详细展示了如何违反这三种完整性规则，以及违反规则时的错误提示。这有助于理解数据库管理系统如何强制执行这些完整性约束，从而保护数据的正确性。 通过这个实验，学生可以深入理解数据库设计的基本原则，学习如何定义和维护数据完整性，这对于实际的数据库管理和应用开发至关重要。同时，它还强调了在操作数据库时需谨慎，以避免因违反完整性规则而导致的数据错误或丢失。