数据库_第五章数据库完整性.docVIP

第五章 数据库完整性 相关简介（了解）： 概念：数据库的完整性是指数据的正确性和相容性 数据库的完整性与安全性区别： 数据库的完整性是为了防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据 数据的安全性是保护数据库防止恶意的破坏和非法的获取。 为维护数据库的完整性，DBMS能够 **提供定义完整性约束条件的机制 完整性约束条件也称为完整性规则，是数据库中的数据必须满足的语义约束条件 **提供完整性检查的方法 DBMS中检查数据是否满足完整性约束条件的机制称为完整性检查（INSERT、UPDATE） **违约处理 DBMS若发现用户的操作违背了完整性约束条件，就采取一定的动作，如拒绝（NO ACTION）执行该操作，或级联（CASCADE）执行其他操作，进行违约处理以保证数据的完整性。 实体完整性（主属性非空） 实体完整性定义（列级约束条件+表级约束条件） 关系模型的实体完整性在CREATE TABLE中用PRIMARY KEY定义。 对单属性构成的码有两种说明方法，列级约束条件+表级约束条件； 对多属性构成的码有一种说明方法，即定义为表级约束条件。 实例： ***将Student表中的Sno属性定义为码： CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， //在列级定义主码 Sname CHAR(20) NOT NULL， Ssex CHAR(2)， Sage SMALLINT， Sdept CHAR(20) )； 或者 CREATE TABLE Student (Sno CHAR(9) ， Sname CHAR(20) NOT NULL， Ssex CHAR(2)， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY （Sno） //在表级定义主码 ）； ***将SC表中的Sno，Cno属性定义为码： CREATE TABLE SC (Sno CHAR(9) NOT NULL， /*NOT NULL可以去掉，主属性非空， Cno CHAR(4) NOT NULL， 下面已经定义*/ Grade SMALLINT， PRIMARY KEY （Sno，Cno） //只能在表级定义主码 ）； 实体完整性检查（插入INSERT、更新UPDATE）和违约处理 保证实体完整性，包括： **检查主码值是否唯一（进行全表扫描），如果不唯一则拒绝插入或修改 **检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改 参照完整性（对外码取值进行限制） 关系模型的参照完整性在CREATE TABLE中用FOREIGN KEY短语定义为哪些列为外码，用REFERENCES 短语指明这些外码参照哪些表的主码。 （外码：是一个表的主码是另一个表的外码） 例题：关系ＳＣ中一个元组表示一个学生选修的某门课程的成绩， （Sno，Cno）是主码，Sno，Cno分别参照引用Student表的主码和 Course表的主码，定义ＳＣ中的参照完整性 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY （Sno，Cno）， //在表级定义实体完整性 FOREIGN KEY(Sno) REFERENCES Student（Sno），//在表级定义参照完整性 　　 FOREIGN KEY(Cno) REFERENCES Course（Cno） //在表级定义参照完整性 ）； 参照完整性检查（增删改）和违约处理 一个参照完整性将两个表中的相应元组联系起来了，因此，对被参照表和参照表进行增删改操作时可能破坏参照完整性，必须进行检查 ***违约处理： a》拒绝（NO ACTION）执行 b》级联（CASCADE）操作 当删除或修改被参照表的一个元组造成了与参照表（有外码的表）的不一致，则删除或修改参照表中的所有造成不一致的元组 c》设置成空值 当删除或修改被参照表的一个元组造成了不一致，则将参照表中的所有造成不一致的元组的对应属性设置为空值 注意：对于参照完整性，除了应该定义外码，还应定义外码列是否允许空值；一般地，当参照表和被参照表的操作违反了参照完整性，系统采用默认策略，即拒绝执行，如果想让系统采用其他的策略则必须在创建表的时候显示的加以说明 实例：显示说明参照完整性的违约处理示例 CREATE TABLE SC (Sno CHAR(9) NOT N