Bài viết sưu tầm

Dạng chuẩn 3

Thuộc tính phụ thuộc bắc cầu

Q là lược đồ quan hệ, X,Y là hai tập con của Q+, A là một thuộc tính. Nói rằng A phụ thuộc bắc cầu vào X nếu cả ba điều sau thỏa:

+     X ® Y,Y ® A

+     Y   X

+     A  Ï XY

Định nghĩa 1:

Lược đồ quan hệ Q ở dạng chuẩn 3 nếu mọi phụ thuộc hàm X ® A Î F+ với A Ï X đều có:

•       Hoặc X  là siêu khóa

•       Hoặc A là thuộc tính khóa

Định nghĩa 2:

Lược đồ quan hệ Q ở dạng chuẩn 3 nếu mọi thuộc tính không khóa của Q đều không phụ thuộc bắc cầu vào một khóa bất kỳ của Q

Hai định nghĩa trên là tương đương, tuy nhiên việc cài đặt thuật toán kiểm tra dạng chuẩn 3 theo định nghĩa 1 thì hiệu quả hơn nhiều vì không phải kiểm tra tính phụ thuộc bắc cầu.

Thuật toán kiểm tra dạng chuẩn 3

Vào: lược đồ quan hệ Q, tập phụ thuộc hàm F

Ra: khẳng định Q đạt chuẩn 3 hay không đạt chuẩn 3.

Bước 1: Tìm tất cả khóa của Q

Bước 2:  Từ F tạo tập phụ thuộc hàm tương đương F1tt có vế phải một thuộc tính.

Bước 3:  Nếu mọi phụ thuộc hàm X ® A Î F1tt với A Ï X đều có X là siêu khóa hoặc A là thuộc tính khoá  thì Q đạt chuẩn 3 ngược lại Q không đạt chuẩn 3