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

第五章 数据库完整性;数据库完整性;为维护数据库的完整性，DBMS必须： 1.提供定义完整性约束条件的机制 完整性约束条件也称为完整性规则，是数据库中的数据必须满足的语义约束条件。包括关系模型的三种完整性，由SQL的DDL实现。 2.提供完整性检查的方法 DBMS中检查数据是否满足完整性约束条件的机制称为完整性检查。一般在更新后或事务处理时检查。 3.违约处理 DBMS发现用户的操作违背了完整性约束条件就进行违约处理以保证数据的完整性。;第五章 数据库完整性;5.1 实体完整性;5.1.1 实体完整性定义;关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义 单属性构成的码有两种说明方法 定义为列级约束条件 定义为表级约束条件 对多个属性构成的码只有一种说明方法 定义为表级约束条件 ;［例1］将Student表中的Sno属性定义为码 (1)在列级定义主码 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20));;(2)在表级定义主码 CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno) ); ;［例2］将SC表中的Sno，Cno属性组定义为码 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY (Sno，Cno) /*只能在表级定义主码*/ ); ;[思考]定义SC表后添加(Sno,Cno)属性组为码 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， ); ;5.1.2 实体完整性检查和违约处理;检查记录中主码值是否唯一的一种方法是进行全表扫描;索引 ;5.2 参照完整性;5.2.1 参照完整性定义;例如，关系SC中一个元组表示一个学生选修的某门课程的成绩，（Sno，Cno）是主码。Sno，Cno分别参照引用Student表的主码和Course表的主码 ［例3］ 定义SC中的参照完整性 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) /*在表级定义参照完整性*/ );;参照完整性检查和违约处理;违约处理;违约处理;［例4］ 显式说明参照完整性的违约处理示例 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY（Sno，Cno），