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