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.

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

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