数据库系统(完整性).ppt

An Introduction to Database System 实体完整性-定义 关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义 (1)在列级定义主码 CREATE TABLE Student (Sno CHAR(9) PRIMARY KEY， Sname CHAR(20) NOT NULL， Ssex CHAR(2) ， Sage SMALLINT， Sdept CHAR(20) ); (2)在表级定义主码 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) /*只能在表级定义主码*/ ); 参照完整性-定义 关系模型的参照完整性定义 在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码 用REFERENCES短语指明这些外码参照哪些表的主码 ［例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) /*在表级定义参照完整性*/ ); 用户定义的完整性 属性上的约束条件 元组上的约束条件 用户定义的完整性-属性上的约束条件的定义 CREATE TABLE时定义 列值非空（NOT NULL） 列值唯一（UNIQUE） 检查列值是否满足一个布尔表达式（CHECK） 用户定义的完整性-元组上的约束条件的定义 在CREATE TABLE时可以用CHECK短语定义元组上的约束条件，即元组级的限制 同属性值限制相比，元组级的限制可以设置不同属性之间的取值的相互约束条件 性别是女性的元组都能通过该项检查， 当性别是男性时，要通过检查则名字一定不能以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两个属性值之间的约束条件*/ )； 完整性约束命名子句 CONSTRAINT 约束 CONSTRAINT 完整性约束条件名 ［PRIMARY KEY短语 | FOREIGN KEY短语 | CHECK短语 ］ 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)， Ssex CHAR(2) CONSTRAINT C4 CHECK (Ssex IN ( 男，女))， CONSTRAINT StudentKey PRIMARY KEY(Sno) )； 完整性约束命名子句 修改表中的完整性限制 使用ALTER TABLE语句修改表中的完整性限制 可以先删除原来的约束条件，再增加新的约束条件 ALTER TABL