该文档介绍了 SQL 数据依赖性函数依赖的推理规则。