数据库完整性课件.ppt

《数据库完整性课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第五章数据库完整性数据库完整性数据库的完整性数据的正确性和相容性数据的完整性和安全性是两个不同概念数据的完整性防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据防范对象：不合语义的、不正确的数据数据的安全性保护数据库防止恶意的破坏和非法的存取防范对象：非法用户和非法操作为维护数据库的完整性，DBMS必须：1.提供定义完整性约束条件的机制完整性约束条件也称为完整性规则，是数据库中的数据必须满足的语义约束条件。包括关系模型的三种完整性，由SQL的DDL实现。2.提供完整性检查的方法DBMS中检查数据是否满足完整性约束条件的机制称为完整性检查。一般在更新后或事务处理时检查

2、。3.违约处理DBMS发现用户的操作违背了完整性约束条件就进行违约处理以保证数据的完整性。第五章数据库完整性5.1实体完整性5.2参照完整性5.3用户定义的完整性5.4完整性约束命名子句*5.5域中的完整性限制5.6触发器5.7小结5.1实体完整性5.1.1实体完整性定义5.1.2实体完整性检查和违约处理5.1.1实体完整性定义实体完整性规则：若属性（指一个或一组属性）A是基本关系R的主属性，则A不能取空值或重复值。关系模型的实体完整性CREATETABLE中用PRIMARYKEY定义单属性构成的码有两种说明方法定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法定

3、义为表级约束条件［例1］将Student表中的Sno属性定义为码(1)在列级定义主码CREATETABLEStudent(SnoCHAR(9)PRIMARYKEY，SnameCHAR(20)NOTNULL，SsexCHAR(2)，SageSMALLINT，SdeptCHAR(20));(2)在表级定义主码CREATETABLEStudent(SnoCHAR(9)，SnameCHAR(20)NOTNULL，SsexCHAR(2)，SageSMALLINT，SdeptCHAR(20)，PRIMARYKEY(Sno));［例2］将SC表中的Sno，Cno属性组定义为码CREATETABLE

4、SC(SnoCHAR(9)NOTNULL，CnoCHAR(4)NOTNULL，GradeSMALLINT，PRIMARYKEY(Sno，Cno)/*只能在表级定义主码*/);[思考]定义SC表后添加(Sno,Cno)属性组为码CREATETABLESC(SnoCHAR(9)NOTNULL，CnoCHAR(4)NOTNULL，GradeSMALLINT，);ALTERTABLESCADDPRIMARYKEY(Sno，Cno)/*只能在表级定义主码*/另外:增加外键呢?5.1.2实体完整性检查和违约处理插入或对主码列进行更新操作时，RDBMS按照实体完整性规则自动进行检查。包括：检查主码

5、值是否唯一，如果不唯一则拒绝插入或修改检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改检查记录中主码值是否唯一的一种方法是进行全表扫描索引5.2参照完整性参照完整性规则：若属性（或属性组）F是基本关系R的外码，它与基本关系S的主码Ks相对应，则对于R中每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值）或者S中某个元组的主码值5.2.1参照完整性定义关系模型的参照完整性定义在CREATETABLE中用FOREIGNKEY短语定义那些列为外码用REFERENCES短语指明这些外码参照那些表的主码例如，关系SC中一个元组表示一个学生选修的某门课程的成绩，（Sno，

6、Cno）是主码。Sno，Cno分别参照引用Student表的主码和Course表的主码［例3］定义SC中的参照完整性CREATETABLESC(SnoCHAR(9)NOTNULL，CnoCHAR(4)NOTNULL，GradeSMALLINT，PRIMARYKEY(Sno，Cno)，/*在表级定义实体完整性*/FOREIGNKEY(Sno)REFERENCESStudent(Sno)，/*在表级定义参照完整性*/FOREIGNKEY(Cno)REFERENCESCourse(Cno)/*在表级定义参照完整性*/);参照完整性检查和违约处理可能破坏参照完整性的情况及违约处理被参照表（例

7、如Student）参照表（例如SC）违约处理可能破坏参照完整性插入元组拒绝可能破坏参照完整性修改外码值拒绝删除元组可能破坏参照完整性拒绝/级连删除/设置为空值修改主码值可能破坏参照完整性拒绝/级连修改/设置为空值违约处理参照完整性违约处理拒绝(NOACTION)执行默认策略级联(CASCADE)操作当删除或修改被参照表(student)的一个元组时造成了与参照表(SC)的不一致，则删除或修改参照表中的所有造成不一致的元组。违约处理设置为空值（SET-NUL