10数据库完整性约束数据库原理
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
3) 取值范围或取值集合的约束 例：规定成绩的取值范围为0-100;年龄的取值范围为14-29 性别的取值集合为[男,女]
4) 对空值的约束(空值：未定义或未知的值,与零值和空格不同) 有的列允许空值，有的则不允许，如成绩可为空值
5) 其他约束 例：关于列的排序说明，组合列等
2. 静态元组约束
规定元组的各个列之间的约束关系 例：订货关系中发货量<=订货量 教师关系中教授的工资>=700元
例2：在“教授工资不得低于1000元”的约束中 D 约束作用的对象为工资Sal属性 O 插入或修改职工元组时 A Sal不能小于1000 C 职称=′教授′ (A仅作用于职称=‘教授’的记录) P 拒绝执行该操作
关系系统三类完整性的实现
关系数据库系统都提供了定义和检查实体完整性、参 照完整性和用户定义的完整性的功能
2. 完整性检查机制
检查用户发出的操作请求是否违背了完整性约束条件
3. 违约反应
如果发现用户的操作请求使数据违背了完整性约束条件， 则采取一定的动作来保证数据的完整性。
10.1 计算机安全性概论
完整性约束条件作用的对象
列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上及关系之间的联系的约束
受限删除（RESTRICTED）
当参照关系中没有任何元组的外码值与要删除的被参照关系的元组的主 码值相对应时，系统才执行删除操作，否则拒绝此删除操作。
置空值删除（NULLIFIES）
删除被参照关系的元组，并将参照关系中与被参照关系中被删除元组主 码值相等的外码值置为空值。
例：要删除Student关系中Sno=950001的元组， 而SC关系中有4个元组的Sno都等于950001。 级联删除：将SC关系中所有4个Sno=950001的元组一 起删除。如果参照关系同时又是另一个关系的被参照关 系，则这种删除操作会继续级联下去 受限删除：系统将拒绝执行此删除操作。 置空值删除：将SC关系中所有Sno=950001的元组的 Sno值置为空值。 在学生选课数据库中，显然第一种方法和第二种方法都 是对的。第三种方法不符合应用环境语义。
静态
对静态对象的约束是反映数据库状态合理性的约束
动态
对动态对象的约束是反映数据库状态变迁的约束
六类完整性约束条件
静态列级约束 静态元组约束 静态关系约束 动态列级约束 动态元组约束 动态关系约束
对象状态
动态列级约束
动态
④
动态元组约束 动态关系约束
⑤
⑥
静态列级约束 静态元组约束 静态关系约束
静态
①
②
③
列
元组
对象粒度 关系
1. 静态列级约束
静态列级约束：对的取值域的说明
最常见、最简单、最容易实现的一类完整性约束
五类静态列级约束
1) 数据类型约束：数据的类型、长度、单位、精度等 例：学生姓名的数据类型为字符型，长度为8
2) 对数据格式的约束 例：学号：前两位表示入学年份，后四位为顺序编号 日期：YY.MM.DD。
不同的数据库产品对完整性的支持策略和支持程度是不同的 许多数据库管理系统对完整性机制的支持比对安全性的 支持要晚得多也弱得多。 数据库厂商对完整性的支持越来越好，不仅在能保证实 体完整性和参照完整性而且能在DBMS核心定义、检查 和保证用户定义的完整性约束条件。
DBMS的完整性控制机制
1. 定义功能
允许用户定义各类完整性约束条件
2. 检查功能
立即执行的约束(Immediate constraints) 语句执行完后立即检查是否违背完整性约束 延迟执行的约束(Deferred constrainsts) 完整性检查延迟到整个事务执行结束后进行
例：银行数据库中“借贷总金额应平衡”的约束 应该是延迟执行的约束 从账号A转一笔钱到账号B为一个事务，从账号A转出去钱后账就不平了， 必须等转入账号B后账才能重新平衡，这时才能进行完整性检查。
C（Condition） 选择A作用的数据对象值的谓词； P（Procedure） 违反完整性规则时触发的过程。
例1：在“学号不能为空”的约束中 D 约束作用的对象为Sno属性 O 插入或修改Student 元组时 A Sno不能为空 C 无（A可作用于所有记录的Sno属性） P 拒绝执行该操作
定义某个字段值一个关系多个元组的统计值之间的约束关系
例：职工平均工资的2倍<=部门经理的工资<=职工平均工资的5倍 职工平均工资值: 统计值
4. 动态列级约束
动态列级约束是修改列定义或列值时应满足的约束条件
1) 修改列定义时的约束 例：将原来允许空值的列改为不允许空值时: 该列目前已存在空值，则拒绝这种修改
2) 修改列值时的约束 修改列值时新旧值之间要满足的约束条件 例：职工工资调整 >= 原来工资 年龄只能增长
5. 动态元组约束
修改元组值: 各个字段之间要满足的约束条件 例: 职工工资调整不得低于其原来工资 + 工龄×1.5
6. 动态关系约束
关系变化前后状态：限制条件 例：事务一致性、原子性等约束条件
在参照关系中插入元组时的问题
出现违约操作的情形
需在参照关系中插入元组，而被参照关系不存在相应的元组
违约反应
受限插入
仅当被参照关系中存在相应的元组，其主码值与参照关系插入元组 的外码值相同时，系统才执行插入操作，否则拒绝此操作。
递归插入
首先向被参照关系中插入相应的元组，其主码值等于参照关系插入元组 的外码值，然后向参照关系插入元组。
置空值修改：将Student表中Sno=950001的元组的Sno值 改为960123。而将S表中所有Sno=950001的元组的Sno 值置为空值。
在学生选课数据库中只有第一种方法是正确的。
RDBMS在实现参照完整性时:
需要向用户提供定义主码、外码的机制 向用户提供按照自己的应用要求选择处理依
3. 违约反应
拒绝该操作 其他处理方法
DBMS的完整性控制机制
完整性规则五元组表示:
(D，O，A，C，P) D（Data） 约束作用的数据对象； O（Operation） 触发完整性检查的数据库操作
当用户发出什么操作请求时需要检查该完整性规则是立即检查 还是延迟检查；
A（Assertion） 数据对象必须满足的断言或语义约束，这是 规则的主体；
赖关系中对应的元组的方法
10.3 Oracle的完整性
Oracle中的实体完整性
建表时指定关系的主码列
Oracle中的参照完整性
定义外码列
Oracle中用户定义的完整性
列非空 列值唯一 检查列值是否满足一个布尔表达式 触发器
数据库完整性 小结
完整性机制的实施会极大地影响系统性能
违反实体完整性规则和用户定义的完整性规则的操作： 一般是拒绝执行
违反参照完整性的操作： 拒绝执行 接受这个操作，同时执行一些附加的操作，以保证 数据库的状态正确
参照完整性的实现
例:职工－部门数据库包含职工表EMP和部门表DEPT 1 DEPT关系的主码为部门号Deptno 2 EMP关系的主码为职工号Empno, 外码为部门号Deptno
例：将Student关系中Sno=950001的元组中Sno值改为 960123。而SC关系中有 4个元组的Sno=950001
级联修改：将SC关系中4个Sno=950001元组中的Sno值也 改为960123。如果参照关系同时又是另一个关系的被参照 关系，则这种修改操作会继续级联下去。
受限修改：只有SC中没有任何元组的Sno=950001时，才 能修改Student表中Sno=950001的元组的Sno值改为 960123。
称DEPT为被参照关系或目标关系，EMP为参照关系 RDBMS实现参照完整性时需要考虑以下4方面：
外码是否可以接受空值的问题
在被参照关系中删除元组时的问题
在参照关系中插入元组时的问题
修改被参照关系中主码的问题Leabharlann 外码是否可以接受空值的问题
外码是否能够取空值：依赖于应用环境的语义 实现参照完整性：
系统提供定义外码的机制 定义外码列是否允许空值的机制
例：向SC关系插入（99001，1，90）元组，而 Student关系中尚没有Sno=99001的学生。
受限插入：系统将拒绝向SC关系插入（99001， 1，90）元组。
递归插入：系统将首先向Student关系插入 Sno=99001的元组，然后向SC关系插入 （99001，1，90）元组。
修改被参照关系中主码的问题
什么是数据库的完整性
数据的正确性和相容性 防止不合语义的数据进入数据库。
例: 学生的年龄必须是整数，取值范围为14--29； 学生的性别只能是男或女； 学生的学号一定是唯一的； 学生所在的系必须是学校开设的系；
完整性：否真实地反映现实世界
安整性控制机制
1. 完整性约束条件定义机制
完整性约束条件：加在数据库数据之上的语义约束条件
静态元组约束只局限在元组上
3. 静态关系约束
关系的各个元组之间或若干关系之间存在的各种联系或约束 常见静态关系约束：
1) 实体完整性约束 2) 参照完整性约束 3) 函数依赖约束 4) 统计约束
关系字段间存在的函数依赖
例：在学生－课程－教师关系 SJT(S,J,T) 的函数依赖： ( (S,J）→T, T→J ) 主码： (S, J)
粒度状 态
静态
列级
列定义 ·类型 ·格式 ·值域 ·空值
元组级
关系级
元组值应满足 实体完整性约束
的条件
参照完整性约束
函数依赖约束
统计约束
动态
改变列定 元组新旧值之 关系新旧状态间应 义或列值 间应满足的约 满足的约束条件
束条件
10.2 完整性控制
DBMS的完整性控制机制 关系系统三类完整性的实现 参照完整性的实现
两种策略
不允许修改主码
允许修改主码
违约操作
要修改被参照关系中某些元组的主码值，而参照关系中有些元 组的外码值正好等于被参照关系要修改的主码值
要修改参照关系中某些元组的主码值，而被参照关系中没有任 何元组的外码值等于被参照关系修改后的主码值
修改的关系是被参照关系：与删除类似 级联修改:修改被参照关系中主码值同时，用相同的方法修改 参照关系中相应的外码值。 受限修改:拒绝此修改操作。只当参照关系中没有任何元组的 外码值等于被参照关系中某个元组的主码值时，这个元组的主 码值才能被修改。 置空值修:改修改被参照关系中主码值，同时将参照关系中相 应的外码值置为空值。
例1：在职工－部门数据库中， EMP关系包含有外码Deptno
某元组的这一列若为空值，表示这个职工尚未分配到任何具体的部门工 作，和应用环境的语义是相符。
例2：学生－选课数据库 Student关系为被参照关系，其主码为Sno。 SC为参照关系，外码为Sno。
若SC的Sno为空值：表明尚不存在的某个学生，或者某个不知学号的学 生，选修了某门课程，其成绩记录在Grade中，与学校的应用环境是不相符 的，因此SC的Sno列不能取空值。
在被参照关系中删除元组时的问题
删除被参照关系的某个元组（student），而参照关系有若干 元组(SC)的外码值与被删除的被参照关系的主码值相同。
违约反应：可有三种策略（正确与否依应用环境的语义来定） 级联删除（CASCADES）
将参照关系中外码值与被参照关系中要删除元组主码值相对应的元组一 起删除
4) 对空值的约束(空值：未定义或未知的值,与零值和空格不同) 有的列允许空值，有的则不允许，如成绩可为空值
5) 其他约束 例：关于列的排序说明，组合列等
2. 静态元组约束
规定元组的各个列之间的约束关系 例：订货关系中发货量<=订货量 教师关系中教授的工资>=700元
例2：在“教授工资不得低于1000元”的约束中 D 约束作用的对象为工资Sal属性 O 插入或修改职工元组时 A Sal不能小于1000 C 职称=′教授′ (A仅作用于职称=‘教授’的记录) P 拒绝执行该操作
关系系统三类完整性的实现
关系数据库系统都提供了定义和检查实体完整性、参 照完整性和用户定义的完整性的功能
2. 完整性检查机制
检查用户发出的操作请求是否违背了完整性约束条件
3. 违约反应
如果发现用户的操作请求使数据违背了完整性约束条件， 则采取一定的动作来保证数据的完整性。
10.1 计算机安全性概论
完整性约束条件作用的对象
列：对属性的取值类型、范围、精度等的约束条件 元组：对元组中各个属性列间的联系的约束 关系：对若干元组间、关系集合上及关系之间的联系的约束
受限删除（RESTRICTED）
当参照关系中没有任何元组的外码值与要删除的被参照关系的元组的主 码值相对应时，系统才执行删除操作，否则拒绝此删除操作。
置空值删除（NULLIFIES）
删除被参照关系的元组，并将参照关系中与被参照关系中被删除元组主 码值相等的外码值置为空值。
例：要删除Student关系中Sno=950001的元组， 而SC关系中有4个元组的Sno都等于950001。 级联删除：将SC关系中所有4个Sno=950001的元组一 起删除。如果参照关系同时又是另一个关系的被参照关 系，则这种删除操作会继续级联下去 受限删除：系统将拒绝执行此删除操作。 置空值删除：将SC关系中所有Sno=950001的元组的 Sno值置为空值。 在学生选课数据库中，显然第一种方法和第二种方法都 是对的。第三种方法不符合应用环境语义。
静态
对静态对象的约束是反映数据库状态合理性的约束
动态
对动态对象的约束是反映数据库状态变迁的约束
六类完整性约束条件
静态列级约束 静态元组约束 静态关系约束 动态列级约束 动态元组约束 动态关系约束
对象状态
动态列级约束
动态
④
动态元组约束 动态关系约束
⑤
⑥
静态列级约束 静态元组约束 静态关系约束
静态
①
②
③
列
元组
对象粒度 关系
1. 静态列级约束
静态列级约束：对的取值域的说明
最常见、最简单、最容易实现的一类完整性约束
五类静态列级约束
1) 数据类型约束：数据的类型、长度、单位、精度等 例：学生姓名的数据类型为字符型，长度为8
2) 对数据格式的约束 例：学号：前两位表示入学年份，后四位为顺序编号 日期：YY.MM.DD。
不同的数据库产品对完整性的支持策略和支持程度是不同的 许多数据库管理系统对完整性机制的支持比对安全性的 支持要晚得多也弱得多。 数据库厂商对完整性的支持越来越好，不仅在能保证实 体完整性和参照完整性而且能在DBMS核心定义、检查 和保证用户定义的完整性约束条件。
DBMS的完整性控制机制
1. 定义功能
允许用户定义各类完整性约束条件
2. 检查功能
立即执行的约束(Immediate constraints) 语句执行完后立即检查是否违背完整性约束 延迟执行的约束(Deferred constrainsts) 完整性检查延迟到整个事务执行结束后进行
例：银行数据库中“借贷总金额应平衡”的约束 应该是延迟执行的约束 从账号A转一笔钱到账号B为一个事务，从账号A转出去钱后账就不平了， 必须等转入账号B后账才能重新平衡，这时才能进行完整性检查。
C（Condition） 选择A作用的数据对象值的谓词； P（Procedure） 违反完整性规则时触发的过程。
例1：在“学号不能为空”的约束中 D 约束作用的对象为Sno属性 O 插入或修改Student 元组时 A Sno不能为空 C 无（A可作用于所有记录的Sno属性） P 拒绝执行该操作
定义某个字段值一个关系多个元组的统计值之间的约束关系
例：职工平均工资的2倍<=部门经理的工资<=职工平均工资的5倍 职工平均工资值: 统计值
4. 动态列级约束
动态列级约束是修改列定义或列值时应满足的约束条件
1) 修改列定义时的约束 例：将原来允许空值的列改为不允许空值时: 该列目前已存在空值，则拒绝这种修改
2) 修改列值时的约束 修改列值时新旧值之间要满足的约束条件 例：职工工资调整 >= 原来工资 年龄只能增长
5. 动态元组约束
修改元组值: 各个字段之间要满足的约束条件 例: 职工工资调整不得低于其原来工资 + 工龄×1.5
6. 动态关系约束
关系变化前后状态：限制条件 例：事务一致性、原子性等约束条件
在参照关系中插入元组时的问题
出现违约操作的情形
需在参照关系中插入元组，而被参照关系不存在相应的元组
违约反应
受限插入
仅当被参照关系中存在相应的元组，其主码值与参照关系插入元组 的外码值相同时，系统才执行插入操作，否则拒绝此操作。
递归插入
首先向被参照关系中插入相应的元组，其主码值等于参照关系插入元组 的外码值，然后向参照关系插入元组。
置空值修改：将Student表中Sno=950001的元组的Sno值 改为960123。而将S表中所有Sno=950001的元组的Sno 值置为空值。
在学生选课数据库中只有第一种方法是正确的。
RDBMS在实现参照完整性时:
需要向用户提供定义主码、外码的机制 向用户提供按照自己的应用要求选择处理依
3. 违约反应
拒绝该操作 其他处理方法
DBMS的完整性控制机制
完整性规则五元组表示:
(D，O，A，C，P) D（Data） 约束作用的数据对象； O（Operation） 触发完整性检查的数据库操作
当用户发出什么操作请求时需要检查该完整性规则是立即检查 还是延迟检查；
A（Assertion） 数据对象必须满足的断言或语义约束，这是 规则的主体；
赖关系中对应的元组的方法
10.3 Oracle的完整性
Oracle中的实体完整性
建表时指定关系的主码列
Oracle中的参照完整性
定义外码列
Oracle中用户定义的完整性
列非空 列值唯一 检查列值是否满足一个布尔表达式 触发器
数据库完整性 小结
完整性机制的实施会极大地影响系统性能
违反实体完整性规则和用户定义的完整性规则的操作： 一般是拒绝执行
违反参照完整性的操作： 拒绝执行 接受这个操作，同时执行一些附加的操作，以保证 数据库的状态正确
参照完整性的实现
例:职工－部门数据库包含职工表EMP和部门表DEPT 1 DEPT关系的主码为部门号Deptno 2 EMP关系的主码为职工号Empno, 外码为部门号Deptno
例：将Student关系中Sno=950001的元组中Sno值改为 960123。而SC关系中有 4个元组的Sno=950001
级联修改：将SC关系中4个Sno=950001元组中的Sno值也 改为960123。如果参照关系同时又是另一个关系的被参照 关系，则这种修改操作会继续级联下去。
受限修改：只有SC中没有任何元组的Sno=950001时，才 能修改Student表中Sno=950001的元组的Sno值改为 960123。
称DEPT为被参照关系或目标关系，EMP为参照关系 RDBMS实现参照完整性时需要考虑以下4方面：
外码是否可以接受空值的问题
在被参照关系中删除元组时的问题
在参照关系中插入元组时的问题
修改被参照关系中主码的问题Leabharlann 外码是否可以接受空值的问题
外码是否能够取空值：依赖于应用环境的语义 实现参照完整性：
系统提供定义外码的机制 定义外码列是否允许空值的机制
例：向SC关系插入（99001，1，90）元组，而 Student关系中尚没有Sno=99001的学生。
受限插入：系统将拒绝向SC关系插入（99001， 1，90）元组。
递归插入：系统将首先向Student关系插入 Sno=99001的元组，然后向SC关系插入 （99001，1，90）元组。
修改被参照关系中主码的问题
什么是数据库的完整性
数据的正确性和相容性 防止不合语义的数据进入数据库。
例: 学生的年龄必须是整数，取值范围为14--29； 学生的性别只能是男或女； 学生的学号一定是唯一的； 学生所在的系必须是学校开设的系；
完整性：否真实地反映现实世界
安整性控制机制
1. 完整性约束条件定义机制
完整性约束条件：加在数据库数据之上的语义约束条件
静态元组约束只局限在元组上
3. 静态关系约束
关系的各个元组之间或若干关系之间存在的各种联系或约束 常见静态关系约束：
1) 实体完整性约束 2) 参照完整性约束 3) 函数依赖约束 4) 统计约束
关系字段间存在的函数依赖
例：在学生－课程－教师关系 SJT(S,J,T) 的函数依赖： ( (S,J）→T, T→J ) 主码： (S, J)
粒度状 态
静态
列级
列定义 ·类型 ·格式 ·值域 ·空值
元组级
关系级
元组值应满足 实体完整性约束
的条件
参照完整性约束
函数依赖约束
统计约束
动态
改变列定 元组新旧值之 关系新旧状态间应 义或列值 间应满足的约 满足的约束条件
束条件
10.2 完整性控制
DBMS的完整性控制机制 关系系统三类完整性的实现 参照完整性的实现
两种策略
不允许修改主码
允许修改主码
违约操作
要修改被参照关系中某些元组的主码值，而参照关系中有些元 组的外码值正好等于被参照关系要修改的主码值
要修改参照关系中某些元组的主码值，而被参照关系中没有任 何元组的外码值等于被参照关系修改后的主码值
修改的关系是被参照关系：与删除类似 级联修改:修改被参照关系中主码值同时，用相同的方法修改 参照关系中相应的外码值。 受限修改:拒绝此修改操作。只当参照关系中没有任何元组的 外码值等于被参照关系中某个元组的主码值时，这个元组的主 码值才能被修改。 置空值修:改修改被参照关系中主码值，同时将参照关系中相 应的外码值置为空值。
例1：在职工－部门数据库中， EMP关系包含有外码Deptno
某元组的这一列若为空值，表示这个职工尚未分配到任何具体的部门工 作，和应用环境的语义是相符。
例2：学生－选课数据库 Student关系为被参照关系，其主码为Sno。 SC为参照关系，外码为Sno。
若SC的Sno为空值：表明尚不存在的某个学生，或者某个不知学号的学 生，选修了某门课程，其成绩记录在Grade中，与学校的应用环境是不相符 的，因此SC的Sno列不能取空值。
在被参照关系中删除元组时的问题
删除被参照关系的某个元组（student），而参照关系有若干 元组(SC)的外码值与被删除的被参照关系的主码值相同。
违约反应：可有三种策略（正确与否依应用环境的语义来定） 级联删除（CASCADES）
将参照关系中外码值与被参照关系中要删除元组主码值相对应的元组一 起删除