Hệ tiên đề Armstrong cho các phụ thuộc hàm gồm các quy tắc:

A. Phản xạ, hợp và tách.

B. Phản xạ, bắc cầu, hợp và tách.

C. Phản xạ, gia tăng, hợp và tách.