Đối với mô hình cơ sở dữ liệu quan hệ kinh điển, các quan hệ đều đƣợc chuẩn hóa ở dạng chuẩn ba sẽ giảm thiểu đƣợc các dị thƣờng khi thêm bộ, xóa và cập nhật bộ. Tƣơng tự nhƣ ở dạng chuẩn mờ hai, dạng chuẩn mờ ba có thể định nghĩa một cách hình thức nhƣ sau:
Định nghĩa: Cho F là tập phụ thuộc hàm mờ của lƣợc đồ quan hệ R, K là một khóa mờ của R với độ mạnh q. R đƣợc gọi là ở dạng f-3NF khi và chỉ khi R đã ở dạng f-2NF và với bất kỳ phụ thuộc hàm mờ X A trong F, với A không thuộc X, thì hoặc X chứa khóa mờ, hoặc A là khóa mờ.
Kiểm tra dạng chuẩn mờ 3
Có thể sử dụng trực tiếp định nghĩa của f-3NF để kiểm tra xem một quan hệ có ở f-3NF hay chƣa. Tất cả các phụ thuộc hàm đều đƣợc kiểm tra xem có thỏa mãn một trong các điều kiện: nếu các thuộc tính ở vế trái của phụ thuộc hàm chứa tất cả các thuộc tính ở vế phải của phụ thuộc hàm thì phụ thuộc hàm đó không vi phạm điều kiện f-3NF; nếu vế trái chứa bất kỳ một khóa mờ nào thì phụ thuộc hàm đó không vi phạm điều kiện f-3NF; nếu các thuộc tính ở vế phải đều là các thuộc tính khóa thì phụ thuộc hàm cũng không vi phạm điều kiện f-3NF.
Thuật thoán 3.6: Kiểm tra dạng chuẩn mờ
Vào : một quan hệ R, tập phụ thuộc hàm mờ F của R, tập khóa mờ Ҝ của R, P là tập thuộc tính khóa của R.
Ra : kết luận R có ở f-3NF hay chƣa? Thuật toán
1. Với mỗi phụ thuộc hàm mờ X Y của F
Nếu X Y, điều kiện f-3NF không bị vi phạm, nếu không
Nếu X Ki với bất kỳ Ki Ҝ, điều kiện f-3NF không bị vi phạm, nếu không
Nếu Y P, điều kiện f-3NFcũng không bị vi phạm
2. Nếu có ít nhất một phụ thuộc hàm mờ trong F không thỏa mãn cả ba điều kiện trên thì quan hệ chƣa ở f-3NF.