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

 

 

Giá trị khoá nhận giá trị null hay giá trị không xác định

Khi thực hiện các phép lưu trữ trên các quan hệ chưa được chuẩn hoá thường xuất hiện các dị thường thông tin

Khi thực hiện các phép tách - kết nối tự nhiiên các quan hệ

Khi thực hiện các phép tìm kiếm, xuất hiện các dị thường thông tin

Đảm bảo tính nhất quán dữ liệu

Triệt tiêu mức cao nhất khả năng xuất hiện các dị thường thông tin

Đảm bảo tính bảo mật dữ liệu

Đảm bảo cho việc lưu trữ dữ liệu

Các phép số học và các phép so sánh

Các phép đại số quan hệ

Các phép so sánh

Biểu thức đại số

Thuộc tính của quan hệ hợp là hợp các thuộc tính của các quan hệ nguồn

Các bộ của quan hệ hợp là hợp các bộ của các quan hệ nguồn

Hợp của 2 quan hệ khả hợp là một quan hệ khả hợp với các quan hệ nguồn

Hợp của 2 quan hệ là một quan hệ khả hợp với các quan hệ nguồn

Thực hiện phép kết nối tự nhiên các quan hệ sau FROM

Thực hiện phép hợp các quan hệ sau FROM

Thực hiện phép chiếu trên sau mệnh đề WHERE

Thực hiện phép chọn sau mệnh đề WHERE

Tính nhất quán dữ liệu

Tính đơn giản thao tác dữ liệu

Tính toàn vẹn dữ liệu

Tính toàn độc lập dữ liệu

Một thuộc tính có nhiều giá trị khác nhau

Các thuộc tính chỉ chứa các giá trị nguyên tố

Một quan hệ có nhiều hàng

Một quan hệ có nhiều cột

Thực hiện các phép kết nối bằng nhau

Ưu tiên thực hiện các phép chiếu và chọn

Thực hiện phép tích Đề các

Nhóm các phép tích và chiếu liên tiép thành một phép toán duy nhất

Xác định nội dung, yêu cầu của các thực thể

Phân tích yêu cầu, xác định các thực thể và các mối lien kết, tích hợp yêu cầu, chuyển đổi về các quan hệ, chuẩn hoá dữ liệu và thiết kế vật lý

Mô tả thông tin về các đối tượng và xác định mối quan hệ giữa các đối tượng cần thiết kế

Phân tích yêu cầu, xác định các thực thể, chuẩn hoá dữ liệu và thiết kế vật lý

Chuẩn hoá dữ liệu dựa trên các khái niệm phụ thuộc hàm

Phụ thuộc hàm mô tả các phương pháp biểu diễn dữ liệu

Phụ thuộc hàm mô tả các ràng buộc trong cơ sở dữ liệu

Các phương pháp chuẩn hoá dữ liệu