关系数据库

关系模型的数据结构非常简单，单一的数据结构–关系。
在用户看来，关系模型中数据逻辑结构是一张扁平的二维表。
1.域
域是一组具有相同类型的值的集合。
2.笛卡尔积
笛卡尔积是域上面的一种集合运算。
给定一组域D1,D2,D3,….,Dn，这些域中可以是相同的域。D1,D2,…Dn的笛卡尔积为D1xD2x…xDn={(d1,d2,d3,…,dn)|di属于Di,i=1,2,3,…,n}
元素中的每一个值di叫做一个分量。
3.关系
定义2.3 D1xD2xD3x…Dn的子集叫做域D1,D2,…,Dn上的关系，表示为R(D1,D2,…,Dn),这里R表示关系的名字，n是关系的目或度。
若关系中某一属性组的值能唯一地标识一个元组，则称该属性组为候选码。
若一个关系有多个候选码，则选定其中一个为主码。
候选码的诸属性称为主属性。不包含任何候选码中的属性称为非主属性或非码属性。
最简单的情况下，候选码只包含一个属性。在最极端的情况下，关系模式的所有属性是这个关系模式的候选码，成为全码。
关系可以有三种类型：基本类型（基本表或基表）、查询表和视图表。

• 基本表是实际存在的表，它是实际存储数据逻辑表示。
• 查询表是查询结果对应的表。
• 视图表是由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据。

按照定义2.2，关系可以是一个无限集合。由于笛卡尔积不满足交换律。所以按照数学定义，(d1,d2,…,dn)！=(d2,d1,…,dn)。当关系作为关系数据模型的数据结构时，需要基于如下的限定和扩充：

1. 无限关系在数据库系统中是无意义的。因此，限定关系数据模型中的关系必须是有限集合。
2. 通过为关系的每个列附加一个属性名的方式取消关系元组有序性，即（d1,d2,…,di,dj,…dn）=(d1,d2,…,dj,di,…,dn)

因此基本关系必须具有以下6条性质。

• 列是同质的，即每一列中的分量是同一类型的数据，来自通过一个域。
• 不同的列可出自同一个域，称其中的每一列为一个属性，不同的属性要给予不同属性名。
• 列的顺序无所谓，即列的次序可以任意交换。
• 任意两个元组的候选码不能相同。
• 行的顺序无所谓，即每一个分量都必须是不可分的数据项。

关系模型要求关系必须是规范化的，即要求关系必须满足一定的规范条件。这些条件中最基本的一条就是，关系的每一个分量必须是一个不可分的数据项。规范化关系简称为范式。
在许多实际关系数据库产品中，基本表并不完全具有这6条性质。
有的数据库产品仍然区分了属性顺序和元组顺序；有的关系数据库产品中允许关系表中存在两个完全相同的元组，除用户特别定义了相应的约束条件。

关系的描述称为关系模式。它可以形式化地表示为R(U,D,DOM,F)
其中R为关系名，U为组成该关系的属性名集合，D为属性组U中属性所来自的域，DOM为属性向的映像集合，F为属性间数据的依赖关系集合。

2.2关系操作

基本的关系操作：
关系模型中常用的关系操作包括查询，插入，删除，修改操作两大部分。