数据库--完整性

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的限制*/