3.2 关系数据模型的形式化定义

四川农业大学潘勇浩制作?码

如果关系R的一个属性组F不是R的主码，但F与另一关系S(R和S可以是同一关系)的主码相对应，则称F为关系R的外码(Foreign key)。并称关系R为参照关系(referencing relation)，关系S称为被参照关系(referenced relation)。

参照关系

学生选课被参照关系

姓名张三李四王五

课程号K01K02K01外码

课课程号课程名学分程K01数据结构3

学号

980019800298003

K02K03主码

软件工程数据库43

第9页3.3 关系模式与关系数据库

四川农业大学潘勇浩制作?关系模式

关系的结构描述称为关系模式(Relation schema)，它可以形式化地表示为一个五元组:

R（U，D，DOM，F ）

其中R为关系名, U为组成该关系的属性的集合，D为属性组U中属性所来自的域，DOM为属性向域的映象集合，F为属性间数据的依赖关系的集合。关系模式通常可以简记为

R（U ）或者R（A1，A2，…，An）其中Ai为属性名。

第10页3.3 关系模式与关系数据库四川农业大学潘勇浩制作?关系模式ST学号98001980029800398004980059800698007姓名性别年龄张明男29李华女30王军男28孙六女27赵龙女18周艺女22钟伟男19系CSMAISISCSMACS关系学生学号姓名系名9801980298039804980598069807张明IS赵龙CS陈然MA李科IS王军IS朱成IS黄沙CSST(学号,姓名,性别,年龄,系)

关系模式学生(学号,姓名,系名)

第11页3.4 关系模型的完整性约束

四川农业大学潘勇浩制作?关系模型的完整性规则

实体完整性(Entity integrity)：主码值不能取空值。参照完整性(Referential integrity)：若F是关系R的外码，则F的取值要么为空，要么取被参照关系S的某一主码值。用户自定义的完整性(User-Defined integrity)：用户按实际需要对属性或元组定义的规则或条件。

参照关系

学生选课被参照关系

学号980019800298003姓名张三李四王五课程号K01K02K01外码

课课程号课程名学分程K01数据结构3

K02

K03主码

软件工程数据库43

第12页