数据库 ChpA_Integrity.pdf

第十章 数据库完整性 安全性对非法用户 完整性对合法用户 完整性 • 数据库完整性是指数据的正确性和相容性。 • 维护数据库的完整性，目的是为了防止数据库中存在 不符合语义的数据，防止错误信息的输入和输出，即 所谓的“Garbage In Garbage Out”。因此，数据库 实世界。 • 数据库完整性可细分为三类：实体完整性、参照完整 性、用户自定义完整性。有时增加第四类：域完整性 数据库完整性、一致性、安全性 特性 主要内容 完整性 8目的：保证数据的正确性、相容性 Integrity 防止不符合语义的数据的输入、输出 8手段：四种完整性控制 一致性 8目的：实现事务的四个特性（ACID ） Consistency 8手段：数据库恢复技术（转储、日志） 并发控制（封锁） 安全性 8目的：防止数据的恶意破坏和非法存取 Security 8手段：四类安全性级别（DAC、MAC...） 完整性约束条件 • 加在数据库数据之上的语义约束条件称为完整 性约束条件。它们作为模式的一部分存入数据 库。DBMS中检查数据是否满足完整性约束条 件的机制称为完整性检查。 • 完整性约束条件作用的对象（粒度）包括： 8关系、元组、列 • 完整性约束条件涉及的三类对象的状态有： 8静态、动态 完整性约束条件分类 对象状态 动态列级约束 动态元组约束 动态关系约束 动态 静态列级约束 静态元组约束 静态关系约束 静态 关 系 粒 列 元组 关系 度 静态列级约束 • 静态列级约束是对一个列的取值域的定义。 8对数据类型的约束（类型、长度、单位、精度...） 8对数据格式的约束（如日期、时间） 8对取值范围或取值集合的约束 8对空值的约束 8其它约束（排序、组合列等） • 实现方法： 8直接在关系模式中定义，存储在数据字典中 8利用CHECK子句定义规则 静态元组约束 • 静态元组约束就是规定元组的各个列之间的约束关 系。例如： 8规定发货量不得超过定货量 8教授的工资不低于1000元 • 实现方法： 8直接在关系模式中定义，存储在数据字典中 8利用CHECK子句实现 8利用触发器（Trigger）实现 8利用事件（Event）实现 静态关系约束 • 静态关系约束就是在一个关系的元组之间或多个关 系之间定义的联系或约束。 8实体完整性约束 8参照完整性约束 8函数依赖约束 8统计约束 • 实现方法： 8直接在关系模式中定义，存储在数据字典中 8利用CHECK子句实现 8利用触发器（Trigger）实现 8利用事件（Event）实现 动态约束条件 • 动态列级约束 8修改列定义或列值时应满足的约束条件 例：已存在null的列不能改成not null • 动态元组约束 8修改元组的值时元组中各个字段之间应满足的约束条件 例：新工资与原工资满足某个