资源描述：
《数据库完整性.ppt》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、数据库完整性数据库的完整性数据的正确性是指数据是符合现实世界语义，反映了当前实际状况的数据的相容性是指数据库同一对象在不同关系表中的数据是符合逻辑的例如，学生的学号必须唯一性别只能是男或女本科学生年龄的取值范围为14~50的整数学生所选的课程必须是学校开设的课程，学生所在的院系必须是学校已成立的院系等数据库完整性（续）数据的完整性和安全性是两个不同概念数据的完整性防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据防范对象：不合语义的、不正确的数据数据的安全性保护数据库防止恶意的破坏和非法的存取防范对象：非法用户和非法操作数据库完整性（续）
2、为维护数据库的完整性，数据库管理系统必须：1.提供定义完整性约束条件的机制完整性约束条件也称为完整性规则，是数据库中的数据必须满足的语义约束条件SQL标准使用了一系列概念来描述完整性，包括关系模型的实体完整性、参照完整性和用户定义完整性这些完整性一般由SQL的数据定义语言语句来实现数据库完整性（续）2.提供完整性检查的方法数据库管理系统中检查数据是否满足完整性约束条件的机制称为完整性检查。一般在INSERT、UPDATE、DELETE语句执行后开始检查，也可以在事务提交时检查数据库完整性（续）3.违约处理数据库管理系统若发现用户的操作违背了完整性约束条件，
3、就采取一定的动作拒绝（NOACTION）执行该操作级连（CASCADE）执行其他操作第五章数据库完整性5.1实体完整性5.2参照完整性5.3用户定义的完整性5.4完整性约束命名字句*5.5域中的完整性限制5.6断言5.7触发器5.8小结5.1实体完整性5.1.1实体完整性定义5.1.2实体完整性检查和违约处理5.1.1实体完整性定义关系模型的实体完整性CREATETABLE中用PRIMARYKEY定义单属性构成的码有两种说明方法定义为列级约束条件定义为表级约束条件对多个属性构成的码只有一种说明方法定义为表级约束条件实体完整性定义（续）[例5.1]将Stud
4、ent表中的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));实体完整性定义（续）[例5.2]将SC表中的Sno，Cn
5、o属性组定义为码CREATETABLESC(SnoCHAR(9)NOTNULL,CnoCHAR(4)NOTNULL,GradeSMALLINT,PRIMARYKEY(Sno,Cno)/*只能在表级定义主码*/);5.1实体完整性5.1.1实体完整性定义5.1.2实体完整性检查和违约处理5.1.2实体完整性检查和违约处理插入或对主码列进行更新操作时，关系数据库管理系统按照实体完整性规则自动进行检查。包括：检查主码值是否唯一，如果不唯一则拒绝插入或修改检查主码的各个属性是否为空，只要有一个为空就拒绝插入或修改实体完整性检查和违约处理（续）检查记录中主码值是否唯
6、一的一种方法是进行全表扫描依次判断表中每一条记录的主码值与将插入记录上的主码值（或者修改的新主码值）是否相同实体完整性检查和违约处理（续）表扫描缺点十分耗时为避免对基本表进行全表扫描，RDBMS核心一般都在主码上自动建立一个索引实体完整性检查和违约处理（续）B+树索引例如，新插入记录的主码值是25通过主码索引，从B+树的根结点开始查找读取3个结点：根结点（51）、中间结点（1230）、叶结点（152025）该主码值已经存在，不能插入这条记录第五章数据库完整性5.1实体完整性5.2参照完整性5.3用户定义的完整性5.4完整性约束命名字句*5.5域中的完整性限
7、制5.6断言5.7触发器5.8小结5.2参照完整性5.2.1参照完整性定义5.2.2参照完整性检查和违约处理5.2.1参照完整性定义关系模型的参照完整性定义在CREATETABLE中用FOREIGNKEY短语定义哪些列为外码用REFERENCES短语指明这些外码参照哪些表的主码参照完整性定义（续）例如，关系SC中（Sno，Cno）是主码。Sno，Cno分别参照Student表的主码和Course表的主码[例5.3]定义SC中的参照完整性CREATETABLESC(SnoCHAR(9)NOTNULL,CnoCHAR(4)NOTNULL,GradeSMALLI
8、NT,PRIMARYKEY(Sno,Cno),/*在表级定义实体完
