数据库系统课件第五章数据库完整性幻灯片.pptVIP

* 回顾 视图：从基本表（或视图）导出的虚表，属于外模式 创建/删除：CREATE VIEW / DROP VIEW 查询/更新：实体化、消解；行列子集视图一定可更新 作用：简化操作、多角度理解数据、逻辑独立性、安全保护 数据库安全控制机制 用户标识与鉴别 自主存取控制 DAC：授权 GRANT、回收 REVOKE、角色 强制存取控制 MAC：主体客体分级 视图机制：与授权机制配合使用 审计、数据加密、统计数据库的特殊机制 第五章 数据库完整性 * 第五章 数据库完整性 数据库的完整性 数据的正确性和相容性 完整性控制是DBMS提供的保证数据库中的数据完整性的机制，目的在于保证合法用户对数据的正确使用，防止不合语义的数据被输入到数据库而造成数据的不一致性 数据的完整性和安全性是两个不同概念 数据的完整性（数据是否一致） 防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据 防范对象：不合语义的、不正确的数据 数据的安全性（数据能否访问） 保护数据库防止恶意的破坏和非法的存取 防范对象：非法用户和非法操作 * 第五章 数据库完整性 完整性控制机制 完整性约束条件定义机制 完整性约束条件：也称完整性规则，是数据模型的组成部分，约束数据库中数据的语义 DBMS应提供定义数据库完整性约束条件的机制，并把它们作为模式的一部分存入数据库中 完整性检查机制 由DBMS提供，检查用户发出的操作请求是否违背完整性约束条件 违约处理 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的措施来保证数据的完整性 关系数据库的三类完整性约束 实体完整性、参照完整性、用户定义的完整性 * 第五章 数据库完整性 本章内容 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束命名子句 5.5 域中的完整性限制 5.6 触发器 * 5.1 实体完整性 实体完整性定义 CREATE TABLE时用PRIMARY KEY定义 列级：PRIMARY KEY 表级：PRIMARY KEY (主码属性组) 单属性构成的码：定义为列级或表级约束条件 多属性构成的码：只可定义为表级约束条件 实体完整性检查和违约处理 当插入记录或更新主码列时，DBMS自动进行检查： (1)主码值是否唯一，如果不唯一则拒绝插入或修改 (2)主码的各个属性值是否为空，有空值就拒绝插入或修改 为了检查记录中主码值是否唯一，一般都在主码上自动建立一个索引，以提高检查效率 * 5.2 参照完整性 参照完整性定义 在CREATE TABLE时定义 列级：REFERENCES 表名 (列名) 表级：FOREIGN KEY (列名) REFERENCES 表名 (列名) [例1] 定义SC中的参照完整性 　CREATE TABLE SC ( Sno CHAR(5) REFERENCES S(Sno) , Cno CHAR(3) , Grade INT, 　 PRIMARY KEY (Sno, Cno) , 　 FOREIGN KEY (Sno) REFERENCES S(Sno) , FOREIGN KEY (Cno) REFERENCES C(Cno) ) ; * 5.2 参照完整性 参照完整性检查和违约处理 可能破坏参照完整性的情况及违约处理 可能情况 违约处理 在参照表中插入元组 拒绝 在参照表中修改外码值 拒绝 在被参照表中删除元组 拒绝/级联删除/设置为空值 在被参照表中修改主码值 拒绝/级联修改/设置为空值 可在参照完整性定义中显式说明，方式： ON 更新操作 NO ACTION / CASCADE / SET NULL 如无显式说明，则默认为拒绝执行（NO ACTION） * 5.2 参照完整性 [例2] 显式说明参照完整性的违约处理示例 CREATE TABLE SC (Sno CHAR(9) NOT NULL, /*NOT NULL可以省略*/ Cno CHAR(4) NOT NULL, /*NOT NULL可以省略*/ Grade SMALLINT, PRIMARY KEY (Sno, Cno), FOREIGN KEY (Sno) REFERENCES Student(Sno) ON DELETE CASCADE /*级联删除SC表中相应的元组*/ ON UPDATE CASCADE, /*级联修改SC表中相应的元组*/