Cho lược đồ quan hệ R(CSA) với các phụ thuộc hàm f{CSàA, AàC}. R ở dạng chuẩn nào?

Để xác định dạng chuẩn của lược đồ quan hệ R(ABCD) với tập các phụ thuộc hàm đã cho, ta cần phân tích từng phụ thuộc hàm và kiểm tra xem chúng vi phạm các quy tắc của các dạng chuẩn BCNF, 3NF, 2NF hay không.

1. AB → CD: AB là siêu khóa (superkey) của R vì từ AB ta có thể suy ra CD, và do đó suy ra tất cả các thuộc tính của R (ABCD). Do AB là siêu khóa, phụ thuộc hàm này không vi phạm BCNF, 3NF và 2NF.

2. D → CBA: D không phải là siêu khóa. Vì vậy, ta cần kiểm tra xem phụ thuộc hàm này có vi phạm các dạng chuẩn hay không.
- BCNF: D → CBA vi phạm BCNF nếu D không phải là siêu khóa và CBA không phải là một tập con của D. Ở đây, D không phải siêu khóa và CBA không phải là tập con của D, nên vi phạm BCNF.
- 3NF: D → CBA vi phạm 3NF nếu D không phải là siêu khóa và C, B, A không phải là thuộc tính khóa (thuộc tính nằm trong bất kỳ khóa nào). Để xác định thuộc tính khóa, ta xem xét các phụ thuộc hàm. Từ AB → CD và D → CBA, ta thấy AB là khóa (vì AB xác định tất cả các thuộc tính). Do đó, A và B là thuộc tính khóa. Tuy nhiên, C và D không phải là thuộc tính khóa (chưa chứng minh được). Vì A và B là thuộc tính khóa, D -> CBA vi phạm 3NF vì vế phải có thuộc tính không nguyên tố không phải là thuộc tính khóa.
- 2NF: Để vi phạm 2NF, ta cần có phụ thuộc hàm bộ phận (partial dependency). Trong trường hợp này, ta không có phụ thuộc hàm bộ phận vì ta chỉ có một thuộc tính ở vế trái (D). Do đó, nó không vi phạm 2NF.

3. CD → B: CD không phải là siêu khóa. Vì B không phải là thuộc tính khóa, CD → B vi phạm BCNF và 3NF (tương tự như trường hợp D → CBA).

Vì có các vi phạm BCNF và 3NF, R không thể ở dạng BCNF hoặc 3NF. Tuy nhiên, nó có thể ở dạng 1NF hoặc 2NF. Vì không có vi phạm 2NF nên nó ở dạng 2NF.

Vậy, R ở dạng chuẩn 2NF.

Câu hỏi này kiểm tra kiến thức về chuẩn Boyce-Codd Normal Form (BCNF) trong thiết kế cơ sở dữ liệu. BCNF là một dạng chuẩn hóa cao hơn so với 3NF, yêu cầu mọi yếu tố xác định (determinant) phải là một siêu khóa (superkey). Trong lược đồ quan hệ R(A, B, C) với tập phụ thuộc hàm F={AB->C, C->B}, khóa chính là AB. Điều này có nghĩa là AB xác định duy nhất C, và C xác định duy nhất B.

Phân tích các đáp án:

* Đáp án A: R1(A, B, C) và R2(B, C): Quan hệ R1(A, B, C) vẫn chứa phụ thuộc hàm C -> B, và C không phải là siêu khóa của R1. Vì vậy, R1 không ở dạng BCNF. Do đó, đáp án này không đúng.

* Đáp án B: R1(A, B) và R2(B, C): Trong R1(A, B), A và B là khóa. Trong R2(B, C), B xác định C và C xác định B, nên B và C đều là khóa. Do đó, cả R1 và R2 đều ở dạng BCNF. Đây là đáp án đúng.

* Đáp án C: R1(A, B, C) và R2(A, C): Quan hệ R1(A, B, C) vẫn chứa phụ thuộc hàm C -> B, và C không phải là siêu khóa của R1. Vì vậy, R1 không ở dạng BCNF. Do đó, đáp án này không đúng.

* Đáp án D: R1(A, C) và R2(B, C): Trong R1(A, C), không có phụ thuộc hàm nào vi phạm BCNF. Trong R2(B, C), B xác định C và C xác định B, nên B và C đều là khóa. Do đó, cả R1 và R2 đều ở dạng BCNF. Tuy nhiên, đáp án B tối ưu hơn vì nó loại bỏ sự dư thừa dữ liệu bằng cách tách quan hệ thành R1(A, B) và R2(B, C).

Vậy, đáp án B là đáp án chính xác nhất để đạt chuẩn BCNF.

Trong hệ cơ sở dữ liệu quan hệ, thuật ngữ "bộ" dùng để chỉ một hàng trong bảng. Mỗi hàng (bản ghi) chứa thông tin về một thực thể cụ thể, và được gọi là một bộ. Do đó, đáp án đúng là C. Các đáp án khác không chính xác vì:
- A. Kiểu dữ liệu của một thuộc tính: Mô tả loại dữ liệu mà một cột có thể chứa (ví dụ: số nguyên, chuỗi, ngày tháng).
- B. Bảng: Là tập hợp các hàng và cột chứa dữ liệu.
- D. Cột: Là một thuộc tính của bảng, chứa các giá trị của cùng một kiểu dữ liệu.