2.1.2关系模式 ■关系模式是对关系的描述。 ■关系是元组的集合，因此关系模式必须指出这个元组集合 的结构，即它由哪些属性构成，这些属性来自哪些域，以 及属性与域之间的映象关系。 ■现实世界的许多已有事实限定了关系模式所有可能的关系 必须满足一定的完整性约束。 ■这些约束或者通过对属性取值范围的限定，或者通过属性 值间的相互关连反映出来。关系模式应当刻划出这些完整 性约束条件。 ■因此一个关系模式应当是一个5元组
2.1.2 关系模式 ◼ 关系模式是对关系的描述。 ◼ 关系是元组的集合，因此关系模式必须指出这个元组集合 的结构，即它由哪些属性构成，这些属性来自哪些域，以 及属性与域之间的映象关系。 ◼ 现实世界的许多已有事实限定了关系模式所有可能的关系 必须满足一定的完整性约束。 ◼ 这些约束或者通过对属性取值范围的限定，或者通过属性 值间的相互关连反映出来。关系模式应当刻划出这些完整 性约束条件。 ◼ 因此一个关系模式应当是一个5元组
2.1.2关系模式 ■定义：关系的描述称为关系模式。它可以形式化地表示为： R (U,D,dom,F) 其中：R为关系名，U为组成该关系的属性名集合，D为属 性组U中属性所来自的域，dom为属性向域的映象集合，F 为属性间数据的依赖关系集合。 ■关系模式简记为 R(U)或R(A,A2,,An) 其中R为关系名，A1,A2,…,A为属性名。而域名及属 性向域的映象常常直接说明为属性的类型、长度
2.1.2 关系模式 ◼ 定义：关系的描述称为关系模式。它可以形式化地表示为： R（U，D，dom，F） 其中：R为关系名，U为组成该关系的属性名集合，D为属 性组U中属性所来自的域，dom为属性向域的映象集合，F 为属性间数据的依赖关系集合。 ◼ 关系模式简记为 R（U）或R（A1，A2，…，An） 其中R为关系名， A1，A2，…，An为属性名。而域名及属 性向域的映象常常直接说明为属性的类型、长度
关系模式与关系 ■关系模式是型，关系是值。 ■关系是关系模式在某一时刻的状态或内容。 ■关系模式是静态的、稳定的。 ■关系是动态的、随时间变化的。 ■关系数据库
关系模式与关系 ◼ 关系模式是型，关系是值。 ◼ 关系是关系模式在某一时刻的状态或内容。 ◼ 关系模式是静态的、稳定的。 ◼ 关系是动态的、随时间变化的。 ◼ 关系数据库
2.2关系的完整性 ■关系模型的完整性规则是对关系的某种约束条件。 ■关系模型中三类完整性约束： 实体完整性 参照完整性 用户定义的完整性 ■实体完整性和参照完整性是关系模型必须满足的完整 性约束条件，被称作是关系的两个不变性，应该由关 系系统自动支持
2.2 关系的完整性 ◼ 关系模型的完整性规则是对关系的某种约束条件。 ◼ 关系模型中三类完整性约束： 实体完整性 参照完整性 用户定义的完整性 ◼ 实体完整性和参照完整性是关系模型必须满足的完整 性约束条件，被称作是关系的两个不变性，应该由关 系系统自动支持
2.2.1实体完整性 ■ 实体完整性规则：若属性A是基本关系R的主属性，则 属性A不能取空值。 例：SAP(导师，专业，研究生) “研究生”属性为主码（假设研究生不会重名)，则该属性不 能取空值 选修（学号，课程号，成绩） “学号、课程号”为主码，则侧两个属性都不能取空值。 注意：实体完整性规则规定基本关系的所有主属性都不能取空 值
2.2.1 实体完整性 ◼ 实体完整性规则：若属性A是基本关系R的主属性，则 属性A不能取空值。 例：SAP(导师，专业，研究生) “研究生”属性为主码（假设研究生不会重名），则该属性不 能取空值 选修（学号，课程号，成绩） “学号、课程号”为主码，则两个属性都不能取空值。 注意：实体完整性规则规定基本关系的所有主属性都不能取空 值