完整性约束

完整性约束实验

实验目的：熟悉通过SQL对数据库进行操作完整性控制，包括三类完整性、check短语、constrain 子句。

1.实体完整性

定义表的主码

关系模型的实体完整性在create table中用primary key定义。定义主码的方法为定义列级约束条件和定义为表级约束条件两种。

(1)定义表student，并将其中的sno属性定义为主码。

Create table student(

Sno char(7) primary key,

Sname char(8) not null,

Ssex char(2),

Sage smallint,

Sdept char(20));

或者：

Create table student(

Sno char(7),

Sname char(8) not null,

Ssex char(2),

Sage smallint,

Sdept char(20),

Primary key(sno));

(2)定义表course，并将其中的cno属性定义为主码。

Create table course(

cno char(7) primary key,

cname char(8) not null);

2.参照完整性

关系模型的参照完整性是在create table中用foreign key语句来定义的，并用references 来指明外码参照的是哪些表的主码。

定义表sc，其中sno参照student表的主码sno，cno参照course的主码cno。

Create table sc(

Sno char(7) not null,

Cno char(7) not null,

Grade smallint,

Primary key(sno,cno),

Foreign key(sno) references student(sno),

Foreign key(cno) references course(cno))

3.用户自定义完整性

用户定义的属性上的约束条件。

(1)列值非空。在定义SC表时，sno、cno和grade属性都不允许取空值。

在不特别声明的情况下，非码的属性的值时允许取空值的。

Create table sc(

Sno char(7) not null,

Cno char(7) not null,

Grade smallint not null);

(2)列值唯一。建立部门表dept，要求部门名称dname取值唯一，部门编号deptno属性为主码。

Create table dept(

Deptno numeric(7) primary key,

Dname varchar(9) unique,

Location varchar(10));

(3)Check短语指定列值应该满足的条件。定义表student，属性ssex的值只允许取“男”或者“女”；

定义表SC，属性Grade的值定义在0-100之间。

Create table student(

Sno char(7) primary key,

Sname char(8) not null,

Ssex char(2) check(ssex in(‘男’,’女’))，

Sage smallint,

Sdept char(20));

Create table sc(

Sno char(7) not null,

Cno char(7) not null,

Grade smallint check(drade>0 and grade<100),

Primary key(sno,cno),

Foreign key(sno) references student(sno),

Foreign key(cno) references course(cno))

(4)用户定义的元组上的约束条件。

Check短语不光能够定义属性列上的约束条件，还允许用户定义元组级的约束条件。

定义表student，要求当学生性别为男时，其名字不能以Ms.大头。

Create table student(

Sno char(7) primary key,

Sname char(8) not null,

Ssex char(2),

Sage smallint,

Sdept char(20),

Check(ssex=’女’ or sname not like ‘Ms.%’));

4.constraint完整性约束命名子句

在定义表时利用约束命名子句对完整性约束条件命名，能够灵活的增加或删除一个完整性约束条件。

(1)定义表student，要求学号在90000-99999之间，命名不能去空值，年龄小于30，性别只能是“男”或者“女”。要求全部用约束命名子句实现。

Create table student(

Sno numeric(5)

Constraint c1 check(sno between 90000 and 99999),

Sname varchar(20)

Constraint c2 not null,

Sage numeric(3)

Constraint c3 check(sage<30),

Ssex varchar(2)

Constraint c4 check(ssex in(‘男’,’女’))，

constraint studentkey primary key(sno));

在表student上共定义了5个约束条件，包括主码约束以及c1,c2,c3,c4四个列级约束。