第五章完整性控制解析.pptVIP

第五章 数据库完整性 数据库的完整性 数据库的完整性：是指数据的正确性、有效性和相容性。 说明：完整性是为了防止数据库中存在不符合语义的数据，防止错误信息的输入和输出。 数据库完整性 数据库的完整性 数据的正确性和相容性 数据的完整性和安全性是两个不同概念 数据的完整性 防止数据库中存在不符合语义的数据，也就是防止数据库中存在不正确的数据 防范对象：不合语义的、不正确的数据 数据的安全性 保护数据库防止恶意的破坏和非法的存取 防范对象：非法用户和非法操作 数据库完整性 数据库的完整性 数据库完整性约束条件：加在数据库数据之上的语义约束条件。 完整性检查：在DBMS中检查数据是否满足完整性条件的机制。 违约处理：DBMS若发现用户的操作违背了完整性约束条件，采取一定的动作，如拒绝该操作或级联执行其他操作来保证数据的完整性。 数据库完整性 DBMS的完整性控制机制应具有三个方面的功能： （1）定义功能：提供定义完整性约束条件的机制。 （2）检查功能：检查用户发出的操作请求是否违背 了完整性约束条件。 （3）防范功能：如果发现用户的操作请求使数据违 背了完整性约束条件，采取一定的动作来保证 数据的完整性。 完整性定义 DBMS应提供定义数据库完整性约束条件，并把它们作为模式的一部分存入数据库中。 完整性定义（续） 一条完整性规则可以用一个五元组 (D，O，A，C，P)表示： （1）D(Data) 约束作用的数据对象； （2）O(Operation) 触发完整性检查的数据库操作，即当用户 发出什么操作请求时需要检查该完整性规则，是立即检查 还是延迟检查； （3）A(Assertion) 数据对象必须满足的断言或语义约束，这 是规则的主体； （4）C(Condition) 选择A作用的数据对象值的谓词； （5）P(Procedure) 违反完整性规则时触发的过程。 完整性定义（续） 例1：在“学号不能为空”的约束中 D 约束作用的对象为Sno属性 O 插入或修改Student 元组时 A Sno不能为空 C 无（A可作用于所有记录的Sno属性） P 拒绝执行该操作 完整性定义（续） 例2: 在“教授工资不得低于1000元”的约束中： D 约束作用的对象为工资Sal属性 O 插入或修改职工元组时 A Sal不能小于1000 C 职称=教授 (A仅作用于职称=教授的记录) P 拒绝执行该操作 完整性检查 检查用户发出的操作请求是否违背了完整性约束条件。 完整性检查（续） 完整性的语义约束和检查： （1）立即执行约束：检查是否违背完整性约束的时机通常是在一条语句执行完后立即检查。 （2）延迟执行约束：完整性检查延迟到整个事务执行结束后再进行，检查正确方可提交。 （3）在事务的某些特定检查点检查。 （4）在一个维护操作请求之后且执行之前检查。 （5）在DBA或审计员发出检查请求时。 完整性检查（续） 例：银行数据库中“借贷总金额应平衡”的约 束就应该是延迟执行的约束。 从账号A转一笔钱到账号B为一个事务，从账号A转出去钱后账就不平了，必须等转入账号B后账才能重新平衡，这时才能进行完整性检查。 违约处理 如果发现用户的操作请求使数据违背了完整性约束条件，则采取一定的动作来保证数据的完整性。 违约处理（续） 违反实体完整性规则和用户定义的完整性规则的操作： 一般是拒绝执行 违反参照完整性的操作： 拒绝执行 接受这个操作，同时执行一些附加的操作，以保证数据库的状态正确 第五章 数据库完整性 5.1 实体完整性 5.2 参照完整性 5.3 用户定义的完整性 5.4 完整性约束命名字句 *5.5 域中的完整性限制 5.6 触发器 5.7 小结 5.1 实体完整性 5.1.1 实体完整性定义 5.1.2 实体完整性检查和违约处理 5.1.1 实体完整性定义 关系模型的实体完整性 CREATE TABLE中用PRIMARY KEY定义 单属性构成的码有两种说明方法 定义为列级约束条件 定义为表级约束条件 对多个属性构成的码只有一种说明方法 定义为表级约束条件 实体完整性定义(续) [例1]将Student表中的Sno属性定义为码 (1)在列级定义主码 CREATE TABLE Student (Sno CHAR(9) PRI