Please enable JavaScript.

Coggle requires JavaScript to display documents.

第二章关系数据库 - Coggle Diagram

- - - - R -S = { t|t∉R∧t∉S }
    - - R∩S = { t|t ∈ R∧t ∈S }
        R∩S = R –(R-S）
    - - R: n目关系，k1个元组
        S: m目关系，k2个元组
        R×S
        列：（n+m）列元组的集合
        元组的前n列是关系R的一个元组
        后m列是关系S的一个元组
        行：k1×k2个元组
        R×S = {tr ts |tr ∈R ∧ ts∈S }
    - - R∪S = { t|t ∈ R∨t ∈S }
- - - - 逻辑结构——二维表：从用户角度，关系模型中数据的逻辑结构是一张二维表
      - 建立在集合代数的基础上
      - 单一的数据结构：现实世界的实体以及实体间的各种联系军用关系来表示
    - - 所有域的所有取值的一个组合；不能重复
      - 元组（笛卡尔积中的每一个元素）
      - 分量：笛卡尔积元素中的每一个值
      - 基数（可看作元组的个数）
    - - 元组（t）：关系中的每个元素是关系中的元组
      - 关系的表示：二维表，每行对应一个元组，每列对应一个域
      - 笛卡尔积D1XD2X...Dn的子集叫作在域D1,D2,...,Dn上的关系
      - 属性：不同列的名字
      - 码
        
        全码：最极端情况，关系模式的所有属性组是这个关系模式的候选码，成为全码
        
        主码：若一个关系有多个候选码，则选定其中一个为主码
        
        候选码：在关系中能唯一标识一个元组的某一属性组
        
        主属性：候选码中的所有属性成为主属性，不包含在任何候选码中的属性成为非主属性或非码属性
    - - 基本关系（基本表）：实际存在的表，史诗级存储数据的逻辑表示
      - 查询表：查询结果对应的表
      - 视图表：由基本表或其他视图表导出的表，是虚表，不对应实际存储的数据
    - - 行的顺序无所谓
      - 分量必须取原子值
      - 任意两个元组的候选码不能取相同的值
      - 列的顺序无所谓
      - 不同的列可出自同一个域：其中的每一列成为一个属性；不同的属性要给予不同的属性名
      - 列是同质的：每一列中的分量是同一类型的数据，来自同一个域
- - - - 外码：是基本关系R的属性（但不是R的码），是基本关系F的主码，将其称为基本关系R的外码
        R为参照关系，F为被参照关系/目标关系
      - 关系间的引用（两个关系间通过外码和主码联系）
      - 参照完整性规则：外码要么去空值，要么是另一个关系的主码
    - - 若属性A是基本关系R的主属性，则属性A不能取空值