【软考】4.2 关系代数

《 关系代数 》

  • 表和表之间的逻辑运算
    【软考】4.2 关系代数_第1张图片
  • 笛卡尔积:S1 x S2
  • 投影:π;选择某一列(属性);一个关系R的投影操作结果也是一个关系,记作Πa®,它由从关系R中选出的A列元素构成;
  • 选择:σ;选择某一行;给关系R一个选择条件(简写为con),选择操作的结果也是一个关系,记作σcon(R),它由从关系R中选出的满足条件的元组构成;
    【软考】4.2 关系代数_第2张图片
  • 自然连接:S1 + S2

【软考】4.2 关系代数_第3张图片

  • 数字不加引号,字符加引号
    【软考】4.2 关系代数_第4张图片

《 函数依赖 》

【软考】4.2 关系代数_第5张图片

  • 函数依赖的公理系统

【软考】4.2 关系代数_第6张图片

  • 键与约束

【软考】4.2 关系代数_第7张图片

《 范式 》

  • 第一范式:1NF
  • 每个属性必须是简单属性,不能是复合属性, 如:薪资由基本工资和补贴组成
    【软考】4.2 关系代数_第8张图片
  • 学号 -> 学生姓名,学号 -> 系号
    【软考】4.2 关系代数_第9张图片
  • 第二范式:2NF
  • 消除非主属性对码的部分函数依赖
  • 部分函数依赖只存在于联合主键,即主键有多个属性才含有部分函数依赖,因为部分函数依赖必须是主键的一部分,即主键有多个属性
    【软考】4.2 关系代数_第10张图片
  • 第三范式:3NF
  • 消除非主属性对码的传递函数依赖
    【软考】4.2 关系代数_第11张图片
  • BC范式:BCNF
  • 消除主属性对码的部分函数依赖和传递函数依赖
    【软考】4.2 关系代数_第12张图片
  • 候选关键字的求法
  • 根据依赖集,找出从未在右边出现过的属性,必然是候选键之一。以该属性为基础,根据依赖集依次扩展,看能否遍历所有属性,将无法遍历的加入候选键中
    【软考】4.2 关系代数_第13张图片
  • (E,M)中部分都能推出非主属性,存在部分函数依赖,即不是2NF
    【软考】4.2 关系代数_第14张图片

你可能感兴趣的:(计算机软考,文档解析,MySQL,java,服务器,数据库)