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

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

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

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