第10章 数据库完整性ppt课件.ppt

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

1、数据库系统概论AnIntroductiontoDatabaseSystem第十章数据库完整性7/27/2021数据库系统概论第十章数据库完整性什么是数据库的完整性数据的正确性和相容性防止不合语义的数据进入数据库。例:学生的年龄必须是整数，取值范围为14--29；学生的性别只能是男或女；学生的学号一定是唯一的；学生所在的系必须是学校开设的系；完整性：是否真实地反映现实世界7/27/2021数据库系统概论完整性控制机制1.完整性约束条件定义机制2.完整性检查机制3.违约反应7/27/2021数据库系统概论完整性约束条件定义完

2、整性约束条件：数据模型的组成部分约束数据库中数据的语义DBMS应提供定义数据库完整性约束条件，并把它们作为模式的一部分存入数据库中7/27/2021数据库系统概论完整性控制机制检查用户发出的操作请求是否违背了完整性约束条件7/27/2021数据库系统概论违约反应如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。7/27/2021数据库系统概论第十章数据库完整性10.1完整性约束条件10.2完整性控制10.3Oracle的完整性10.4小结7/27/2021数据库系统概论完整性约束条件（

3、续）完整性约束条件作用的对象列：对属性的取值类型、范围、精度等的约束条件元组：对元组中各个属性列间的联系的约束关系：对若干元组间、关系集合上以及关系之间的联系的约束7/27/2021数据库系统概论完整性约束条件（续）静态对静态对象的约束是反映数据库状态合理性的约束动态对动态对象的约束是反映数据库状态变迁的约束7/27/2021数据库系统概论完整性约束条件分类六类完整性约束条件静态列级约束静态元组约束静态关系约束动态列级约束动态元组约束动态关系约束7/27/2021数据库系统概论完整性约束条件（续）对象状态动态列级约束动态

4、元组约束动态关系约束动态④⑤⑥静态列级约束静态元组约束静态关系约束静态①②③列元组关系对象粒度7/27/2021数据库系统概论完整性约束条件（续）1.静态列级约束静态列级约束：对的取值域的说明最常见、最简单、最容易实现的一类完整性约束7/27/2021数据库系统概论完整性约束条件（续）五类静态列级约束1)数据类型约束：数据的类型、长度、单位、精度等例：学生姓名的数据类型为字符型，长度为82)对数据格式的约束例：学号：前两位表示入学年份，后四位为顺序编号日期：YY.MM.DD。7/27/2021数据库系统概论完整性约束条件

5、（续）3)取值范围或取值集合的约束例：规定成绩的取值范围为0-100年龄的取值范围为14-29性别的取值集合为[男,女]4)对空值的约束空值：未定义或未知的值空值：与零值和空格不同有的列允许空值，有的则不允许，如成绩可为空值5)其他约束例：关于列的排序说明，组合列等7/27/2021数据库系统概论完整性约束条件（续）2.静态元组约束规定元组的各个列之间的约束关系例：订货关系中发货量<=订货量教师关系中教授的工资>=700元静态元组约束只局限在元组上7/27/2021数据库系统概论完整性约束条件（续）3.静态关系约束关系的

6、各个元组之间或若干关系之间存在的各种联系或约束常见静态关系约束：1)实体完整性约束2)参照完整性约束3)函数依赖约束4)统计约束7/27/2021数据库系统概论函数依赖约束关系字段间存在的函数依赖例：在学生－课程－教师关系SJT(S,J,T)的函数依赖：((S,J）→T,T→J)主码：(S,J)7/27/2021数据库系统概论统计约束定义某个字段值一个关系多个元组的统计值之间的约束关系例：职工平均工资的2倍<=部门经理的工资<=职工平均工资的5倍职工平均工资值:统计值7/27/2021数据库系统概论完整性约束条件（续）4

7、.动态列级约束动态列级约束是修改列定义或列值时应满足的约束条件7/27/2021数据库系统概论完整性约束条件（续）1)修改列定义时的约束例：将原来允许空值的列改为不允许空值时:该列目前已存在空值，则拒绝这种修改2)修改列值时的约束修改列值时新旧值之间要满足的约束条件例：职工工资调整>=原来工资年龄只能增长7/27/2021数据库系统概论完整性约束条件（续）5.动态元组约束修改元组值:各个字段之间要满足的约束条件例:职工工资调整不得低于其原来工资+工龄*1.57/27/2021数据库系统概论完整性约束条件（续）6.动态关系

8、约束关系变化前后状态：限制条件例：事务一致性、原子性等约束条件7/27/2021数据库系统概论完整性约束条件小结粒度状态列级元组级关系级静态列定义·类型·格式·值域·空值元组值应满足的条件实体完整性约束参照完整性约束函数依赖约束统计约束动态改变列定义或列值元组新旧值之间应满足的约束条件关系新旧状态间应满足的约束条件7