第03章节联系运算与完整性约束.pptVIP

3.4 完整性约束类型 完整性控制是围绕完整性约束条件进行的，根据完整性约束条件的作用对象和状态，可将完整性约束分为以下类型： 静态属性约束：对属性取值的说明。主要包括：数据类型、格式、取值范围、空值的约束 静态元组约束：规定组成一个元组的各列的值之间的约束关系。 静态关系约束：关系的各元组之间或者若干关系之间常常存在各种联系或者约束。实体完整性、参照完整性、函数依赖和统计约束。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.4 完整性约束类型 动态属性约束：修改定义或者修改属性时应满足的约束条件。 动态元组约束：修改某个元组的值时需要参照其旧值，并且新旧值之间需要满足某种约束条件。 动态关系约束：关系变化前后状态上的限制条件。例如：事务一致性约束条件。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.4 完整性控制机制 一个完善的完整性控制机制应该具有以下三个方面的功能： 定义功能：为用户提供定义完整性约束条件的命令或工具。 检查功能：能够自动检查用户发出的操作请求是否违背了完整性约束条件。 违约处理：当发现用户的操作请求违背了完整性约束条件时，能够自动采取一定的措施确保数据的完整性不遭破坏。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.4 完整性控制机制 由于实体完整性的定义和控制比较容易实现，因此，下面主要讨论实现参照完整性需要考虑的几个问题。 外码空值问题 被参照关系中删除元组问题 在参照关系中插入元组问题 元组中主码的修改问题 综上所述，DBMS的参照完整性机制，在提供定义主码和外码机制的同时，还需要提供不同的删除、插入和修改策略供用户选择。至于选择哪种策略，一般根据实际需求确定。 返回 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.5 关系代数 3.5.1 传统的集合运算 3.5.2 专门的关系运算 返回 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 集合 运算 符 ∪ - ∩ × 并 差 交 广义笛卡尔积 比较运算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 运算符 含义 运算符 含义 关系代数运算符 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、并运算：关系R和S的并是一个新的关系，记为R∪S = {t | t?R∨t?S}，它由属于R或属于S的所有元组构成。 2、差运算：关系R和S的差是一个新的关系，记为R-S={t | t?R∧t?S}，它由属于R但不属于S的元组构成。 3、交运算：关系R和S的交是一个新的关系，记为R∩S= { t | t?R∧t?S }，它由属于R同时也属于S的元组构成。 3.5.1 传统的集合运算 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 并 A a1 a1 a2 B b1 b2 b2 C c1 c2 c1 A a1 a1 a1 a2 B b1 b2 b3 b2 C c1 c2 c2 c1 A a1 a1 a2 B b2 b3 b2 C c2 c2 c1 R S R∪S Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Prof