1.实体完整性
实体完整性在CREATE TABLE 中用PRIMARY KEY定义,对单属性构成的码有两种说明方法,一种是列级约束条件,一种是表级约束条件。对多个属性构成的码只能是表级约束条件。
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) /*在表级定义主码*/
);
CREATE TABLE SC
( Sno CHAR (9) NOT NULL,
Cno CHAR (4) NOT NULL,
Grade SMALLINT,
PRIMARY KEY(Sno,Cno) /*只能在表级定义主码*/
);
2.实体完整性检查
当用户对基本表插入一条记录或对主码列进行更新操作时,都会检查
(1)检查主码值是否唯一,如果不唯一则拒绝插入或修改
(2)检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改
3.参照完整性
关系模型的参照完整性在CREATE TABLE 中用FOREIGN KEY定义外码,使用REFERENCES指出外码参照那些表的主码
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.参照完整性的检查
(1)当参照和被参照的不一致时,拒绝执行
(2)当删除或修改被参照表的一个元组造成了与参照表不一致时,则删除或修改参照表中所有造成不一致的元组
(3)当删除或修改被参照表的一个元组造成了与参照表不一致时,则参照表中所有不一致的元组对应的属性设置为空值
5.完整性约束 CONSTRAINT
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)
);
6.修改表中的完整性限制 ALTER TABLE
ALTER TABLE Student
DROP CONSTRAINT C4; /*去掉表中对C4的限制*/