Cũng giống nhƣ trong mô hình cơ sở dữ liệu quan hệ truyền thống, dạng chuẩn mờ Boyce Codd (fuzzy BCNF) là dạng chuẩn chặt hơn dạng chuẩn mờ ba. Fuzzy BCNF đảm bảo rằng sẽ không có dƣ thừa có thể bị phát hiện nếu chỉ sử dụng thông tin từ các phụ thuộc hàm. Nó là dạng chuẩn cao nhất đứng từ khía cạnh dƣ thừa dữ liệu. Fuzzy BCNF có thể đƣợc định nghĩa nhƣ sau:
Định nghĩa: [4] Cho F là tập phụ thuộc hàm mờ của lƣợc đồ R. R đƣợc gọi là ở
fuzzy BCNF nếu và chỉ nếu bất kỳ phụ thuộc hàm không tầm thƣờng nào của F, X
A, thì X là siêu khóa của R, có nghĩa là XK, với K là một khóa mờ của R. Để kiểm tra một lƣợc đồ quan hệ đã cho có ở fuzzy BCNF hay không, tất cả các phụ thuộc hàm của nó cần phải kiểm tra điều kiện: nếu vế trái của phụ thuộc hàm chứa một khóa mờ nào đó của quan hệ, thì phụ thuộc hàm đó không vi phạm điều kiện của fuzzy BCNF. Sau đây ta đƣa ra một thuật toán tách một lƣợc đồ quan hệ thành các lƣợc đồ quan hệ ở fuzzy BCNF. Thuật toán cũng đảm bảo phép tách có kết nối không mất thông tin.
Thuật toán 2.13: tách một lƣợc đồ quan hệ thành các lƣợc đồ quan hệ ở fuzzy BCNF và có tính chất kết nối không mất thông tin.
Ra : Một phép tách D tách R thành các lƣợc đồ con ở fuzzy BCNF và D là phép tách kết nối không mất thông tin.
Thuật toán
1. Đặt D = {R};
2. Nếu còn lƣợc đồ quan hệ trong D chƣa ở fuzzy BCNF, thực hiện vòng lặp Chọn một lƣợc đồ quan hệ Q chƣa ở fuzzy BCNF trong D
Tìm một phụ thuộc hàm mờ X A trong Q vi phạm điều kiện fuzzy BCNF
Thay thế Q trong D bởi hai lƣợc đồ quan hệ (A-A) và (XA)