数据库--完整性

深碍√TFBOYSˉ_ 2022-08-21 14:46 177阅读 0赞

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