数据库系统概论第五章数据库的完整性.ppt

10/1/2023,An Introduction to Database System,1,数据库系统概论An Introduction to Database System第五章 数据库完整性,10/1/2023,An Introduction to Database System,2,数据库完整性,数据库的完整性数据的正确性和相容性,数据的完整性和安全性是两个不同概念数据的完整性防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据防范对象：不合语义的、不正确的数据数据的安全性保护数据库防止恶意的破坏和非法的存取防范对象：非法用户和非法操作,10/1/2023,An Introduction to Database System,3,数据库完整性(续),为维护数据库的完整性，DBMS必须：提供定义完整性约束条件的机制提供完整性检查的方法违约处理,10/1/2023,An Introduction to Database System,4,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,5,5.1 实体完整性,5.1.1 实体完整性定义5.1.2 实体完整性检查和违约处理,10/1/2023,An Introduction to Database System,6,5.1.1 实体完整性定义,关系模型的实体完整性CREATE TABLE中用PRIMARY KEY定义单属性构成的码有两种说明方法 定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法定义为表级约束条件,10/1/2023,An Introduction to Database System,7,实体完整性定义(续),(1)在列级定义主码 CREATE TABLE Student(Sno CHAR(9)PRIMARY KEY，Sname CHAR(20)NOT NULL，Ssex CHAR(2)，Sage SMALLINT，Sdept CHAR(20);,例1 将Student表中的Sno属性定义为码,10/1/2023,An Introduction to Database System,8,实体完整性定义(续),(2)在表级定义主码 CREATE TABLE Student(Sno CHAR(9)，Sname CHAR(20)NOT NULL，Ssex CHAR(2)，Sage SMALLINT，Sdept CHAR(20)，PRIMARY KEY(Sno);,10/1/2023,An Introduction to Database System,9,实体完整性定义(续),CREATE TABLE SC(Sno CHAR(9)NOT NULL，Cno CHAR(4)NOT NULL，Grade SMALLINT，PRIMARY KEY(Sno，Cno)/*只能在表级定义主码*/);,例2将SC表中的Sno，Cno属性组定义为码,10/1/2023,An Introduction to Database System,10,5.1 实体完整性,5.1.1 实体完整性定义5.1.2 实体完整性检查和违约处理,10/1/2023,An Introduction to Database System,11,5.1.2 实体完整性检查和违约处理,插入或对主码列进行更新操作时，RDBMS按照实体完整性规则自动进行检查。包括：检查主码值是否唯一，如果不唯一则拒绝插入或修改 检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改,10/1/2023,An Introduction to Database System,12,实体完整性检查和违约处理(续),检查记录中主码值是否唯一的一种方法是进行全表扫描,10/1/2023,An Introduction to Database System,13,实体完整性检查和违约处理(续),另一个是索引（如B+树索引）,10/1/2023,An Introduction to Database System,14,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,15,5.2 参照完整性,5.2.1 参照完整性定义5.2.2 参照完整性检查和违约处理,10/1/2023,An Introduction to Database System,16,5.2.1 参照完整性定义,关系模型的参照完整性定义在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码用REFERENCES短语指明这些外码参照哪些表的主码,10/1/2023,An Introduction to Database System,17,参照完整性定义(续),例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)/*在表级定义参照完整性*/);,例如，关系SC中一个元组表示一个学生选修的某门课程的成绩，（Sno，Cno）是主码。Sno，Cno分别参照引用Student表的主码和Course表的主码,10/1/2023,An Introduction to Database System,18,5.2 参照完整性,5.2.1 参照完整性定义5.2.2 参照完整性检查和违约处理,10/1/2023,An Introduction to Database System,19,参照完整性检查和违约处理,可能破坏参照完整性的情况及违约处理,10/1/2023,An Introduction to Database System,20,违约处理,参照完整性违约处理拒绝(NO ACTION)执行默认策略级联(CASCADE)操作设置为空值（SET-NULL）对于参照完整性，除了应该定义外码，还应定义外码列是否允许空值,10/1/2023,An Introduction to Database System,21,违约处理(续),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)ON DELETE CASCADE/*级联删除SC表中相应的元组*/ON UPDATE CASCADE，/*级联更新SC表中相应的元组*/FOREIGN KEY(Cno)REFERENCES Course(Cno)ON DELETE NO ACTION/*当删除course 表中的元组造成了与SC表不一致时拒绝删除*/ON UPDATE CASCADE/*当更新course表中的cno时，级联更新SC表中相应的元组*/)；,例4 显式说明参照完整性的违约处理示例,10/1/2023,An Introduction to Database System,22,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,23,5.3 用户定义的完整性,用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求 RDBMS提供，而不必由应用程序承担,10/1/2023,An Introduction to Database System,24,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 元组上的约束条件检查和违约处理,10/1/2023,An Introduction to Database System,25,5.3.1 属性上的约束条件的定义,CREATE TABLE时定义列值非空（NOT NULL）列值唯一（UNIQUE）检查列值是否满足一个布尔表达式（CHECK）,10/1/2023,An Introduction to Database System,26,属性上的约束条件的定义(续),不允许取空值,例5 在定义SC表时，说明Sno、Cno、Grade属性不允许取空值。CREATE TABLE SC（Sno CHAR(9)NOT NULL，Cno CHAR(4)NOT NULL，Grade SMALLINT NOT NULL，PRIMARY KEY(Sno，Cno)，/*如果在表级定义实体完整性，隐含了Sno，Cno不允许取空值，则在列级不允许取空值的定义就不必写了*/）；,10/1/2023,An Introduction to Database System,27,属性上的约束条件的定义(续),列值唯一,例6 建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码 CREATE TABLE DEPT(Deptno NUMERIC(2)，Dname CHAR(9)UNIQUE，/*要求Dname列值唯一*/Location CHAR(10)，PRIMARY KEY(Deptno)；,10/1/2023,An Introduction to Database System,28,属性上的约束条件的定义(续),用CHECK短语指定列值应该满足的条件,例7 Student表的Ssex只允许取“男”或“女”。CREATE TABLE Student(Sno CHAR(9)PRIMARY KEY，Sname CHAR(8)NOT NULL，Ssex CHAR(2)CHECK(Ssex IN(男，女)，/*性别属性Ssex只允许取男或女*/Sage SMALLINT，Sdept CHAR(20);,10/1/2023,An Introduction to Database System,29,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 元组上的约束条件检查和违约处理,10/1/2023,An Introduction to Database System,30,5.3.2 属性上的约束条件检查和违约处理,插入元组或修改属性的值时，RDBMS检查属性上的约束条件是否被满足如果不满足则操作被拒绝执行,10/1/2023,An Introduction to Database System,31,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 元组上的约束条件检查和违约处理,10/1/2023,An Introduction to Database System,32,5.3.3 元组上的约束条件的定义,在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件,10/1/2023,An Introduction to Database System,33,元组上的约束条件的定义(续),CREATE TABLE Student(Sno CHAR(9)，Sname CHAR(8)NOT NULL，Ssex CHAR(2)，Sage SMALLINT，Sdept CHAR(20)，PRIMARY KEY(Sno)，CHECK(Ssex=女 OR Sname NOT LIKE Ms.%)/*定义了元组中Sname和 Ssex两个属性值之间的约束条件*/)；性别是女性的元组都能通过该项检查，因为Ssex=女成立；当性别是男性时，要通过检查则名字一定不能以Ms.打头,例9 当学生的性别是男时，其名字不能以Ms.打头。,10/1/2023,An Introduction to Database System,34,5.3 用户定义的完整性,5.3.1 属性上的约束条件的定义5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4 元组上的约束条件检查和违约处理,10/1/2023,An Introduction to Database System,35,5.3.4 元组上的约束条件检查和违约处理,插入元组或修改属性的值时，RDBMS检查元组上的约束条件是否被满足如果不满足则操作被拒绝执行,10/1/2023,An Introduction to Database System,36,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,37,5.4 完整性约束命名子句,CONSTRAINT 约束CONSTRAINT PRIMARY KEY短语|FOREIGN KEY短语|CHECK短语,10/1/2023,An Introduction to Database System,38,完整性约束命名子句(续),CREATE TABLE Student(Sno NUMERIC(6)CONSTRAINT C1 CHECK(Sno BETWEEN 90000 AND 99999)，Sname CHAR(20)CONSTRAINT C2 NOT NULL，Sage NUMERIC(3)CONSTRAINT C3 CHECK(Sage 30)，Ssex CHAR(2)CONSTRAINT C4 CHECK(Ssex IN(男，女)，CONSTRAINT StudentKey PRIMARY KEY(Sno)；在Student表上建立了5个约束条件，包括主码约束（命名为StudentKey）以及C1、C2、C3、C4四个列级约束。,例10 建立学生登记表Student，要求学号在9000099999之间，姓名不能取空值，年龄小于30，性别只能是“男”或“女”。,10/1/2023,An Introduction to Database System,39,完整性约束命名子句(续),修改表中的完整性限制使用ALTER TABLE语句修改表中的完整性限制,10/1/2023,An Introduction to Database System,40,完整性约束命名子句(续),可以先删除原来的约束条件，再增加新的约束条件 ALTER TABLE Student DROP CONSTRAINT C1;ALTER TABLE Student ADD CONSTRAINT C1 CHECK(Sno BETWEEN 900000 AND 999999);ALTER TABLE Student DROP CONSTRAINT C3;ALTER TABLE Student ADD CONSTRAINT C3 CHECK(Sage 40)；,例13 修改表Student中的约束条件，要求学号改为在900000999999之间，年龄由小于30改为小于40,10/1/2023,An Introduction to Database System,41,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,42,5.5 域中的完整性限制,SQL支持域的概念，并可以用CREATE DOMAIN语句建立一个域以及该域应该满足的完整性约束条件。,例14建立一个性别域，并声明性别域的取值范围,例15建立一个性别域GenderDomain，并对其中的限制命名,CREATE DOMAIN GenderDomain CHAR(2)CHECK(VALUE IN(男，女);这样例10中对Ssex的说明可以改写为 Ssex GenderDomain,CREATE DOMAIN GenderDomain CHAR(2)CONSTRAINT GD CHECK(VALUE IN(男，女);,10/1/2023,An Introduction to Database System,43,域中的完整性限制(续),ALTER DOMAIN GenderDomain DROP CONSTRAINT GD;,例16删除域GenderDomain的限制条件GD。,ALTER DOMAIN GenderDomain ADD CONSTRAINT GDD CHECK(VALUE IN(1，0);通过例16和例17，就把性别的取值范围由(男，女)改为(1，0),例17在域GenderDomain上增加限制条件GDD。,10/1/2023,An Introduction to Database System,44,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,45,触发器,触发器（Trigger）是用户定义在关系表上的一类由事件驱动的特殊过程由服务器自动激活可以进行更为复杂的检查和操作，具有更精细和更强大的数据控制能力,10/1/2023,An Introduction to Database System,46,5.6 触发器,5.6.1 定义触发器 5.6.2 激活触发器 5.6.3 删除触发器,10/1/2023,An Introduction to Database System,47,5.6.1 定义触发器,CREATE TRIGGER语法格式 CREATE TRIGGER BEFORE|AFTER ON FOR EACH ROW|STATEMENT WHEN,10/1/2023,An Introduction to Database System,48,定义触发器(续),定义触发器的语法说明:创建者：表的拥有者触发器名表名：触发器的目标表触发事件：INSERT、DELETE、UPDATE,10/1/2023,An Introduction to Database System,49,定义触发器(续),触发器类型行级触发器（FOR EACH ROW）语句级触发器（FOR EACH STATEMENT）例如,假设在例11的TEACHER表上创建了一个AFTER UPDATE触发器。如果表TEACHER有1000行，执行如下语句：UPDATE TEACHER SET Deptno=5;如果该触发器为语句级触发器，那么执行完该语句后，触发动作只发生一次如果是行级触发器，触发动作将执行1000次,10/1/2023,An Introduction to Database System,50,定义触发器(续),触发条件触发条件为真省略WHEN触发条件,触发动作体触发动作体可以是一个匿名PL/SQL过程块也可以是对已创建存储过程的调用,10/1/2023,An Introduction to Database System,51,定义触发器(续),CREATE TRIGGER Insert_Or_Update_Sal BEFORE INSERT OR UPDATE ON Teacher/*触发事件是插入或更新操作*/FOR EACH ROW/*行级触发器*/AS BEGIN/*定义触发动作体，是PL/SQL过程块*/IF(new.Job=教授)AND(new.Sal 4000)THEN new.Sal:=4000;END IF;END;,例18 定义一个BEFORE行级触发器，为教师表Teacher定义完整性规则“教授的工资不得低于4000元，如果低于4000元，自动改为4000元”。,10/1/2023,An Introduction to Database System,52,定义触发器(续),首先建立工资变化表Sal_log CREATE TABLE Sal_log(Eno NUMERIC(4)references teacher(eno)，Sal NUMERIC(7，2)，Username char(10)，Date TIMESTAMP)；,例19定义AFTER行级触发器，当教师表Teacher的工资发生变化后就自动在工资变化表Sal_log中增加一条相应记录,10/1/2023,An Introduction to Database System,53,定义触发器(续),例19（续）CREATE TRIGGER Insert_Sal AFTER INSERT ON Teacher/*触发事件是INSERT*/FOR EACH ROW AS BEGIN INSERT INTO Sal_log VALUES(new.Eno，new.Sal，CURRENT_USER，CURRENT_TIMESTAMP);END;CREATE TRIGGER Update_Sal AFTER UPDATE ON Teacher/*触发事件是UPDATE*/FOR EACH ROW AS BEGIN IF(new.Sal old.Sal)THEN INSERT INTO Sal_log VALUES(new.Eno，new.Sal，CURRENT_USER，CURRENT_TIMESTAMP);END IF;END;,10/1/2023,An Introduction to Database System,54,5.6 触发器,5.6.1 定义触发器 5.6.2 激活触发器 5.6.3 删除触发器,10/1/2023,An Introduction to Database System,55,5.6.2 激活触发器,触发器的执行，是由触发事件激活的，并由数据库服务器自动执行一个数据表上可能定义了多个触发器同一个表上的多个触发器激活时遵循如下的执行顺序：执行该表上的BEFORE触发器；激活触发器的SQL语句；执行该表上的AFTER触发器。,10/1/2023,An Introduction to Database System,56,激活触发器(续),UPDATE Teacher SET Sal=800 WHERE Ename=陈平;执行顺序是：执行触发器Insert_Or_Update_Sal；执行SQL语句 UPDATE Teacher SET Sal=800 WHERE Ename=陈平；执行触发器Update_Sal。,例20执行修改某个教师工资的SQL语句，激活上述定义的触发器。,10/1/2023,An Introduction to Database System,57,5.6 触发器,5.6.1 定义触发器 5.6.2 激活触发器 5.6.3 删除触发器,10/1/2023,An Introduction to Database System,58,5.6.3 删除触发器,删除触发器的SQL语法：DROP TRIGGER ON;,触发器必须是一个已经创建的触发器，并且只能由具有相应权限的用户删除。,例21 删除教师表Teacher上的触发器Insert_Sal DROP TRIGGER Insert_Sal ON Teacher;,10/1/2023,An Introduction to Database System,59,第五章 数据库完整性,5.1 实体完整性5.2 参照完整性5.3 用户定义的完整性5.4 完整性约束命名子句*5.5 域中的完整性限制5.6 触发器5.7 小结,10/1/2023,An Introduction to Database System,60,5.7 小结,数据库的完整性是为了保证数据库中存储的数据是正确的RDBMS完整性实现的机制完整性约束定义机制完整性检查机制违背完整性约束条件时RDBMS应采取的动作,