关系的性质 ●每一分量必须是不可分的最小数据项,即每个属性都是不 可再分解的,这是关系数据库对关系的最基本的限定。 ●列的个数和每列的数据类型是固定的,即每一列中的分量 是同类型的数据,来自同一个值域 ●不同的列可以出自同一个值域,每一列称为属性,每个属 性要给予不同的属性名。 ●列的顺序是无关紧要的,即列的次序可以任意交换,但 定是整体交换,属性名和属性值必须作为整列同时交换。 ●行的顺序是无关紧要的,即行的次序可以任意交换。 元组不可以重复,即在一个关系中任意两个元组不能完全 样
关系的性质 ⚫ 每一分量必须是不可分的最小数据项,即每个属性都是不 可再分解的,这是关系数据库对关系的最基本的限定。 ⚫ 列的个数和每列的数据类型是固定的,即每一列中的分量 是同类型的数据,来自同一个值域。 ⚫ 不同的列可以出自同一个值域,每一列称为属性,每个属 性要给予不同的属性名。 ⚫ 列的顺序是无关紧要的,即列的次序可以任意交换,但一 定是整体交换,属性名和属性值必须作为整列同时交换。 ⚫ 行的顺序是无关紧要的,即行的次序可以任意交换。 ⚫ 元组不可以重复,即在一个关系中任意两个元组不能完全 一样
关系模型的完整性约束 ●实体完整性规则 ●参照完整性规则 ●用户定义完整性 ●完整性约束的作用
关系模型的完整性约束 ⚫ 实体完整性规则 ⚫ 参照完整性规则 ⚫ 用户定义完整性 ⚫ 完整性约束的作用
实体完整性规则 ●实体完整性是要保证关系中的每个元组都是可识别 和唯一的 ●实体完整性规则的具体内容是:若属性A是关系R的 主属性,则属性A不可以为空值。 ●实体完整性是关系模型必须满足的完整性约束条件, 也称作是关系的不变性。 ●关系数据库管理系统可以用主关键字实现实体完整 性,这是由关系系统自动支持的
实体完整性规则 ⚫ 实体完整性是要保证关系中的每个元组都是可识别 和唯一的。 ⚫ 实体完整性规则的具体内容是:若属性A是关系R的 主属性,则属性A不可以为空值。 ⚫ 实体完整性是关系模型必须满足的完整性约束条件, 也称作是关系的不变性。 ⚫ 关系数据库管理系统可以用主关键字实现实体完整 性,这是由关系系统自动支持的
对实体宠整性舰则的几点明 ●实体完整性规则是针对关系而言的,而关系则对应 个现实世界中的实体集。例如,仓库关系对应现 实世界中的仓库实体集 ●现实世界中的实体是可区分的,它们具有某种标识 特征;相应地,关系中的元组也是可区分的,在关 系中用主关键字做唯一性标识。 ●主关键字中的属性、即主属性不能取空值。如果主 属性取空值,则意味着关系中的某个元组是不可标 识的,即存在不可区分的实体,这与实体的定义也 是矛盾的
对实体完整性规则的几点明 ⚫ 实体完整性规则是针对关系而言的,而关系则对应 一个现实世界中的实体集。例如,仓库关系对应现 实世界中的仓库实体集。 ⚫ 现实世界中的实体是可区分的,它们具有某种标识 特征;相应地,关系中的元组也是可区分的,在关 系中用主关键字做唯一性标识。 ⚫ 主关键字中的属性、即主属性不能取空值。如果主 属性取空值,则意味着关系中的某个元组是不可标 识的,即存在不可区分的实体,这与实体的定义也 是矛盾的
参照完整性规则 ●现实世界中的实体间存在着某种联系,而在关系模 型中实体是用关系描述的、实体之间的联系也是用 关系描述的,这样就自然存在着关系和关系之间的 参照或引用。 ●参照完整性也是关系模型必须满足的完整性约束条 件,是关系的另一个不变性。 ●通过一个例子来说明什么是参照完整性
参照完整性规则 ⚫ 现实世界中的实体间存在着某种联系,而在关系模 型中实体是用关系描述的、实体之间的联系也是用 关系描述的,这样就自然存在着关系和关系之间的 参照或引用。 ⚫ 参照完整性也是关系模型必须满足的完整性约束条 件,是关系的另一个不变性。 ⚫ 通过一个例子来说明什么是参照完整性