数据库---关系数据库

关系数据库是支持关系模型的数据库系统。

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

关系

• 关系模型的数据结构就是关系。关系的逻辑结构是一张二维表，行对应一个元组，列对应一个域。现实世界的实体以及实体间的各种联系均用关系来表示。

• 域（Domain）：具有相同数据类型的值的集合，域的概念用数据类型来实现。

  笛卡尔积：给定一组域D₁，D₂，…，D_n，这些域中可以有相同的。D₁，D₂，…，D_n的笛卡尔积为D₁×D₂…×D_n ＝｛（d₁，d₂，…，d_n）｜d_i∈D_i，i＝1，2，…，n}。一般来说D₁，D₂，…，D_n的笛卡尔积是没有意义的，它的某个真子集才有实际含义。

  元组：笛卡尔积的每一个元素（d₁，d₂，…，d_n）叫做一个n元组，简称为元组。

  分量（Component）：笛卡尔积元素（d1，d2，…，dn）中的每一个值di叫作一个分量。

  基数（Cardinal number）：一个域允许的不同取值的个数。若D_i（i＝1，2，…，n）为有限集，其基数为mi（i＝1，2，…，n）则D₁×D₂×…×D_n的基数M为：m1*m2…。

  关系：D₁×D₂×…×D_n的子集叫做在域D₁，D₂，…，D_n上的关系，表示为R(D₁，D₂，…，D_n)。这里的R是关系的名字，n为关系的目或度（Degree）当n=1时，称该关系为单元关系（Unary relation）或一元关系，当n=2时，称该关系为二元关系（Binary relation）。

  属性（Attribute）：关系中不同列可以对应相同的域，称为属性，n目关系必有n个属性。

  候选码（Candidate key）：该属性组的值能唯一地标识一个元组而其子集不能。简单的情况：候选码只包含一个属性。最极端的情况：关系模式的所有属性组是这个关系模式的候选码，称为全码（All-key）。

  主码（Primary key）：若一个关系有多个候选码，则选定其中一个为主码，候选码的诸属性称为主属性（Prime attribute），不包含在任何侯选码中的属性称为非主属性（ Non-Prime attribute）或非码属性（Non-key attribute） 。

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

• 无限的关系在数据库系统中是没有意义的。

• 通过为关系的每个列附加一个属性名的方法取消关系属性的有序性。

• 基本关系的性质
  列是同质的（Homogeneous）：每一列中的分量是同一类型的数据，来自同一个域。

  不同的列可出自同一个域，其中的每一列称为一个属性。

  不同的属性要给予不同的属性名。

  列的顺序无所谓,，列的次序可以任意交换。

  任意两个元组的候选码不能相同。

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

  分量必须取原子值（规范化）。

关系模式

• 关系模式：对关系的描述，元组集合的结构（属性构成，属性来自的域，属性与域之间的映象关系），元组语义以及完整性约束条件，属性间的数据依赖关系集合。

• 表示：R（U，D，DOM，F）关系模式通常可以简记为R (U) 或R (A1，A2，…，An)
  R：关系名
  U：组成该关系的属性名集合
  D：属性组U中属性所来自的域
  DOM：属性向域的映象集合
  F：属性间的数据依赖关系集合
  A1，A2，…，An : 属性名

关系数据库

• 关系数据库：在一个给定的应用领域中，所有关系的集合构成一个关系数据库.

• 关系数据库的型: 关系数据库模式，对关系数据库的描述。若干域的定义，在这些域上定义的若干关系模式。

  关系数据库的值: 关系模式在某一时刻对应的关系的集合，简称为关系数据库。

关系模型的存储结构

• 有的关系数据库管理系统中一个表对应一个OS文件，将物理数据组织交给OS完成，有的关系数据库管理系统从OS那里申请若干个大的文件，自己划分文件的空间，组织表、索引等存储结构，并进行存储管理。

关系操作

• 常用的关系操作：查询和插入、删除、修改两大部分。
• 关系操作的特点是集合操作方式，操作的对象和结果都是集合。，也称为一次一集合的方式。

基本的关系操作

• 基本操作：选择、投影、并、差、笛卡尔积。其他的操作可以用基本操作来定义和导出。

关系数据语言分析

• 关系代数用对关系的运算来表达查询要求。关系演算用谓词来表达查询要求。
• 一个关系数据语言能够表示关系代数可以表示的查询，称为具有完备表达能力，简称关系完备性。关系代数，元组关系演算和域关系演算在表达能力上是等价的，都具有完备的表达能力。
• 实际的查询语言除了提供关系代数或关系演算的功能外，还提供了许多附加功能（聚集函数，关系赋值，算术运算等）。
• 结构化查询语言SQL不仅具有丰富的查询功能，而且具有数据定义和数据控制功能，是。、66集查询，数据定义语言，数据操纵语言和数据控制语言于一体的关系数据语言。
• SQL是高度非过程化的语言，用户不必请求DBA为其建立特殊的存取路径，存取路径的选择由关系数据库管理系统的优化机制来完成。
• 关系数据库系统中研究和开发了查询优化的方法，系统可以自动的选择较优的存取路径，提高查询效率。

关系的完整性

• 实体完整性和参照完整性：关系模型必须满足的完整性约束条件，称为关系的两个不变性，应该由关系系统自动支持。
• 用户定义的完整性：应用领域需要遵循的约束条件，体现了具体领域中的语义约束 。

实体完整性

• 实体完整性
  若属性A是基本关系R的主属性，则属性A不能取空值。空值就是“不知道”或“无意义”。若主码由若干个属性组成，则所有的这些属性都不能取空值。

  实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。

  现实世界中的实体是可区分的，即它们具有某种唯一性标识。

  关系模型中以主码作为唯一性标识。

参照完整性

• 参照完整性
  在关系模型中实体及实体间的联系是用关系来描述的，可能存在关系与关系间的引用。

  不仅两个或两个以上的关系之间可以存在引用，同一关系内部的属性间也可能存在引用关系。

  外码：设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码K_s相对应，则称F是基本关系R的外码。基本关系R称为参照关系（Referencing Relation），基本关系S称为被参照关系（Referenced Relation）或目标关系（Target Relation），关系R和S不一定是不同的关系。

  目标关系S的主码K_s和参照关系的外码F必须定义在同一个（或一组）域上，外码并不一定要与相应的主码同名，当外码与相应的主码属于不同关系时，往往取相同的名字，以便于识别。

  规则：若属性（或属性组）F是基本关系R的外码它与基本关系S的主码K_s相对应，则对于R中每个元组在F上的值必须为：或者取空值（F的每个属性值均为空值），或者等于S中某个元组的主码值。

用户定义的完整性

• 用户定义的完整性
  针对某一具体关系数据库的约束条件，反映某一具体应用所涉及的数据必须满足的语义要求，关系模型应提供定义和检验这类完整性的机制，以便用统一的系统的方法处理它们，而不要由应用程序承担这一功能。

关系代数

• 关系代数的运算对象是关系，运算结果也是关系。

传统的集合运算

R和S具有相同的目n（即两个关系都有n个属性），相应的属性取自同一个域，t是元组变量，t∈R表示t是R的 一个元组。

• 并（Union）
  R∪S 仍为n目关系，由属于R或属于S的元组组成。
  

• 差（Difference）
  R - S 仍为n目关系，由属于R而不属于S的所有元组组成。
  

• 交（Intersection）
  R∩S仍为n目关系，由既属于R又属于S的元组组成。
  

• 笛卡尔积（Cartesian Product）R×S
  严格地讲应该是广义的笛卡尔积（元素是元组）。R: n目关系，k₁个元组。S: m目关系，k₂个元组。R×S 的结果是（n+m）列元组的集合，前n列是关系R的一个元组，后m列是关系S的一个元组。共有k1×k2个元组。

专门的关系运算

• t[A_i]表示元组t中相应于属性A_i的一个分量。

  若A={A_i1，A_i2，…，A_ik}，其中A_i1，A_i2，…，A_ik是A₁，A₂，…，A_n中的一部分，则A称为属性列或属性组。t[A]=(t[A_i1]，t[A_i2]，…，t[A_ik])表示元组t在属性列A上诸分量的集合。A#则表示{A₁，A₂，…，A_n}中去掉{A_i1，A_i2，…，A_ik}后剩余的属性组。

  R为n目关系，S为m目关系。t_r∈R，t_s∈S， t_r t_s称为元组的连接（串接）。 t_r t_s是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。

  给定一个关系R（X，Z），X和Z为属性组。当t[X]=x时，x在R中的象集（Images Set）为：Z_x={t[Z]|t∈R，t[X]=x}，它表示R中属性组X上值为x的诸元组在Z上分量的集合。

• 选择（Selection） （又称为限制 Restriction）（行的角度）：在关系R中选择满足给定条件的诸元组。
  
  F是选择条件，是一个逻辑表达式，基本形式为：

  θ表示比较运算符，X₁和Y₁是属性名，或为常量，或为简单函数。在基本的选择条件上可以进一步进行逻辑运算。
  

• 投影（Projection） ：从R中选择出若干属性列组成新的关系。投影之后不仅取消了原关系中的某些列，而且还可能取消某些元组（避免重复行）
  
  A：R中的属性列。

• 连接（Join） （也称为θ连接）：从两个关系的笛卡尔积中选取属性间满足一定条件的元组。
  
  A和B分别为R和S上度数相等且可比的属性组。θ比较运算符。连接运算从R和S的广义笛卡尔积R×S中选取（R关系）在A属性组上的值与（S关系）在B属性组上值满足比较关系θ的元组。

  等值连接（行的角度）（equijoin）：θ为“＝”的连接运算称为等值连接。从关系R与S的广义笛卡尔积中选取A、B属性值相等的那些元组。
  

  自然连接（Natural join）（行和列的角度）：自然连接是一种特殊的等值连接，两个关系中进行比较的分量必须是同名的属性组，在结果中把重复的属性列去掉。R和S具有相同的属性组B，U为R和S全体属性的集合。
  
  两个关系R和S在做自然连接时，选择两个关系在公共属性上值相等的元组构成新的关系。此时，关系R中某些元组有可能在S中不存在公共属性上值相等的元组，从而造成R中的这些元组在操作时被舍弃，同样，S中的某些元组也可能被舍弃，这些被舍弃的元组称为悬浮元组。

  外连接：如果把舍弃的元组也保存在结果关系中，而在其他属性上填空值(Null)，这种连接就叫做外连接（OUTER JOIN）。

  左外连接：如果只把左边关系R中要舍弃的元组保留就叫做左外连接(LEFT OUTER JOIN或LEFT JOIN)

  右外连接：如果只把右边关系S中要舍弃的元组保留就叫做右外连接(RIGHT OUTER JOIN或RIGHT JOIN)。

• 除（行和列角度）（Division）
  假设关系R除以关系S的结果为T，则T包含所有在R中但不在S中的属性及其值，且T的元组与S的元组的所有组合都在R中。

  给定关系R (X，Y) 和S (Y，Z)，其中X，Y，Z为属性组。R中的Y与S中的Y可以有不同的属性名，但必须出自相同的域集。R与S的除运算得到一个新的关系P(X)，P是R中满足下列条件的元组在 X 属性列上的投影：元组在X上分量值x的象集Y_x包含S在Y上投影的集合。
  

  Y_x：x在R中的象集，x = t_r[X]。