第5章-数据库完整性(选讲部分-2012).pptVIP

DBMS的完整性控制机制（续） 例1：在“学号不能为空”的约束中 D 约束作用的对象为Sno属性 O 插入或修改Student 元组时 A Sno不能为空 C 无（A可作用于所有记录的Sno属性） P 拒绝执行该操作 DBMS的完整性控制机制（续） 例2：在“教授工资不得低于1000元”的约束中 D 约束作用的对象为工资Sal属性 O 插入或修改职工元组时 A Sal不能小于1000 C 职称=′教授′ (A仅作用于职称=‘教授’的记录) P 拒绝执行该操作 二、关系系统三类完整性的实现 关系数据库系统都提供了定义和检查实体完整性、参照完整性和用户定义的完整性的功能 违反实体完整性规则和用户定义的完整性规则的操作： 一般是拒绝执行 违反参照完整性的操作： 拒绝执行 接受这个操作，同时执行一些附加的操作，以保证数据库的状态正确 三、参照完整性的实现 例:职工－部门数据库包含职工表EMP和部门表DEPT 1 DEPT关系的主码为部门号Deptno 2 EMP关系的主码为职工号Empno, 外码为部门号Deptno 称DEPT为被参照关系或目标关系，EMP为参照关系 RDBMS实现参照完整性时需要考虑以下4方面： 1. 外码是否可以接受空值的问题 外码是否能够取空值：依赖于应用环境的语义 实现参照完整性： 系统提供定义外码的机制 定义外码列是否允许空值的机制 1. 外码是否可以接受空值的问题 例1：在职工－部门数据库中， EMP关系包含有外码Deptno 某元组的这一列若为空值，表示这个职工尚未分配到任何具体的部门工作 和应用环境的语义是相符 1. 外码是否可以接受空值的问题 例2：学生－选课数据库 Student关系为被参照关系，其主码为Sno。 SC为参照关系，外码为Sno。 若SC的Sno为空值：表明尚不存在的某个学生，或者某个不知学号的学生，选修了某门课程，其成绩记录在Grade中 与学校的应用环境是不相符的，因此SC的Sno列不能取空值。 2.在被参照关系中删除元组时的问题 出现违约操作的情形： 删除被参照关系的某个元组（student） 而参照关系有若干元组(SC)的外码值与被删除的被参照关系的主码值相同 2.在被参照关系中删除元组时的问题 违约反应：可有三种策略 级联删除（CASCADES） 受限删除（RESTRICTED） 置空值删除（NULLIFIES） 这三种处理方法，哪一种是正确的，要依应用环境的语义来定 2.在被参照关系中删除元组时的问题 级联删除 将参照关系中外码值与被参照关系中要删除元 组主码值相对应的元组一起删除 受限删除 当参照关系中没有任何元组的外码值与要删除 的被参照关系的元组的主码值相对应时，系统 才执行删除操作，否则拒绝此删除操作 2.在被参照关系中删除元组时的问题 置空值删除 删除被参照关系的元组，并将参照关系 中与被参照关系中被删除元组主码值相 等的外码值置为空值。 2.在被参照关系中删除元组时的问题 例：要删除Student关系中Sno=950001的元组， 而SC关系中有4个元组的Sno都等于950001。 级联删除：将SC关系中所有4个Sno=950001的元组一起删除。如果参照关系同时又是另一个关系的被参照关系，则这种删除操作会继续级联下去 受限删除：系统将拒绝执行此删除操作。 2.在被参照关系中删除元组时的问题 置空值删除：将SC关系中所有Sno=950001的元组的Sno值置为空值。 在学生选课数据库中，显然第一种方法和第二种方法都是对的。第三种方法不符合应用环境语义。 3.在参照关系中插入元组时的问题 出现违约操作的情形 需要在参照关系中插入元组，而被参照关系不存在相应的元组 违约反应 受限插入 递归插入 3.在参照关系中插入元组时的问题 受限插入 仅当被参照关系中存在相应的元组，其主码值与参照关系插入元组的外码值相同时，系统才执行插入操作，否则拒绝此操作。 递归插入 首先向被参照关系中插入相应的元组，其主码值等于参照关系插入元组的外码值，然后向参照关系插入元组。 3.在参照关系中插入元组时的问题 例：向SC关系插入（99001，1，90）元组，而Student关系中尚没有Sno=99001的学生 受限插入：系统将拒绝向SC关系插入（99001，1，90）元组 递归插入：系统将首先向Student关系插入Sno=99001的元组，然后向SC关系插入（99001，1，90）元组。 4. 修改被参照关系中主码的问题 两种策略 (1)不允许修改主码 (2)允许修改主码