- Giá trị khĩa của bộ mới cĩ thể là giá trị đã cĩ trong quan
DẠNG CHUẨN BC
DẠNG CHUẨN BC
(BOYE CODD)
(BOYE CODD)
Cho lược đồ quan hệ Q với tập phụ thuộc hàm F, lược đồ quan hệ này được gọi Cho lược đồ quan hệ Q với tập phụ thuộc hàm F, lược đồ quan hệ này được gọi là đạt dạng chuẩn BC nếu với mọi phụ thuộc hàm f: X
là đạt dạng chuẩn BC nếu với mọi phụ thuộc hàm f: X→→Y xác định trên lược đồ Y xác định trên lược đồ quan hệ (X
quan hệ (X→→Y là khơng hiển nhiên) thì X là một khĩa của lược đồ quan hệ Q.Y là khơng hiển nhiên) thì X là một khĩa của lược đồ quan hệ Q.
Như vậy một lược đồ quan hệ đạt được dạng chuẩn BC thì chỉ cĩ phụ thuộc hàm Như vậy một lược đồ quan hệ đạt được dạng chuẩn BC thì chỉ cĩ phụ thuộc hàm mà vế trái là khĩa. Lược đồ quan hệ này hiển nhiên đạt được dạng chuẩn 3.
mà vế trái là khĩa. Lược đồ quan hệ này hiển nhiên đạt được dạng chuẩn 3. Để chứng minh vấn đề trên, giả sử rằng lược đồ quan hệ Q là ở dạng BCNF Để chứng minh vấn đề trên, giả sử rằng lược đồ quan hệ Q là ở dạng BCNF
nhưng khơng thuộc 3NF. Như vậy sẽ tồn tại ít nhất một phụ thuộc hàm thành
nhưng khơng thuộc 3NF. Như vậy sẽ tồn tại ít nhất một phụ thuộc hàm thành
phần hoặc phụ thuộc hàm bắt cầu.
phần hoặc phụ thuộc hàm bắt cầu. f1: Xf1: X→→YY
f2: Yf2: Y→→AA
Trong đĩ X là khĩa của Q, ATrong đĩ X là khĩa của Q, A∉∉ X, và A X, và A∉∉ Y,Y Y,Y→→ X X∉∉F( khơng tồn tại phụ thuộc F( khơng tồn tại phụ thuộc hàm này trong tập phụ thuộc hàm của Q) Do đĩ Y khơng phải là khĩa của Q,
hàm này trong tập phụ thuộc hàm của Q) Do đĩ Y khơng phải là khĩa của Q,
mà Y