An Introduction to Database System An Introduction to Database System

An Introduction to Database System An Introduction to Database System
数据库系统概论 An Introduction to Database System 第五章数据库完整性白城师范学院 An Introduction to Database System

An Introduction to Database System
数据库完整性数据库的完整性数据的正确性和相容性数据的完整性和安全性是两个不同概念数据的完整性防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据防范对象：不合语义的、不正确的数据数据的安全性保护数据库防止恶意的破坏和非法的存取防范对象：非法用户和非法操作 An Introduction to Database System

数据库完整性(续) 为维护数据库的完整性，DBMS必须： 1.提供定义完整性约束条件的机制 2.提供完整性检查的方法 3.违约处理 An Introduction to Database System

第五章数据库完整性 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束命名字句 *5.5 域中的完整性限制 5.6 断言 5.7 触发器 5.8 小结 An Introduction to Database System

5.1 实体完整性 5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理 An Introduction to Database System

5.1.1 实体完整性定义关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义单属性构成的码有两种说明方法定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法 An Introduction to Database System

实体完整性定义(续) ［例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)); An Introduction to Database System

实体完整性定义(续) (2)在表级定义主码 CREATE TABLE Student (Sno CHAR(9)， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20)， PRIMARY KEY (Sno) ); An Introduction to Database System

实体完整性定义(续) ［例2］将SC表中的Sno，Cno属性组定义为码 CREATE TABLE SC (Sno CHAR(9) NOT NULL， Cno CHAR(4) NOT NULL， Grade SMALLINT， PRIMARY KEY (Sno，Cno) /*只能在表级定义主码*/ ); An Introduction to Database System

5.1 实体完整性 5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理 An Introduction to Database System

5.1.2 实体完整性检查和违约处理插入或对主码列进行更新操作时，RDBMS按照实体完整性规则自动进行检查。包括： 1. 检查主码值是否唯一，如果不唯一则拒绝插入或修改 2. 检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改 An Introduction to Database System

实体完整性检查和违约处理(续) 检查记录中主码值是否唯一的一种方法是进行全表扫描 An Introduction to Database System

实体完整性检查和违约处理(续) 索引 An Introduction to Database System

5.2 参照完整性 5.2.1 参照完整性定义 5.2.2 参照完整性检查和违约处理 An Introduction to Database System

5.2.1 参照完整性定义关系模型的参照完整性定义在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码用REFERENCES短语指明这些外码参照哪些表的主码 An Introduction to Database System

参照完整性定义(续) 例如，关系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) ); An Introduction to Database System

5.2 参照完整性 5.2.1 参照完整性定义 5.2.2 参照完整性检查和违约处理 An Introduction to Database System

参照完整性检查和违约处理可能破坏参照完整性的情况及违约处理被参照表（例如Student）参照表（例如SC）违约处理可能破坏参照完整性插入元组拒绝修改外码值删除元组拒绝/级连删除/设置为空值修改主码值拒绝/级连修改/设置为空值 An Introduction to Database System

违约处理参照完整性违约处理 1. 拒绝(NO ACTION)执行默认策略 2. 级联(CASCADE)操作 3. 设置为空值（SET-NULL）对于参照完整性，除了应该定义外码，还应定义外码列是否允许空值 An Introduction to Database System

违约处理(续) ［例4］显式说明参照完整性的违约处理示例 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表中相应的元组*/ )； An Introduction to Database System

5.3 用户定义的完整性用户定义的完整性就是针对某一具体应用的数据必须满足的语义要求 RDBMS提供，而不必由应用程序承担 An Introduction to Database System

5.3 用户定义的完整性 5.3.1 属性上的约束条件的定义 5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4元组上的约束条件检查和违约处理 An Introduction to Database System

5.3.1 属性上的约束条件的定义 CREATE TABLE时定义列值非空（NOT NULL）列值唯一（UNIQUE）检查列值是否满足一个布尔表达式（CHECK） An Introduction to Database System

属性上的约束条件的定义(续) 1.不允许取空值［例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不允许取空值，则在列级不允许取空值的定义就不必写了 * / ）； An Introduction to Database System

属性上的约束条件的定义(续) 2.列值唯一［例6］建立部门表DEPT，要求部门名称Dname列取值唯一，部门编号Deptno列为主码 CREATE TABLE DEPT (Deptno NUMERIC(2)， Dname CHAR(9) UNIQUE，/*要求Dname列值唯一*/ Location CHAR(10)， PRIMARY KEY (Deptno) )； An Introduction to Database System

属性上的约束条件的定义(续) 3. 用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 check (sage>0)， Sdept CHAR(20) ); An Introduction to Database System

属性上的约束条件的定义(续) 3. 用CHECK短语指定列值应该满足的条件［例8］ sc表的grade的值应该中0和100之间。 CREATE TABLE sc (Sno CHAR(9) not null， cno CHAR(4) NOT NULL， grade smallint CHECK (grade>=0 and grade<=100 ) ， primary key (sno, cno) foreign key (sno) references student(sno) foreign key (cno) references course(cno) ); An Introduction to Database System

5.3.2 属性上的约束条件检查和违约处理插入元组或修改属性的值时，RDBMS检查属性上的约束条件是否被满足如果不满足则操作被拒绝执行 An Introduction to Database System

5.3.3 元组上的约束条件的定义在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件 An Introduction to Database System

元组上的约束条件的定义(续) ［例9］当学生的性别是男时，其名字不能以Ms.打头。 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.打头 An Introduction to Database System

5.3 用户定义的完整性 5.3.1 属性上的约束条件的定义 5.3.2 属性上的约束条件检查和违约处理 5.3.3 元组上的约束条件的定义 5.3.4 元组上的约束条件检查和违约处理 An Introduction to Database System

5.3.4 元组上的约束条件检查和违约处理插入元组或修改属性的值时，RDBMS检查元组上的约束条件是否被满足如果不满足则操作被拒绝执行 An Introduction to Database System

5.4 完整性约束命名子句 CONSTRAINT 约束 CONSTRAINT <完整性约束条件名> ［PRIMARY KEY短语 |FOREIGN KEY短语 |CHECK短语］ An Introduction to Database System

完整性约束命名子句(续) ［例10］建立学生登记表Student，要求学号在90000~99999之间，姓名不能取空值，年龄小于30，性别只能是“男”或“女”。 CREATE TABLE Student (Sno NUMERIC(6) CONSTRAINT C1 CHECK (Sno BETWEEN 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四个列级约束。 An Introduction to Database System

完整性约束命名子句(续) ［例11］建立教师表teacher,要求每个教师的应发工资不低于3000元。应发工资=实发工资sal+扣除deduct. create table teacher (eno numeric(4) primary key, ename char(10), job char(8), sal numeric(7,2), deduct numeric(7,2), deptno numeric(2), constraint empfkey foreign key (deptno) references dept(deptno), constraint c8 check (sal+deduct>=3000) ) An Introduction to Database System

完整性约束命名子句(续) 2. 修改表中的完整性限制使用ALTER TABLE语句修改表中的完整性限制 An Introduction to Database System

完整性约束命名子句(续) ［例13］修改表Student中的约束条件，要求学号改为在900000~999999之间，年龄由小于30改为小于40 可以先删除原来的约束条件，再增加新的约束条件 ALTER TABLE Student DROP CONSTRAINT C1; ADD CONSTRAINT C1 CHECK (Sno BETWEEN AND )， DROP CONSTRAINT C3; ADD CONSTRAINT C3 CHECK (Sage < 40)； An Introduction to Database System

SQL完整性应用实例例1:在s_t数据库中，创建2个表sut_info(学生信息)和score_info（成绩表）。其中，学生信息表中学号为主键，其他信息都不允许为空。通过学号与成绩形成一个一对多的关系，成绩表中的成绩默认值为0，但必须在0—100之间。 --创建学生信息表 CREATE TABLE [dbo].[Stu_info] ( [学号] [nvarchar] (10) NOT NULL PRIMARY KEY, [姓名] [nvarchar] (10) NOT NULL , [性别] [nvarchar] (2) NOT NULL , [籍贯] [nvarchar] (20) NOT NULL , [班级编号] [nvarchar] (6) NOT NULL , ) GO An Introduction to Database System

SQL完整性应用实例 --创建成绩表 CREATE TABLE [dbo].[Score_info] ( [学号] [nvarchar] (10) NOT NULL , [课程编号] [nvarchar] (5) NOT NULL , [成绩] [int] NULL DEFAULT(0), [是否重修] [nvarchar] (2) NULL , ) GO An Introduction to Database System

SQL完整性应用实例 --创建成绩表的外键 ALTER TABLE [dbo].[Score_info] ADD CONSTRAINT FK_Stu_Score FOREIGN KEY (学号) REFERENCES Stu_info (学号) GO --创建成绩表的成绩字段的CHECK约束 ADD CONSTRAINT CHECK_Score_成绩 CHECK(成绩>=0 and 成绩<=100) An Introduction to Database System

SQL完整性应用实例例2:在s_t数据库中，给score_info（成绩表）添加一个约束，使得学号和课程编号在表中是唯一的。 --创建成绩表的成绩UNIQUE约束 ALTER TABLE [dbo].[Score_info] ADD CONSTRAINT UNIQUE_Score UNIQUE NONCLUSTERED (学号,课程编号) An Introduction to Database System

SQL完整性应用实例例3:在s_t数据库中，在score_info（成绩表）上把unique约束、check约束和foreign key约束都删除。 --删除成绩字段的CHECK约束 ALTER TABLE [dbo].[Score_info] DROP CONSTRAINT CHECK_Score_成绩 GO --删除成绩字段的UNIQUE约束 DROP CONSTRAINT UNIQUE_Score --删除成绩字段的FOREIGN KEY约束 DROP CONSTRAINT FK_Stu_Score An Introduction to Database System

5.5 域中的完整性限制 SQL支持域的概念，并可以用CREATE DOMAIN语句建立一个域以及该域应该满足的完整性约束条件。［例14］建立一个性别域，并声明性别域的取值范围 CREATE DOMAIN GenderDomain CHAR(2) CHECK (VALUE IN ('男'，'女') ); 这样［例10］中对Ssex的说明可以改写为 Ssex GenderDomain ［例15］建立一个性别域GenderDomain，并对其中的限制命名 CONSTRAINT GD CHECK ( VALUE IN ('男'，'女') ); An Introduction to Database System

域中的完整性限制(续) ［例16］删除域GenderDomain的限制条件GD。 ALTER DOMAIN GenderDomain DROP CONSTRAINT GD; ［例17］在域GenderDomain上增加限制条件GDD。 ADD CONSTRAINT GDD CHECK (VALUE IN ( '1'，'0') ); 通过［例16］和［例17］，就把性别的取值范围由('男'，'女')改为 ( '1'，'0') An Introduction to Database System

断言断言（declarative assertions）:通过声明性断言来指定更一般性的约束。定义涉及多个表或聚集操作的比较复杂的完整性约束。任何使断言不为真的操作都会被拒绝执行。 An Introduction to Database System

断言定义断言的语句格式： CREATE ASSERTION <断言名> CHECK 子句删除断言的语句格式 DROP ASSERTION 断言名 An Introduction to Database System

断言例18：限制数据库课程最多60名学生选修 CREATE ASSERTION ass_sc_db_num CHECK (60>=(select count(*) from course,sc where sc.cno=course.cno and cname=‘数据库’) An Introduction to Database System

断言例19：限制每一门课最多60名学生选修 CREATE ASSERTION ass_sc_num1 CHECK (60>=all (select count(*) from sc Group by cno) An Introduction to Database System

断言例20：限制每个学期每一门课最多60名学生选修对SC增加一个学期TERM属性 Alter table sc add term date CREATE ASSERTION ass_sc_num2 CHECK (60>=all (select count(*) from sc Group by cno,term) An Introduction to Database System

触发器触发器（Trigger）是用户定义在关系表上的一类由事件驱动的特殊过程由服务器自动激活可以进行更为复杂的检查和操作，具有更精细和更强大的数据控制能力 An Introduction to Database System

5.7 触发器 5.7.1 定义触发器 5.7.2 激活触发器 5.7.3 删除触发器 An Introduction to Database System

5.7.1 定义触发器 CREATE TRIGGER语法格式 CREATE TRIGGER <触发器名> {BEFORE | AFTER} <触发事件> ON <表名> REFERENCING NEW|OLD ROW AS<变量> FOR EACH {ROW | STATEMENT} ［WHEN <触发条件>］ <触发动作体> An Introduction to Database System

定义触发器(续) 定义触发器的语法说明: 1. 创建者：表的拥有者 2. 触发器名 3. 表名：触发器的目标表 4. 触发事件：INSERT、DELETE、UPDATE 5. 触发器类型行级触发器（FOR EACH ROW）语句级触发器（FOR EACH STATEMENT） An Introduction to Database System

定义触发器(续) 例如,假设在［例11］的TEACHER表上创建了一个AFTER UPDATE触发器。如果表TEACHER有1000行，执行如下语句： UPDATE TEACHER SET Deptno=5; 如果该触发器为语句级触发器，那么执行完该语句后，触发动作只发生一次如果是行级触发器，触发动作将执行1000次 An Introduction to Database System

定义触发器(续) 6. 触发条件触发条件为真，触发体执行。省略WHEN触发条件，触发器激活后立即执行 7. 触发动作体触发动作体可以是一个匿名PL/SQL过程块也可以是对已创建存储过程的调用 An Introduction to Database System

定义触发器(续) ［例21］当对表SC的GRADE属性进行修改时，若分数增加了10%，则将此次操作记录到另一个表s_u(sno,cno,oldgrade,newgrade)中，其中oldgrade是修改前的成绩，newgrade是修改后的成绩。 create trigger sc_t after update of grade on sc referencing oldrow as oldtuple newrow as newtuple for each row when (newtuple.grade>=1.1*oldtuple.grade) insert into sc_u(sno,cno,oldgrade,newgrade) values(oldtuple.sno,oldtuple.cno,oldtuple.grade,newtuple.grade) An Introduction to Database System

定义触发器(续) ［例22］将每次对表student的插入操作所增加的学生个数记录到表student_insertlog中 create trigger student_count after insert on student referencing newtable as delta for each statement insert into studentinsertlog(numbers) select count(*) from delta An Introduction to Database System

定义触发器(续) ［例23］定义一个BEFORE行级触发器，为教师表Teacher定义完整性规则“教授的工资不得低于4000元，如果低于4000元，自动改为4000元”。 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; An Introduction to Database System

5.7.2 激活触发器触发器的执行，是由触发事件激活的，并由数据库服务器自动执行一个数据表上可能定义了多个触发器同一个表上的多个触发器激活时遵循如下的执行顺序：（1）执行该表上的BEFORE触发器；（2）激活触发器的SQL语句；（3）执行该表上的AFTER触发器。 An Introduction to Database System

5.7.3 删除触发器删除触发器的SQL语法： DROP TRIGGER <触发器名> ON <表名>; 触发器必须是一个已经创建的触发器，并且只能由具有相应权限的用户删除。［例21］删除教师表Teacher上的触发器Insert_Sal DROP TRIGGER Insert_Sal ON Teacher; An Introduction to Database System

5.8 小结数据库的完整性是为了保证数据库中存储的数据是正确的 RDBMS完整性实现的机制完整性约束定义机制完整性检查机制违背完整性约束条件时RDBMS应采取的动作 An Introduction to Database System

An Introduction to Database System An Introduction to Database System

Similar presentations

Presentation on theme: "An Introduction to Database System An Introduction to Database System"— Presentation transcript:

Similar presentations

About project

反馈

请登录

Auth with social network:

An Introduction to Database System An Introduction to Database System

Similar presentations

Presentation on theme: "An Introduction to Database System An Introduction to Database System"— Presentation transcript:

Similar presentations

About project

反馈