第六节数据库完整性.pptVIP

第六章 数据库完整性 本章知识要点 实体完整性 参照完整性 用户自定义完整性 完整性约束命名子句 完整性概念 数据库的完整性是指数据的正确性和相容性。 防止不合语义的数据进入数据库。 与安全性的区别： 安全性是防止用户非法使用数据库，包括恶意破坏数据和越权存取数据。 完整性则是防止合法用户使用数据库时向数据库中加入不合语义的数据。 安全性措施的防范对象是非法用户和非法操作。 完整性措施的防范对象是不合语义的数据。 1、提供定义完整性约束条件的机制 2、提供完整性检查的方法 3、违约处理 RDBMS维护数据库完整性的机制（续） 完整性约束条件 定义数据库完整性约束条件（规则），并把它们作为数据模式的一部分存入数据字典中，来约束数据库中数据的语义。 完整性检查方法 检查用户发出的操作请求是否违背了完整性约束条件。 违约处理 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。 第6章 数据库完整性 6.1 实体完整性 6.2 参照完整性 6.3 用户定义的完整性 6.4 完整性约束命名子句 6.5 域中的完整性限制 6.6 小结 6.1 实体完整性 6.1.1 实体完整性定义: 关系模型的实体完整性在CREATE TABLE语句中用PRIMARY KEY定义。 单属性构成的码有两种说明方法： 列级约束条件 表级约束条件 多属性构成的码只有一种说明方法： 表级约束条件： 实体完整性规则要求主属性非空。 实体完整性定义（续） 例1 将Student表的Sno属性为主码，可使用如下语句： 实体完整性定义（续） 例2 将SC表中的Sno，Cno属性组定义为码 6.1.2 实体完整性检查和违约处理 检查内容及违约处理： （1）检查主码值是否惟一，如果不惟一则拒绝插入或修改。 （2）检查主码的各个属性是否为空，只要有一个为空就拒绝插入和修改。 方法： 全表扫描（建立索引） 第6章 数据库完整性 6.1 实体完整性 6.2 参照完整性 6.3 用户定义的完整性 6.4 完整性约束命名子句 6.5 域中的完整性限制 6.6 小结 6.2 参照完整性 6.2.1 参照完整性定义 关系模型的参照完整性在CREATE TABLE语句中在建表时通过下列方法实现： 用FOREIGN KEY子句定义哪些列为外码列； 用REFERENCES子句指明这些外码参照哪些表的主码。 例：关系SC中一个元组表示一个学生选修的某门课程的成绩，（Sno，Cno）是主码。Sno，Cno分别参照引用Student表的主码和Course的主码。 定义SC中的参照完整性： 6.2.2 参照完整性检查和违约处理 可能破坏参照完整性的情况及违约处理 参照完整性检查和违约处理（续） 违约反应：可有三种策略 拒绝执行（Reject） 级联删除（Cascade） 置空值删除（Set_null） 这三种处理方法，哪一种是正确的，要依应用环境的语义来定。 参照完整性检查和违约处理（续） 拒绝（Reject)执行 不允许该操作执行。 级联（Cascade)操作 若删除或修改被参照表的一个元组时，造成了与参照关系的不一致，则删除或修改参照表中所有造成不一致的元组。 设置为空值（Set-null） 若删除或修改被参照表的一个元组时，造成了与参照关系的不一致，则将参照表中所有造成不一致的元组的对应属性设置为空值。 参照完整性检查和违约处理（续） 例：要删除Student关系中Sno=950001的元组， 而SC关系中有4个元组的Sno都等于950001。 级联删除：将SC关系中所有4个Sno=950001的元组一起删除。如果参照关系同时又是另一个关系的被参照关系，则这种删除操作会继续级联下去。 拒绝删除：系统将拒绝执行此删除操作。 置空值删除：将SC关系中所有Sno=950001的元组的Sno值置为空值。 参照完整性检查和违约处理（续） 在学生选课数据库中，显然第一种方法和第二种方法都是对的。第三种方法不符合应用环境语义。 参照完整性检查和违约处理（续） 例4 第6章 数据库完整性 6.1 实体完整性 6.2 参照完整性 6.3 用户定义的完整性 6.4 完整性约束命名子句 6.5 域中的完整性限制 6.6 小结 6.3 用户定义的完整性 用户在建表时定义下列完整性约束： 列值非空(NOT NULL短语) 列值唯一(UNIQUE短语) 检查列值是否满足一个布尔表达式(CHECK短语) 1.不允许取空值 例 在定义SC表时，说明Sno、Cno、Grade属性不允许取空值。 2.列值唯一 例 建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码。