数据保护完整性.pptVIP

例：在“学号不能为空”的约束中D约束作用的对象为Sno属性O插入或修改Student元组时ASno不能为空C无（A可作用于所有记录的Sno属性）P拒绝执行该操作第30页，共58页，星期日，2025年，2月5日例：在“教授工资不得低于1000元”的约束中D约束作用的对象为工资Sal属性O插入或修改职工元组时ASal不能小于1000C职称=′教授′，(A仅作用于职称=‘教授’的记录)P拒绝执行该操作第31页，共58页，星期日，2025年，2月5日二、关系系统三类完整性的实现关系数据库系统都提供了定义和检查实体完整性、参照完整性和用户定义的完整性的功能第32页，共58页，星期日，2025年，2月5日违反实体完整性、用户定义的完整性规则的操作拒绝执行违反参照完整性的操作拒绝执行接受这个操作，同时执行一些附加的操作，以保证数据库的状态正确第33页，共58页，星期日，2025年，2月5日三、参照完整性的实现例：职工－部门数据库包含职工表EMP和部门表DEPTDEPT关系的主码为部门号DeptnoEMP关系的主码为职工号Empno,外码为部门号DeptnoDEPT：被参照关系或目标关系EMP：参照关系第34页，共58页，星期日，2025年，2月5日RDBMS实现参照完整性时需要考虑以下4方面：1.外码是否可以接受空值的问题外码是否能够取空值依赖于应用环境的语义实现参照完整性系统提供定义外码的机制定义外码列是否允许空值的机制第35页，共58页，星期日，2025年，2月5日例：在职工－部门数据库中EMP关系包含有外码Deptno某元组的这一列若为空值，表示这个职工尚未分配到任何具体的部门工作和应用环境的语义是相符第36页，共58页，星期日，2025年，2月5日例：学生－选课数据库Student关系为被参照关系，其主码为Sno。SC为参照关系，外码为Sno。若SC的Sno为空值：表明尚不存在的某个学生，或者某个不知学号的学生，选修了某门课程，其成绩记录在Grade中。与学校的应用环境是不相符的，因此SC的Sno列不能取空值。第37页，共58页，星期日，2025年，2月5日2.在被参照关系中删除元组时出现违约操作的情形删除被参照关系的某个元组（student）而参照关系有若干元组(SC)的外码值与被删除的被参照关系的主码值相同第38页，共58页，星期日，2025年，2月5日违约反应的策略级联删除（CASCADES）受限删除（RESTRICTED）置空值删除（NULLIFIES）这三种处理方法，哪一种是正确的，要依应用环境的语义来定第39页，共58页，星期日，2025年，2月5日级联删除将参照关系中外码值与被参照关系中要删除元组主码值相对应的元组一起删除受限删除当参照关系中没有任何元组的外码值与要删除的被参照关系的元组的主码值相对应时，系统才执行删除操作，否则拒绝此删除操作第40页，共58页，星期日，2025年，2月5日置空值删除删除被参照关系的元组，并将参照关系中与被参照关系中被删除元组主码值相等的外码值置为空值。第41页，共58页，星期日，2025年，2月5日数据保护完整性第1页，共58页，星期日，2025年，2月5日数据库是否具备完整性关系到数据库系统能否真实地反映现实世界。维护数据库的完整性是非常重要的。第2页，共58页，星期日，2025年，2月5日数据的完整性和安全性是两个不同的概念，密切相关。完整性防止数据库中存在不符合语义的数据，防止错误信息的输入和输出防范对象是不合语义的数据安全性保护数据库防止恶意的破坏和非法的存取防范对象是非法用户和非法操作第3页，共58页，星期日，2025年，2月5日DBMS必须提供一种机制来检查数据库中的数据，看其是否满足语义规定的条件。完整性控制机制完整性约束条件定义机制完整性检查机制违约反应第4页，共58页，星期日，2025年，2月5日1、完整性约束条件定义完整性约束条件：数据模型的组成部分，约束数据库中数据的语义。DBMS应提供定义数据库完整性约束条件(即数据上的语义约束条件)，并把它们作为模式的一部分存入数据库中第5页，共58页，星期日，2025年，2月5日2、完整性检查机制检查用户发出的操作请求是否违背了完整性约束条件。第6页，共58页，星期日，2025年，2月5日3、违约反应如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。第7页，共58页，星期日，2025年，2月5日6.2.2完整