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