目录

  • 1 数据库系统概论
    • 1.1 数据库基本概述
    • 1.2 数据模型
    • 1.3 三级模式与两级映像
  • 2 关系数据库
    • 2.1 关系数据库基础
    • 2.2 关系代数运算
  • 3 关系数据库标准语言SQL
    • 3.1 数据库定义与简单查询
    • 3.2 连接查询
    • 3.3 数据更新
    • 3.4 视图和索引
  • 4 数据库安全性
    • 4.1 数据库安全性
  • 5 数据库完整性
    • 5.1 数据库完整性
  • 6 关系数据库理论
    • 6.1 函数依赖
    • 6.2 函数依赖的公理系统
    • 6.3 范式理论
  • 7 数据库设计
    • 7.1 数据库设计
  • 8 数据库编程
    • 8.1 存储过程
    • 8.2 触发器
  • 9 关系查询处理和查询优化
    • 9.1 关系查询处理和查询优化
  • 10 数据库恢复技术
    • 10.1 数据库恢复技术
  • 11 并发控制
    • 11.1 并发控制
函数依赖的公理系统

6.2 函数依赖的公理系统


以上为本课配套的PPT,本章为函数依赖的公理系统,掌握Armstrong公理和推理规则。常见选择题和填空题或者判断题,而且属性闭包和求候选码以及最小依赖集会有大题,视频合计41分钟。

6.2.1 属性闭包 (13分钟)

本部分的属性的闭包,非常重要,对于由一个属性或者多个属性直接和间接关联的属性集合的求解,特别是候选码的求解,非常重要,考试常考的是大题,大家注意求解过程。具体在下方有属性闭包的求解过程。同时Armstrong公理和推理规则,我们要学会运用。




求解属性闭包视频详解(3分钟)

属性闭包的求解,详细过程如下视频,请仔细查看,注意解题步骤,考试如果考到该部分,解答过程要规范。




6.2.2  通过属性闭包求解候选键(6分钟)

本部分的例题是通过属性闭包求候选键,考试也可能会出现在一个大题的一小问,请仔细观看该视频,掌握方法。


6.2.3  最小依赖集导入(10分钟)

本部分,是求最小函数依赖集,注意什么是最小依赖集,以及为什么要求解最小依赖集。



 6.2.4 最小依赖集详解(7分钟)

本部分求最小依赖集,包含下面两个视频,请认真看求解过程。注意解题步骤。考试如果考一个大题,要会求解。


求解最小依赖集视频(4分钟)



最小函数依赖集有助于帮助我们求候选码,特别是当函数依赖很复杂的时候,你可以把最小依赖集求出来,那么候选码就比较容易判断了。

小节测试6.2 函数依赖的公理系统