文章目录一、函数依赖1. 函数依赖2. 完全函数依赖和部分函数依赖3. 传递函数依赖4. 与函数依赖相关的概念(1). 候选键(2). 主键(3). 主属性(4). 外来键(5). 逻辑蕴含(6). 闭包二、函数依赖的 Armstrong 公理及其引理1. 函数依赖的 Armstrong 公理(1). 自反律(2). 增广律(3). 传递律2. 函数依赖的 Armstrong 的引理2.1 引理1