操作目录
5.1 实体完整性
一. 定义实体完整性
关系模型的实体完整性
CREATE TABLE中用PRIMARY KEY定义
【例5.1】将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) ---在表级定义主码
);
【例5.2】将SC表中的Sno,Cno属性组定义为码。
CREATE TABLE SC
(Sno CHAR(9) NOT NULL,
Cno CHAR(4) NOT NULL,
Grade SMALLINT,
PRIMARY KEY (Sno,Cno) ---只能在表级定义主码
);
二. 实体完整性检查和违约处理
插入或更新操作时,DBMS按照实体完整性规则自动进行检查。
检查 主码值是否唯一 ,如果不唯一则拒绝插入或修改
检查 主码的各个属性是否为空 ,只要有一个为空就拒绝插入或修改
5.2 参照完整性
关系模型的参照完整性定义
在 CREATE TABLE 中用 FOREIGN KEY 短语定义哪些列为外码,
用 REFERENCES 短语指明这些外码参照哪些表的主码
一. 定义参照完整性
例如,关系SC中(Sno,Cno)是主码。Sno,Cno分别参照Student表
的主码和Course表的主码
【例5.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) --- 在表级定义参照完整性
);
二. 参照完整性检查和违约处理
可能破坏参照完整性的情况及违约处理:
【例5.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表中相应的元组
);
5.3 用户定义的完整性
用户定义的完整性是:
针对某一具体应用的数据必须满足的语义要求 。
一. 属性上的约束条件
1.属性上约束条件的定义
CREATE TABLE时定义属性上的约束条件:
1) 列值非空(NOT NULL)
2) 列值唯一(UNIQUE)
3) 检查列值是否满足一个条件表达式(CHECK)
1) 不允许取空值
【例5.5】 在定义SC表时,说明Sno、Cno、Grade属性不允许取空值。
CREATE TABLE SC
(Sno CHAR(9) NOT NULL, ---Sno属性不允许取空值
Cno CHAR(4) NOT NULL, ---Cno属性不允许取空值
Grade SMALLINT NOT NULL, ---Grade属性不允许取空值
PRIMARY KEY (Sno, Cno),
…
---在表级定义实体完整性,隐含了Sno,Cno不允许取空值,在列级不允许取空值的定义可以不写
);
2) 列值为一
【例5.6】 建立部门表DEPT ,要求部门名称Dname 列取值唯一,部门编号Deptno列为主码。
CREATE TABLE DEPT
(Deptno NUMERIC