1.实体完整性
关系模型的实体完整性在create table中用primary key定义,一种是列级约束条件,一种是表级约束条件(多个属性构成)
定义了主键的关系,在插入或者对主码列进行更新的时候:
(1)检查主键值是否唯一,如果不是则拒绝插入或者修改
(2)检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改
其实就是要保证主码唯一且不为空。
2.参照完整性
关系模型的参照完整性在create table中用foreign key定义外码
CREATE TABLE SPJ
(
SNO CHAR(3),
PNO CHAR(3),
JNO CHAR(3),
QTY INT,
primary key(SNO,PNO,JNO),
foreign key (SNO) references S(SNO),
foreign key (PNO) references P(PNO),
foreign key (JNO) references J(JNO)
)charset gbk;
破坏参照完整性的情况:
(1)参照表中增加元组或者修改元组,该元组的参照属性在被参照表中找不到一个元组,其被参照属性值与之相等。
(2)被参照表删除一个元组或者修改一个元组,造成参照表的参照列有值在被参照表的参照列找不到
小结:就是不能出现没有参照的情况,被参照的只能多不能少
上述破坏情况发生的时候:
(1)拒绝操作(默认)
(2)级联操作(也删除或修改那找不到参照的)
(3)设置为空值(将找不到参照的那个元祖的参照列置空)
3.用户定义的完整性
数据必须符合语义要求
列值非空: not null
列值唯一:unique
检查列值是否满足一个条件表达式:check短语
Ssex CHAR(2) check(Ssex in('男','女'))
Grade smallint check(Grade>=0 and Grade <=100)
用户自己对数据给出限制条件。
check (Ssex='女' or Sname not like 'MS.%')
针对多个属性给出了限制条件。
4.完整性约束命名子句
constraint <完整性约束条件名><完整性约束条件>
(not null unique 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 StudnetKey primary key(Sno)
);
修改约束条件(删了重新加)
alter table Student
drop constraint C1;
alter table Student
add constraint C1 check(Sno between900000 and 999999);
5.断言
create assertion <断言名><check 子句>
断言创建后,任何对断言中所设计关系的操作都会触发关系数据库管理系统对断言的检查,任何使断言不为真的操作都会被拒绝执行。
删除断言:
drop assertion <断言名>;