关系数据库结构及其形式化定义

1.关系

域：是一组具有相同数据类型的值的集合。

笛卡尔积：是域上的一种集合运算。

        给定一组域D1，D2，…，Dn，允许其中某些域是相同的。这组域的笛卡尔积为：
D1×D2×…×Dn ＝｛（d1，d2，…，dn）｜di∈Di，i＝1，2，…，n}。

关系：在域D1，D2，...，Dn上笛卡尔积D1×D2×...，Dn的子集称为关系，表示为：

                  R(D1，D2，...，Dn)。

元组：关系中的每一个元素是关系中的元组。

属性：关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域。由于域可以相同，为了加以区分，必须要对每列起一个名字，称为属性。

候选码：若关系中的某一属性组的值能够唯一地标识一个元组，而其子集不能，则称该属性组为候选码。        

主码：若一个关系有多个候选码，则选定其中一个为主码。

        候选码的诸属性称为主属性，不包含在任何候选码中的属性称为非主属性或非码属性。

外码：设F是基本关系R的一个或一组属性，但不是关系R的码，如果F与基本关系S的主码K，相对应，则称F是基本关系R的外部码，简称外码。

全码：在最极端的情况下，关系模式的所有属性是这个关系模式的候选码，称为全码。

2.关系模式

        关系模式：关系的描述称为关系模式。

        它可以形式化地表示为：R(U，D，DOM，F)

        其中R为关系名，U为组成该关系的属性名集合，D为属性组U中属性所来自的域，DOM为属性向域的映像集合，F为属性间数据的依赖关系集合。

3.关系数据库

        关系数据库：关系数据库也有型和值之分。

关系数据库的型称为关系数据库模式，是对关系数据库的描述，它包括若干域的定义以及在这些域上定义的若干关系模式。

关系数据库的值是这些关系模式在某一时刻对应的集合，通常就称为关系数据库。

关系模式是型；关系是值，是关系模式的实例。

关系模式是对关系的描述，它是静态的、稳定的。
关系则表示关系模式在某一时刻的状态或内容，它是动态的、随时间不断变化的。(考点)