第二章 关系数据库的学习（一）

2.1 关系数据结构及形式化定义     2.1.1 关系
单一的数据结构———关系
现实世界的实体以及实体间的各种联系均用关系来表示。

逻辑结构————二维表
从用户角度，关系模型中数据的逻辑结构是一张二维表。
关系模型是建立在集合代数的基础上。

1，域（Domain）。
定义：域是一组具有相同数据类型的值的集合。

2，笛卡尔积（Cartesian Product）
定义：给定一组域D1，D2，...，Dn，这些域可以是相同的。D1，D2，...，Dn的笛卡尔积为：
D1 X D2 X ... X Dn={(d1，d2，...，dn)|di∈Di，i=1，...，n}所有域的所有取值的一个组合。

3，元组（Tuple）
笛卡尔积中每一个元素（d1，d2，...，dn）称作一个n元组（n-tuple）或简称元组（Tuple）。

4，分量（Component）
笛卡尔积元素（d1，d2，...，dn）中的每一个di称作一个分量。

5，基数（Cardinal number）
定义:我们在数据库中有表。在关系数据库中，我们有表之间的关系。这些关系可以是一对一、一对多或多对多。这些关系被称为“基数”。
可以理解为这个域里能取几个值。比如D1域有2个值，D2域有2个值，D3域有3个值。则D1 X D2 X D3的基数为12

6，笛卡尔积的表示方法：笛卡尔积可表示为一个二维表，表中的每行对应一个元组，表中的每列对应一个域。

（1）关系
D1 X D2 X ... X Dn的子集称做在D1，D2，...，Dn上的关系，表示为R（D1，D2，...，Dn）。
R表示关系名，n表示关系的目或度（Degree）列：学生信息（学号，姓名，成绩）。

（2）元组
关系中的每个元素是关系中的元组，通常用t表示。元组也可以理解为二维表中的行。

（3）单元关系与二元关系
当n=1时，称该关系为单元关系或一元关系。
当n=2时，称该关系为二元关系

（4）关系的表示
关系也是一个二维表，表的每行对应一个元组，表的每列对应一个域，一个属性。

（5）属性
关系中不同列可以对应相同的域，为了加以区分，必须对每个列起一个名字，称为属性（Attribute）。
n目关系必有n个属性。

（6）码
候选码（Gandidate key）：若关系中的某个属性组的值能唯一地标识一个元组，则称该属性组为候选码。
简单的情况：候选码只包含一个属性。

全码（ALL-key）：最极端的情况：关系模式的所有属性组是这个关系模式的候选码，称为全码（ALL-key）。所有的属性都是码。

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

主属性：候选码的诸属性称为主属性。

非主属性：不包含在任何候选码中的属性或非码属性。

（7）三类关系
1，基本关系（基本表或基表）：实际存在的表，是实际存储数据的逻辑表示。

2，查询表：查询结果对应的表。

3，视图表：由基本表或其他视图表导出的表，是虚表，不对应实际的存储的数据。

（8）基本关系的性质
1，列是同质的（Homogeneous）；

2，不同的列可出自一个域，其中的每一列称为一个属性，不同的属性要给予不同的属性名；

3，列的顺序无所谓，列的次序可以任意交换；

4，任意两个元组的候选码不能相同；

5，行的顺序无所谓，行的次序可以任意交换；

6，分量必须取原子值，这是规范条件中最基本的一条；