关系数据库系统模型

一、关系:

              域:一组具有相同数据类型的值的集合

              笛卡尔积:域的遍历乘积，构成一个二维表，子集为全集的关系(Relation)

              关系:笛卡尔积的有限子集，也是一个二维表

              元组：行（二维表）

              属性：列（二维表）

             候选码(CK)： 唯一标识元组的属性或属性组（简单情况下候选码只包含一个属性；极端                 情况下关系模式的所有属性组成关系模式候选码，为全码）

             主码(PK):某某一个候选码(实体完整性)

             外码(FK):不不同基表间的相同属性联系(参照完整性)

二、类型:

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

三、关系性质

1. 列的同质性：每列中的分量是同一类型的数据，来自同一个域
   1. 分量原子性：分量值是原子的，即每个分量都必须是不可分的数据项。
   2. 列序的无关性：列的次序可以互换。
   3. 行序的无关性：行的次序可以互换。
   4. 元组相异性：关系中任意两个元组的候选码不能相同。
   5. 列名唯一性：每列具有不同的属性名，但不同列的值可以来自同一个域。

四、规范化

     关系模型要求关系必须是规范化（ Normalization ）的，规范化要求关系必须满足规范条件，而在规范条件中最基本的一条是每个分量必须是不可分的数据项。规范系简称为范式

                     规范化(范式) 每个分量必须是不可分的数据项(不能”表中表“)

                     表示:R(A1， A2，A3...An),其中R是关系名&#