跳到主要内容
硕士生涯
初试
政治
英语
数学
计算机网络
复试
程序设计（C/C++）
数据工程基础
课程
高级数据库系统技术
GitHub
五、关系数据理论
5.3 数据依赖的公理系统
5.3 数据依赖的公理系统
📄️ 5.3.1 Armstrong公理
+ 自反律（Reflexivity）：若 $Y$ 是 $X$ 的子集，则 $X$ 能确定 $Y$。
📄️ 5.3.2 最小函数依赖集
5.3.2.1 闭包