资源描述:
《数据库完整性ppt培训课件》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、AnIntroductiontoDatabaseSystem数据库系统概论AnIntroductiontoDatabaseSystem第五章数据库完整性AnIntroductiontoDatabaseSystem第五章数据库完整性什么是数据库的完整性数据的正确性和相容性防止不合语义的数据进入数据库。例:学生的年龄必须是整数,取值范围为14--29;学生的性别只能是男或女;学生的学号一定是唯一的;学生所在的系必须是学校开设的系;完整性:能否真实地反映现实世界AnIntroductiontoDatabaseSystem完整性控制机制1.提供
2、定义完整性约束条件的机制2.提供完整性检查的方法3.违约处理AnIntroductiontoDatabaseSystem完整性约束条件定义完整性约束条件:数据模型的组成部分约束数据库中数据的语义DBMS应提供定义数据库完整性约束条件,并把它们作为模式的一部分存入数据库中AnIntroductiontoDatabaseSystem完整性控制机制检查用户发出的操作请求是否违背了完整性约束条件AnIntroductiontoDatabaseSystem违约反应如果发现用户的操作请求使数据违背了完整性约束条件,则采取一定的动作来保证数据的完整性
3、。AnIntroductiontoDatabaseSystem第五章数据库完整性5.1实体完整性5.2参照完整性5.3用户定义的完整性5.4完整性约束命名子句5.5域中的完整性限制5.6触发器5.7小结AnIntroductiontoDatabaseSystem5.1.1实体完整性定义关系模型的实体完整性在CREATETABLE中用PRIMARYKEY定义。单属性的码:定义为列级约束条件定义为表级约束条件多属性的码:定义为表级约束条件例1:将Student表中的Sno属性定义为码:CREATETABLEStudent(SnoCHAR(9
4、)PRIMARYKEY,SnameCHAR(20)NOTNULL,SsexCHAR(2),SageSMALLINT,SdeptCHAR(20));CREATETABLEStudent(SnoCHAR(9),SnameCHAR(20)NOTNULL,SsexCHAR(2),SageSMALLINT,SdeptCHAR(20),PRIMARYKEY(Sno));AnIntroductiontoDatabaseSystem例2:将SC表中的Sno,Cno属性组定义为码CREATETABLESC(SnoCHAR(9)NOTNULL,CnoCH
5、AR(4)NOTNULL,GradeSMALLINT,PRIMARYKEY(Sno,Cno));AnIntroductiontoDatabaseSystem5.1.2实体完整性检查和违约处理对定义主码的表,当用户要插入一条记录或对主码列进行更新操作时,要进行实体完整性规则自动检查。检查主码值是否唯一,若不唯一则拒绝插入或修改;检查主码的各个属性是否为空,只要有一个为空就拒绝插入或修改。检查方法:全表扫描B+树索引AnIntroductiontoDatabaseSystem第五章数据库完整性5.1实体完整性5.2参照完整性5.3用户定义的
6、完整性5.4完整性约束命名子句5.5域中的完整性限制5.6触发器5.7小结AnIntroductiontoDatabaseSystem5.2.1参照完整性定义关系模型的参照完整性在CREATETABLE中用FOREIGNKEY短语定义哪些列为外码,用REFERENCES短语指明外码参照哪些表的主码。例3:CREATETABLESC(SnoCHAR(9)NOTNULL,CnoCHAR(4)NOTNULL,GradeSMALLINT,PRIMARYKEY(Sno,Cno),FOREIGNKEY(Sno)REFERENCESStudent(S
7、no),FOREIGNKEY(Cno)REFERENCESCourse(Cno));AnIntroductiontoDatabaseSystem5.2.2参照完整性检查和违约处理表5.1可能破坏参照完整性的情况及违约处理被参照表(例Student)参照表(例SC)违约处理可能破坏参照完整性插入元组拒绝可能破坏参照完整性修改外码值拒绝删除元组可能破坏参照完整性拒绝/级联删除/设置为空值修改主码值可能破坏参照完整性拒绝/级联删除/设置为空值AnIntroductiontoDatabaseSystem5.3用户定义的完整性5.3.1属性上的约
8、束条件定义5.3.2属性上的约束条件检查和违约处理5.3.3元组上的约束条件的定义5.3.4元组上的约束条件检查和违约处理AnIntroductiontoDatabaseSystem5.3.1属性上的约束条