Quy tắc bắc cầu trong hệ tiên đề Armstrong:

Câu hỏi này kiểm tra kiến thức về luật phân rã trong các hệ tiên đề và suy diễn logic. Luật phân rã cho phép ta tách một hệ quả phức tạp thành các hệ quả đơn giản hơn. Trong trường hợp này, nếu A suy ra BC (tức là A suy ra B và C đồng thời), thì ta có thể suy ra A suy ra B và A suy ra C một cách riêng rẽ.

Phân tích các phương án:

• Phương án A: AC --> B và A --> CC. Phương án này không đúng vì nó đưa thêm giả thiết C vào vế trái của suy diễn thứ nhất (AC --> B) và nhân đôi C ở vế phải của suy diễn thứ hai (A --> CC), điều này không tuân theo luật phân rã cơ bản.
• Phương án B: A --> C. Phương án này chỉ đúng một phần vì nó chỉ ra rằng A suy ra C, nhưng bỏ qua việc A cũng suy ra B.
• Phương án C: A --> B và A --> C. Phương án này đúng vì nó thể hiện đầy đủ cả hai hệ quả mà A có thể suy ra, tuân theo luật phân rã.
• Phương án D: A --> B. Phương án này chỉ đúng một phần vì nó chỉ ra rằng A suy ra B, nhưng bỏ qua việc A cũng suy ra C.

Vậy đáp án đúng là C.

Một mô hình CSDL được xem là chuẩn hóa tốt khi không xuất hiện các dị thường thông tin. Dị thường thông tin (anomalies) xảy ra khi việc cập nhật, thêm hoặc xóa dữ liệu dẫn đến sự không nhất quán hoặc mất mát dữ liệu.

• A. Đúng. Loại bỏ dị thường thông tin là mục tiêu chính của chuẩn hóa CSDL.


• B. Sai. Đảm bảo tính độc lập dữ liệu là một mục tiêu quan trọng khác của hệ quản trị CSDL, nhưng không trực tiếp định nghĩa một mô hình chuẩn hóa tốt.


• C. Sai. Phát biểu này mô tả một phần của các quy tắc chuẩn hóa (ví dụ, dạng chuẩn 3NF), nhưng không bao quát hết ý nghĩa của chuẩn hóa. Chuẩn hóa không chỉ đảm bảo thuộc tính không khóa phụ thuộc hàm vào khóa mà còn giải quyết các vấn đề phụ thuộc hàm khác nhau.


• D. Sai. Phát biểu này không chính xác. Mỗi thuộc tính chỉ nên được biểu diễn ở một nơi duy nhất để tránh dư thừa, nhưng đây chỉ là một phần của chuẩn hóa.