Kimi Code + ESP32-C3：Windows下AI辅助嵌入式开发全记录
2026/10/4 19:50:22
Armstrong 公理、到函数依赖、多值依赖、连接依赖、包含依赖、范式判定等相关规则/定理。
约定：
X → Y：函数依赖X ↠ Y：多值依赖*(R1,R2,...,Rn)：连接依赖R[A] ⊆ S[B]：包含依赖U：关系模式 R 的全部属性集，Z = U - (X ∪ Y)
编号 | 类型 | 领域 | 数据库类型 | 数据库中的规则/公理/定理及其数学表达式 | 关联知识、标准、论文和研究 |
|---|---|---|---|---|---|
A1 | 公理 | 函数依赖推理 | 关系数据库 | 自反律 Reflexivity：若 Y ⊆ X ⊆ U，则 X → Y | Armstrong 1974；Codd 1970；FD 闭包、平凡函数依赖 |