目录

1 实体完整性

1.1 单属性

1.2 多属性

2 参照完整性

2.1 单属性

2.2 多属性

3 用户自定义完整性

3.1 属性上的约束

3.2 元组上的约束

---

 

1 实体完整性

1.1 单属性

①定义

use 实体完整性_单属性;
create table Student_s_d(
    Sno char(9) primary key,
    Sname varchar(20) not null,
    Ssex char(2),
    Sedpt varchar(20)
);

②检验

主码为空不能插入

insert into Student_s_d
values (null, '小明', '男', '计通学院');

主码不唯一不能插入

insert into student_s_d
values (123456789, '小明', '男', '计通学院'),
       (123456789, '小红', '女', '化学院');

③删除

alter table student_s_d drop primary key;

④修改

alter table student_s_d add primary key(Sno);

1.2 多属性

①定义

use 实体完整性_多属性;
create table SC_s_d(
    Sno char(2),
    Cno char(4),
    Grade smallint,
    primary key(Sno, Cno)
);

②检验

主码不能为空

insert into sc_s_d
values (null, null, 66);

两个主码相同不能插入

insert into sc_s_d
values (99, 2222, 12),
       (99, 2222, 13);

③删除

alter table sc_s_d drop primary key;

④修改

alter table sc_s_d add primary key(Sno, Cno);

2 参照完整性

2.1 单属性

①定义

use 参照完整性_单属性;

create table Student_c_d
(
   Sno char(2),
   Sname varchar(20),
   Ssex char(2),
   Sage int,
   Department varchar(20)
);
CREATE INDEX idx_student_c_d_Sno ON student_c_d (Sno);

insert into Student_c_d(sno, sname, ssex, sage, department)
values (21, '张三', '男', 18, '计通学院'),
       (04, '李四', '男', 19, '化学院'),
       (02, '翠花', '女', 18, '文新学院');

create table SC_c_d
(
   Sno char(2) not null,
   Cno char(2) not null,
   Performance float not null,
   foreign key(Sno) references Student_c_d(Sno)
);

②检验

不能在sc_c_d中插入student_c_d中不存在的Sno

insert into sc_c_d
values (22, 11, 66);

不能在sc_c_d中修改student_c_d中不存在的Sno

insert into sc_c_d
values (21, 11, 66);

update sc_c_d set Sno = '22' where Sno = '21';

不能修改student_c_d中Sno在sc_c_d中存在的Sno

update student_c_d set Sno = '22' where Sno = '21';

③删除

alter table sc_c_d
drop foreign key sc_c_d_ibfk_1;

④修改

create table Course_c_d
(
   Cno char(2) not null,
   Cname varchar(20),
   Cprepare varchar(20),
   Ccredit float
);
CREATE INDEX idx_course_c_d_Cno ON course_c_d (cno);
delete from sc_c_d;
alter table sc_c_d
add constraint foreign key(Cno) references course_c_d(Cno);

2.2 多属性

①定义

use 参照完整性_多属性;
create table Student_c
(
   Sno char(2),
   Sname varchar(20),
   Ssex char(2),
   Sage int,
   Department varchar(20)
);
CREATE INDEX idx_student_c_Sno ON student_c (Sno);

insert into Student_c(sno, sname, ssex, sage, department)
values (21, '张三', '男', 18, '计通学院'),
       (04, '李四', '男', 19, '化学院'),
       (02, '翠花', '女', 18, '文新学院');

create table Course_c
(
   Cno char(2) not null,
   Cname varchar(20),
   Cprepare varchar(20),
   Ccredit float
);

CREATE INDEX idx_course_c_Cno ON course_c (cno);

insert into course_c(cno, cname, cprepare, ccredit)
values (11, '概率论', '高等数学', 3),
       (12, '数字电路', '离散结构', 2.5),
       (13, '数据结构', '离散结构', 3.5),
       (01, '嵌入式', '数字电路', 2);

create table SC_c
(
   Sno char(2) not null,
   Cno char(2) not null,
   Performance float not null,
   foreign key(Sno) references Student_c(Sno),
   foreign key(Cno) references Course_c(cno)
);

②检验

不能在sc_c中插入student_c中不存在的Sno

insert into sc_c
values (11, 12, 66);

不能修改course_c中cno在sc_c中存在的cno

insert into sc_c
values (21, 13, 33);

update course_c set Cno = '14' where Cno = '13';

③删除

alter table sc_c
drop foreign key sc_c_ibfk_2;

④修改

alter table sc_c
add constraint foreign key(Cno) references course_c(cno);

3 用户自定义完整性

3.1 属性上的约束

①定义

use 用户完整性;
create table student_yh(
    Sno char(2) unique not null,
    Sname varchar(20) not null,
    Ssex char(2) check(Ssex in('男', '女')),
    Sage int,
    Department varchar(20)
);

②检验

Unique的检验

insert into student_yh
values (11, '小明', '男', 11, '计通学院'),
       (11, '小红', '女', 12, '化学院');

Not null的检验

insert into student_yh
values(11, null, '男', 11, '计通学院');

Check的检验

insert into student_yh
values(11, '小明', '中', 11, '计通学院');

3.2 元组上的约束

①定义

use 用户完整性_元组;
create table student_yh_yz(
    Sno char(2),
    Sname varchar(20) not null,
    Ssex char(2),
    Sage int,
    Department varchar(20),
    check ( Ssex = '女' or Sname not like 'Ms.%')
);

②检验

insert into student_yh_yz
values (11, 'Ms.小明', '男', 11, '计通');