55 lines
1.9 KiB
Markdown
55 lines
1.9 KiB
Markdown
|
## 数据库完整性
|
|||
|
|
|
|||
|
|
数据库完整性是指数据的正确性和相容性。
|
|||
|
|
|
|||
|
|
完整性约束 实体完整性 参照完整性 用户定义的完整性
|
|||
|
|
|
|||
|
|
##### 实体完整性
|
|||
|
|
|
|||
|
|
若属性（指一个或一组属性）A是基本关系R的主属性，则A不能取空值。所谓空值就是“不知道” “不存在” 或者“无意义”的值。
|
|||
|
|
|
|||
|
|
关系模型的实体完整性在 create table 中用primary key定义。
|
|||
|
|
|
|||
|
|
###### 实体完整性检查和违约处理
|
|||
|
|
|
|||
|
|
（1）检查主码值是否唯一，如果不唯一则拒绝插入和修改
|
|||
|
|
|
|||
|
|
（2）检查主码的各个属性是否为空，只要有一个为空就拒绝插入和修改。
|
|||
|
|
|
|||
|
|
##### 参照完整性
|
|||
|
|
|
|||
|
|
设F是基本关系R的一个或一组属性，但不是关系R的码，Ks是基本关系S的主码。如果F与Ks相对应，则称F是R的外码，并称基本关系R为参照系，基本关系S为被参照系。
|
|||
|
|
|
|||
|
|
若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中的每个元组在F上的值必须
|
|||
|
|
|
|||
|
|
或者取空值
|
|||
|
|
|
|||
|
|
或者等于S中某个原则的主码值
|
|||
|
|
|
|||
|
|
###### 参照完整性检查和违约处理
|
|||
|
|
|
|||
|
|
1 拒绝执行（一般设置为默认策略）
|
|||
|
|
|
|||
|
|
2 级联（cascade）操作
|
|||
|
|
|
|||
|
|
3 设置为空值
|
|||
|
|
|
|||
|
|
##### 用户定义完整性
|
|||
|
|
|
|||
|
|
用户定义的完整性是针对某一具体关系数据库的约束条件，它反映某一具体应用所涉及的数据必须满足的语义要求。
|
|||
|
|
|
|||
|
|
在create table 中定义属性的同时，可以根据应用要求定义属性上的约束条件，即属性值限制，包括： 列值非空（not null），列值唯一（unique），用check短语指定列值应该满足的条件。
|
|||
|
|
|
|||
|
|
#### 完整性约束命名子句
|
|||
|
|
|
|||
|
|
constraint 完整性约束条件名 完整性约束条件
|
|||
|
|
|
|||
|
|
<u>要求 用check短语写约束条件 和外键约束必须掌握</u>
|
|||
|
|
|
|||
|
|
定义触发器
|
|||
|
|
|
|||
|
|
练习 第四上机内容。文件在群里。
|
|||
|
|
|
|||
|
|
|
|||
|
|
|