尧图网页设计 
Armstrong 公理、到函数依赖、多值依赖、连接依赖、包含依赖、范式判定等相关规则/定理。约定：X → Y：函数依赖X ↠ Y：多值依赖*(R1,R2,...,Rn)：连接依赖R[A] ⊆ S[B]：包含依赖U：关系模式 R 的全部属性集，Z = U - (X ∪ Y)编号类型领域数据库类型数据库中的规则/公理/定理及其数学表达式关联知识、标准、论文和研究A1公理函数依赖推理关系数据库自反律 Reflexivity：若 Y ⊆ X ⊆ U，则 X → YArmstrong 1974；Codd 1970；FD 闭包、平凡函数依赖 【信息科学与工程学】信息科学领域工程——第十一篇 数据库基础20 数据库的公理与定理01
Armstrong 公理、到函数依赖、多值依赖、连接依赖、包含依赖、范式判定等相关规则/定理。约定：X → Y：函数依赖X ↠ Y：多值依赖*(R1,R2,...,Rn)：连接依赖R[A] ⊆ S[B]：包含依赖U：关系模式 R 的全部属性集，Z = U - (X ∪ Y)编号类型领域数据库类型数据库中的规则/公理/定理及其数学表达式关联知识、标准、论文和研究A1公理函数依赖推理关系数据库自反律 Reflexivity：若 Y ⊆ X ⊆ U，则 X → YArmstrong 1974；Codd 1970；FD 闭包、平凡函数依赖