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

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

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

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

Phản xạ, gia tăng, bắc cầu.