关系数据库

• 关系数据库的数据结构
  • 关系的形式化定义及有关概念
    • 域：域是一组具有相同数据类型的值的集合。
    • 笛卡尔积：D1×D2×…×Dn ＝｛（d1，d2，…，dn）｜diÎDi，i＝1，2，…，n｝
    • 关系：笛卡尔积的任一子集称为定义在域D1，D2.....Dn上的n元关系
  • 关系的性质
    • 1、列是同质的，即每一列中的分量来自同一个域，必须是同一类型的数据
    • 2、不同的属性可以来自同一个域，但不同的属性必须有不同的名字
    • 3、列的顺序可以随意交换
    • 4、元组的顺序可以任意
    • 5、不允许出现相同的元组
    • 6、所有属性值都是原子的
  • 关系模式
    • 在关系数据库中，关系模式是型，关系是值。
    • 关系模式是对关系的描述
    • 关系模式静态的、稳定的
    • 关系是关系模式在某一时刻的状态或内容，是动态的、随时间不断变化的
• 关系的码
  • 候选码（键）
    • 若关系中的某一属性组的值能唯一地标识一个元组，则称该属性组为候选码
    • 简单的情况：候选码只包含一个属性
  • 主码（键）
    • 若一个关系有多个候选码，则人为选定其中一个为主码（Primary key）
  • 主属性
    • 候选码的诸属性称为主属性，不包含在任何侯选码中的属性称为非主属性
  • 外码
    • 设F是基本关系R的一个或一组属性，但不是关系R的码。如果F与基本关系S的主码Ks相对应，则称F是基本关系R的外码
  • 全码（All-key）
    • 最极端的情况：关系模式的所有属性组是这个关系模式的候选码，称为全码（All-key）
• 关系的完整性
  • 实体完整性：若属性A是基本关系R的主属性，则属性A不能取空值
    • (1) 实体完整性规则是针对基本关系而言的。一个基本表通常对应现实世界的一个实体集。
    • (2) 现实世界中的实体是可区分的，即它们具有某种唯一性标识。
    • (3) 关系模型中以主码作为唯一性标识。
    • (4) 主码中的属性即主属性不能取空值。
    • 主属性取空值，就说明存在某个不可标识的实体，即存在不可区分的实体，这与第（2）点相矛盾，因此这个规则称为实体完整性
  • 参照完整性
    • 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为：
      • 或者取空值（F的每个属性值均为空值）
      • 或者等于S中某个元组的主码值
  • 用户定义的完整性
    • 针对某一具体关系数据库的约束条件，反映所涉及的数据必须满足的语义要求。
• 关系代数
  • 传统的集合运算
    • 并 R∪S
      • 前提 （R和S）
        • 具有相同的目n（即两个关系都有n个属性）
        • 相应的属性取自同一个域
      • R∪S ：仍为n目关系，由属于R或属于S的元组组成
    • 差 R-S
      • 仍为n目关系，由属于R而不属于S的所有元组组成
    • 交 R∩S
      • 仍为n目关系，由既属于R又属于S的元组组成
    • 笛卡尔积 R×S
      • 行：k1×k2个元组
      • 列：（n+m）列元组的集合
        • 后m列是关系S的一个元组
        • 元组的前n列是关系R的一个元组
• 专门的关系运算
  • 选择
  • 投影
  • 连接
  • 除
•