数据库系统工程师-Armstrong 公理系统:函数依赖推理与候选码求解核心方法论(重点)Armstrong 公理系统是关系数据库理论中函数依赖推理的形式化规则体系,是软考数据系统工程师考试中关系数据库规范化模块的核心考点,占数据库设计类题型分值的 15%-20%。该系统由 IBM 研究员 William Armstrong 于 1974 年首次提出,经历了 1970 年代关系模型理论奠基、1980 年代规范化理论成熟、1990 年代后数据库工具落地三个发展阶段,目前已成为 ISO/IEC 9075 数据库标准中数据完整性约束部分的理论基础。本文将从核心原理、计算方法、应试技巧三个维度系统展开