5数据库系统原理 第五章 数据库完整性.pptVIP

第五章 数据库完整性 第5章 数据库的完整性 数据库的完整性是指数据的正确性和相容性。 为维护数据库的完整性，DBMS必须提供一种机制来检查数据库中的数据，看其是否满足语义规定的条件。这些加在数据库数据之上的语义约束条件称为数据库完整性约束条件，它们作为模式的一部分存入数据库中。 DBMS中检查数据是否满足完整性条件的机制称为完整性检查。 完整性约束条件 完整性检查是围绕完整性约束条件进行的，因此完整性约束条件是完整性控制机制的核心。 完整性约束条件作用的对象可以是关系、元组、列三种。 完整性约束条件 列约束主要是列的类型、取值范围、精度、排序等的约束条件。 元组的约束是元组中各个字段间的联系的约束。 关系的约束是若干元组间、关系集合上以及关系之间的联系的约束。 完整性约束条件的分类 静态约束和动态约束 静态约束是指数据库每一确定状态时的数据对象所应满足的约束条件，它是反映数据库状态合理性的约束，这是最重要的一类完整性约束。 动态约束是指数据库从一种状态转变为另一种状态时新、旧值之间所应满足的约束条件，它是反映数据库状态变迁的约束。 完整性约束条件的分类 综合这两方面，可分为： 静态列级约束 静态元组约束 静态关系约束 动态列级约束 动态元组约束 动态关系约束 SQL Server2000 支持五类约束 NOT NULL CHECK UNIQUE PRIMARY KEY FOREIGN KEY 完整性控制 DBMS的完整性控制机制应具有三方面的功能： 定义功能：提供定义完整性约束条件的机制。 检查功能：检查用户发出的操作请求是否违背了完整性约束条件。 处理违约：如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。 完整性控制 立即执行约束： 一条语句执行完后立即检查是否违背完整性约束。 如果发现用户操作请求违背了完整性约束条件，系统将拒绝该操作。 延迟执行约束： 整个事务执行结束后再进行完整性约束检查。 如果发现用户操作请求违背了完整性约束条件，系统将拒绝整个事务，把数据库恢复到该事务执行前的状态。 完整性控制 完整性控制 五元组（D，O，A，C，P） 例如：在“学号不能为空”的约束中： D 约束作用的对象为Sno属性 O 插入或修改student元组时 A Sno不能为空 C 无（即A可作用于所有记录的Sno属性） P 拒绝执行该操作 实体完整性 实体完整性的定义 例：将Student表中的Sno属性定义为码 CREATE TABLE student (sno char(10) PRIMARY KEY, sname nvarchar(50) NOT NULL , ssex nchar(10), sage smallint, sdept char(20) ) 参照完整性 参照完整性的定义 例：定义SC表中的参照完整性 CREATE TABLE sc (sno char(10) 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) ) 用户定义的完整性 属性上的约束条件的定义 列值非空（NOT NULL) 列值唯一（UNIQUE） 检查列值是否满足一个布尔表达式（CHECK) 属性上的约束条件检查和违约处理 当往表中插入元组或修改属性的值时，RDMBS就检查属性上的约束条件是否被满足，如果不满足则操作被拒绝执行。 完整性约束命名子句 完整性约束命名子句 CONSTRAINT完整性约束条件名 [PRIMARY KEY短语|FOREIGN KEY短语|CHECK 短语] 完整性约束命名子句 例1：CREATE TABLE student (sno char(10) CONSTRAINT C_stu1 CHECK(sno BETWEEN 9000 AND 9999), sname nvarchar(50) CONSTRAINT C_stu2 NOT NULL, ssex nchar(10) CONSTRAINT C_stu3 CHECK (ssex IN (’男’,’女’)), sage smallint CONSTRAINT C_stu4 CHECK (sage30), sdept char(20) CONSTRAINT C_studentkey PRIMA