文件名称:关系代数-ubuntu 18.04 安装opencv3.4.5的教程(图解)
文件大小:4.99MB
文件格式:PDF
更新时间:2024-07-15 01:58:19
数据库系统概 王珊 课后习题
三、关系的完整性 关系模型的完整性规则是对关系的某种约束条件。关系模型中有三类完整性约束:实体完整性(entity integrity)、参照完整性(referential integrity)和用户定义的完整性(user-defined integnty)。 1.实体完整性 (1)定义 若属性(指一个或一组属性)A 是基本关系 R 的主属性,则 A 不能取空值(null value)。所谓空值就是“不 知道”或“不存在”或“无意义”的值。如果主码由若干属性组成,则所有这些主属性都不能取空值。 (2)规则说明 ①实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。 ②现实世界中的实体是可区分的,即它们具有某种唯一性标识。 ③以主码作为唯一性标识。 ④主属性不能取空值。 2.参照完整性 (1)定义 设 F 是基本关系 R 的一个或一组属性,但不是关系 R 的码,Ks 是基本关系 S 的主码。如果 F 与 Ks 相对应, 则称 F 是 R 的外码(foreign key),并称基本关系 R 为参照关系(referencing relation),基本关系 S 为被参照关系 (referenced relation)或目标关系(target relation)。 (2)参照完整性规则 参照完整性规则就是定义外码与主码之间的引用规则。若属性(或属性组)F 是基本关系 R 的外码,它与基 本关系 S 的主码 Ks 相对应(基本关系 R 和 S 不一定是不同的关系),则对于 R 中每个元组在 F 上的值必须取空 值(F 的每个属性值均为空值),或者等于 S 中某个元组的主码值。 3.用户定义的完整性 用户定义的完整性是针对某一具体关系数据库的约束条件,它反映某一具体应用所涉及的数据必须满足的语 义要求。关系模型应提供定义和检验这类完整性的机制,以便用统一的系统的方法处理它们,而不需由应用程序 承担这一功能。 四、关系代数 关系代数是一种抽象的查询语言,它用对关系的运算来表达查询。运算的三大要素为:运算对象、运算符、运 算结果。关系代数的运算对象是关系,运算结果亦为关系。关系代数用到的运算符包括两类:集合运算符和专门 的关系运算符。 1.传统的集合运算 设关系 R 和关系 S 具有相同的目 n(即两个关系都有 n 个属性),且相应的属性取自同一个域,t 是元组变量, t∈R 表示 t 是 R 的一个元组。 (1)并(Union) 关系 R 与关系 S 的并记作: { | }R S t t R t S 其结果仍为 n 目关系,由属于 R 或属于 S 的元组组成。 (2)差(Except) 关系 R 与关系 S 的差记作: { | }R S t t R t S 20