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

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

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

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