数据库基础（4）函数依赖公理和推论（Armstrong公理），属性闭包和求候选键的技巧

函数依赖里面，函数依赖公理，Armstrong公理以及属性闭包的定义都有必要仔细学习 1.逻辑蕴含基本定义 2.Armstrong公理和推论–可以用来判断一个函数依赖X -> Y 是否逻辑蕴含于函数依赖集F Armstrong推论（三个规则）的推出过程 使用Armstrong公理判断逻辑蕴含的例题（这个就要自己多练练就熟悉了） 3.函数依赖集F闭包（F+）和属性集闭包（X+）的概念 首先理解什么是

>>阅读原文<<