第5章 数据库完整性

《第5章 数据库完整性》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第5章数据库完整性第5章数据库完整性什么是数据库的完整性数据的正确性和相容性，防止不合语义的数据进入数据库。例:学生的年龄必须是整数，取值范围为14--29；学生的性别只能是男或女；学生的学号一定是唯一的；学生所在的系必须是学校开设的系；完整性：否真实地反映现实世界第5章数据库完整性第5章数据库完整性为维护数据库的完整性，DBMS必须：1.提供定义完整性约束条件的机制2.提供完整性检查的方法3.违约处理第5章数据库完整性5.1实体完整性5.2参照完整性5.3用户自定义完整性5.4完整性约束命名子句5.5触发器5.6小结5.1实体完整性5.1.1实体完整性定义5

2、.1.2实体完整性检查和违约处理5.1.1实体完整性的定义5.1.1实体完整性的定义5.1.1实体完整性的定义5.1.1实体完整性的定义(2)在表级定义主码CREATETABLES(SnoCHAR(9)，SnameCHAR(20)NOTNULL，SsexCHAR(2)，SageSMALLINT，SdeptCHAR(20)，PRIMARYKEY(Sno));5.1.1实体完整性的定义5.1实体完整性5.1.1实体完整性定义5.1.2实体完整性检查和违约处理5.1.2实体完整性检查和违约处理5.1.2实体完整性检查和违约处理5.1.2实体完整性检查和违约处理5.2

3、参照完整性5.2参照完整性5.2.1参照完整性定义5.2.2参照完整性检查和违约处理5.2.1参照完整性定义5.2.1参照完整性定义例如，关系SC中（Sno，Cno）是主码。Sno，Cno分别参照引用S表的主码和C表的主码［例3］定义SC中的参照完整性CREATETABLESC(SnoCHAR(9)，CnoCHAR(4)，GradeSMALLINT，PRIMARYKEY(Sno，Cno)，/*在表级定义实体完整性*/FOREIGNKEY(Sno)REFERENCESS(Sno)，/*在表级定义参照完整性*/FOREIGNKEY(Cno)REFERENCESC(

4、Cno)/*在表级定义参照完整性*/);5.2参照完整性5.2.1参照完整性定义5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理3.在参照关系中，修改外码的问题S（Sno，Sname，Sage，…）SC（Sno，Cno，Grade）95001，张三，20，…95001，DB

5、，9095002，李四，19，…95001，OS，8595002，DB，865.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理5.2.2参照完整性检查和违约处理显式说明参照完整性的违约处理示例CREATETABLESC(SnoCHAR(9)，CnoCHAR(4)，GradeSMALLINT，PRIMARYKEY（Sno，Cno），FOREIGNKEY(Sno)REFERENCESS(Sno)ONDELETEC

6、ASCADE/*当删除s表中的元组时级联删除SC表中相应的元组*/ONUPDATECASCADE，/*当更新s表中的元组时，级联更新SC表中相应的元组*/FOREIGNKEY(Cno)REFERENCESC(Cno)ONDELETENOACTION/*当删除c表中的元组造成了与SC表不一致时拒绝删除*/ONUPDATECASCADE/*当更新c表中的元组时，级联更新SC表中相应的元组*/)；5.3用户自定义完整性5.3用户定义的完整性5.3.1属性上的约束条件的定义5.3.2属性上的约束条件检查和违约处理5.3.3元组上的约束条件的定义5.3.4元组上的约束条

7、件检查和违约处理5.3.1属性上的约束条件的定义5.3.1属性上的约束条件的定义5.3.1属性上的约束条件的定义5.3用户自定义完整性5.3用户定义的完整性5.3.1属性上的约束条件的定义5.3.2属性上的约束条件检查和违约处理5.3.3元组上的约束条件的定义5.3.4元组上的约束条件检查和违约处理5.3.2属性上的约束条件检查和违约处理•插入元组或修改属性的值时，RDBMS检查属性上的约束条件是否被满足•如果不满足则操作被拒绝执行5.3用户定义的完整性5.3.1属性上的约束条件的定义5.3.2属性上的约束条件检查和违约处理5.3.3元组上的约束条件的定义5.

8、3.4元组上的约束条件检查和违约处理5