关系数据库第二章

关系数据库第二章的思维导图，包含关系数据结构级形式化定义：关系、关系模式；关系操作、关系的完整性等。

关系数据库

• 关系数据结构级形式化定义
  • 关系
    • 域：一组具有相同数据类型的值的集合
    • 笛卡尔积
    • 关系
      • 关系中的某一属性组的值能唯一的表示一个元组，而其子集不行，称之为候选码，候选码中的属性称为主属性，不包含在里面的称为非主属性。
      • 关系中的每一个分量必须是不可再分的原子值
  • 关系模式（R(U,D,DOM,F）
    • U:组成该关系的属性名集合
    • D:D为U中属性所来自的域
    • DOM：属性向域的映像集合
    • F:属性间数据的依赖关系的集合
• 关系操作
  • 查询
    • 选择
    • 投影
    • 连接
    • 除
    • 并
    • 差
    • 交
    • 笛卡尔积
  • 插入
  • 删除
  • 修改
• 关系的完整性
  • 实体完整性
    • 实体完整规则
      • 若A是R中的主属性，A不能取空值
  • 参照完整性
    • 参照完整规则
      • 若F是R关系上的外码，且是S关系上的主码，则F必须：要么去空值，要么等于S中的某个元组的主码值
• 关系代数
  • 交
  • 并
  • 差：R-S 结果为n元关系，由属于R而不属于S的关系组成
    • 换句话说也就是将R中与S中相同的元组删掉，留下S中没有的
  • 笛卡尔积
  • 选择
  • 投影
    • 投影操作是从列的角度来进行的运算
  • 连接
    • 等值连接与非等值连接
      • 按照连接所给定的判断条件来进行连接
    • 自然连接（内连接） R连接S
      • 将所连接的两个关系中拥有相同的属性名挑选出来进行判断，只有拥有共同属性的两张表的值对应相等才保留，并且合并后只保留一个同名属性，不必区分是来自于A还是B，不相同的删除。
      • 被舍弃的元组称之为悬浮元组
      • 外连接：把悬浮元组也放在结果关系中，而在其他属性上赋值为NULL
      • 左外连接：只保留R中的悬浮元组
      • 右外连接：只保留S中的悬浮元组
  • 除运算
    • 设R除以S得到T，则T中包含所有在R但不在S中的属性及其值，且T中元组与S的元组的所有组合都在R中
    • T=R(A,B,C)/S(B,C,D)
      • 从A中调出一个分量a1，a1所对应的B,C中要包含S表中所有的B,C值，则就可以将a1保留在T中，且T中只剩下除去与S中相同的B,C之后的A