Armstrong公理的基本定律包括3条：
①自反律：若
β
α
，则
α
→
β
②增补律：若
α
→
β
，则
α
γ
→
β
γ
③传递律：若
α
→
β
及
β
→
γ，则
α
→
γ
上述推理规则是保真的，也是完备的，也就是说，根据这三个定律推出的函数依赖肯定是正确的函数依赖，而所有的函数依赖都可以根据这三个定律推出。但为了计算或证明的方便，又扩充了以下三个定律：
①合并律：若
α
→
β
及
α
→
γ，则
α
→
β
γ
②分解律：若
α
→
β
γ，则
α
→
β
及
α
→
γ
③伪传递律：若
α
→
β
及γ
β
→
δ，则
α
γ
→
β
α，则α→β