Quy tắc gia tăng trong hệ tiên đề Armstrong:

Nếu A --> B => B --> A.

Nếu A --> B => A --> BC.

Nếu A --> B => BC --> A.

Nếu A --> B => AC --> B.