Quy tắc bắc cầu trong hệ tiên đề Armstrong:

Nếu A -> B và B -> C => A -> C

Nếu A -> B và B -> C => AC -> B -> C

Nếu A -> B và B -> C => AB

Nếu A -> B và B -> C => AC -> BC