Tìm một mối quan hệ trong 3NF nhưng không có trong BCNF

Question

Tôi đã đọc nhiều nguồn khác nhau về cách phân biệt các mối quan hệ trong 3NF/BCNF. Và tôi đã cho đến nay đây là sự hiểu biết của tôi ...

tôi sẽ sử dụng mối quan hệ này là một ví dụ ...

R = {A, B, C, D, E}

và

F = {A -> B, B C - > E, E D -> A}.

Trước tiên, chúng ta phải tìm các khóa của mối quan hệ. I used this video to help me do that. Và tôi đã

Keys = {ACD, BCD, CDE}

Bây giờ để đảm bảo R là trong BCNF, chúng ta phải đảm bảo rằng ở phía bên tay trái của mỗi phụ thuộc chức năng trong F là một trong những Keys. Chúng tôi ngay lập tức biết đây không phải là trường hợp, bởi vì FD đầu tiên là A -> B và A không phải là một trong những chìa khóa. Vì vậy, nó không có trong BCNF.

Bây giờ để đảm bảo R là trong 3NF, chúng ta phải đảm bảo rằng ở phía bên tay trái của mỗi phụ thuộc chức năng trong F là một trong những KeysHOẶC phía bên tay phải của mỗi phụ thuộc chức năng trong F là một tập con của một trong số Keys. Nếu bạn nhìn vào phía bên phải của mọi FD, chúng là B, E và A. Đây là mỗi tập hợp con của một số Key, do đó, điều này có nghĩa là nó nằm trong 3NF.

Vì vậy, đây là một trong những hiếm trường hợp (theo wiki), nơi một mối quan hệ là ở 3NF nhưng không trong BCNF. Phương pháp này có đúng không? Nó có đáng tin cậy không? Tôi có thiếu gì không?

Answer 1

Trước tiên, bạn cần tìm hiểu về các siêu điều khiển, các khóa ứng viên và các thuộc tính chính.

Tuy nhiên, nguyên tắc này sẽ giúp:

Một bảng 3NF mà không có nhiều phím ứng cử viên chồng chéo là đảm bảo được ở BCNF.

Nói cách khác, nếu phím ứng cử viên trong một mối quan hệ 3NF là

• tất cả các nguyên tử, hoặc
• phi nguyên tử nhưng không chồng chéo,

nó là đảm bảo rằng mối quan hệ là trong BCNF.

Mối quan hệ đơn giản nhất mà vi phạm BCNF nhưng đáp ứng 3NF có phụ thuộc hàm sau:

A,B -> C C -> B

Trong trường hợp này, các phím có thể chọn là (A,B) và (A,C).
Nó đáp ứng 3NF vì

• bên phải phía của tất cả các phụ thuộc hàm là một thuộc tính chính .

Nó vi phạm BCNF vì

• C -> B, nhưng trái tay-side không phải là một superkey.

Answer 2

BCNF:

X-> Y trong đó Y có thể Thủ hoặc phi thủ
Ở đây, X phải là một siêu trọng

3NF:

X-> Y trong đó Y là phi thủ
sau đó,
X phải là một siêu trọng
khác
X không cần được siêu trọng

Hy vọng điều này sẽ giúp