Trắc nghiệm Cơ sở dữ liệu Bài 45: Phân tách bảo toàn phụ thuộc dữ liệu

Phân rã R thành {R1, R2, …, Rn} được gọi là bảo toàn phụ thuộc (Dependency Preserving) đối với tập phụ thuộc hàm F trên R nếu:

Mục đích chính của việc phân rã bảo toàn phụ thuộc là gì?

Tại sao việc bảo toàn phụ thuộc lại quan trọng?

Một phân rã bảo toàn phụ thuộc đảm bảo điều gì?

Nếu một phân rã {R1, R2, …, Rn} là bảo toàn phụ thuộc đối với F, thì việc kiểm tra tất cả các phụ thuộc hàm trong F có thể được thực hiện bằng cách nào?

Tập phụ thuộc hàm Fi trên quan hệ con Ri (Fi là tập con của F giới hạn trên Ri) bao gồm các phụ thuộc hàm nào?

Để kiểm tra tính bảo toàn phụ thuộc của phân rã R thành {R1, R2, …, Rn} đối với F, ta cần kiểm tra điều kiện nào?

Thuật toán kiểm tra tính bảo toàn phụ thuộc cho phân rã R thành {R1, R2, …, Rn} đối với F thường thực hiện như thế nào?

Cho lược đồ R(A, B, C) và F = {A $\to$ B, B $\to$ C}. Xét phân rã {R1(A, B), R2(B, C)}.
F1 trên R1(A, B) bao gồm {A $\to$ B}.
F2 trên R2(B, C) bao gồm {B $\to$ C}.
Hợp các phụ thuộc hàm trên các quan hệ con là F’ = {A $\to$ B, B $\to$ C}.
Bao đóng của F’ (F’+) là F+.
Phân rã này có bảo toàn phụ thuộc không?

Cho lược đồ R(A, B, C, D) và F = {A $\to$ B, B $\to$ CD}. Xét phân rã {R1(A, B), R2(B, C, D)}.
F1 trên R1(A, B) bao gồm {A $\to$ B}.
F2 trên R2(B, C, D) bao gồm {B $\to$ C, B $\to$ D, B $\to$ CD, C $\to$ D (nếu C $\to$ D suy diễn được từ B $\to$ CD, điều này không chắc chắn nếu không có thêm luật suy diễn… à, F2 bao gồm tất cả FD X $\to$ Y trong F+ với XY là tập con của {B,C,D}. Với F = {A $\to$ B, B $\to$ CD}, F+ chứa A $\to$ B, B $\to$ C, B $\to$ D, A $\to$ C, A $\to$ D, A $\to$ CD, B $\to$ CD.
Các FD trong F+ với thuộc tính con của R1={A,B}: A $\to$ B. F1={A $\to$ B}.
Các FD trong F+ với thuộc tính con của R2={B,C,D}: B $\to$ C, B $\to$ D, B $\to$ CD. F2={B $\to$ C, B $\to$ D, B $\to$ CD}.
Hợp các FD trên các quan hệ con là F’ = {A $\to$ B, B $\to$ C, B $\to$ D, B $\to$ CD}.
Bao đóng của F’ (F’+) = F+.
Phân rã này có bảo toàn phụ thuộc không?

Cho lược đồ R(A, B, C) và F = {AB $\to$ C, C $\to$ B}. Xét phân rã {R1(A, B), R2(A, C)}.
F1 trên R1(A, B) bao gồm FD nào trong F+ với thuộc tính AB? Chỉ có những FD mà vế trái và vế phải đều là tập con của {A, B}. AB $\to$ C không thỏa. C $\to$ B không thỏa. Từ F+ có suy ra FD nào chỉ dùng A, B không? AB $\to$ C, C $\to$ B suy ra AB $\to$ B (Luật Áp dụng), B $\to$ B (Luật Phản xạ), A $\to$ A, B $\to$ B, C $\to$ C, AB $\to$ C, C $\to$ B. Từ C $\to$ B, ta có AC $\to$ AB. Từ AB $\to$ C, ta có AC $\to$ AC. F+ còn có: AC $\to$ B (từ AC $\to$ AB, AB $\to$ C, C $\to$ B -> AC $\to$ C, C $\to$ B -> AC $\to$ B), AC $\to$ BC, BC $\to$ C (Luật Áp dụng).
Let’s use the check method: For each FD X $\to$ Y in F, check if X $\to$ Y holds in $(\cup F_i)+$.
F1={}: F2={}. F’ = {}. F’+ = {}.
FD1: AB $\to$ C. Check if AB $\to$ C holds in {}+. (AB)+ in {}+ is {A, B}. Does not contain C. So AB $\to$ C is NOT preserved.
FD2: C $\to$ B. Check if C $\to$ B holds in {}+. (C)+ in {}+ is {C}. Does not contain B. So C $\to$ B is NOT preserved.
Phân rã này có bảo toàn phụ thuộc không?

Tính bảo toàn phụ thuộc và tính kết nối không tổn thất là:

Mục tiêu của quá trình chuẩn hóa (Normalization) thường là đạt được phân rã có tính chất nào?

BCNF (Boyce-Codd Normal Form) đảm bảo tính chất nào?

3NF (Third Normal Form) đảm bảo tính chất nào?

Nếu một phân rã là Lossless-Join nhưng KHÔNG bảo toàn phụ thuộc, điều gì xảy ra?

Nếu một phân rã là bảo toàn phụ thuộc nhưng KHÔNG Lossless-Join, điều gì xảy ra?

Việc kiểm tra tính bảo toàn phụ thuộc chỉ dựa trên tập phụ thuộc hàm nào?

Trong thuật toán kiểm tra bảo toàn phụ thuộc (dựa trên FD), ta cần tính bao đóng của tập thuộc tính X (vế trái của mỗi FD X $\to$ Y trong F) dựa trên tập phụ thuộc hàm nào?

Nếu mọi phụ thuộc hàm X $\to$ Y trong F đều thỏa mãn Y $\subseteq$ X+ khi X+ được tính dựa trên ${\cup }_{i=1}^n{F}_i$, thì phân rã là gì?

Khi chuyển đổi từ ERD sang mô hình quan hệ, các Khóa ngoại được tạo ra từ các mối quan hệ 1:N hoặc 1:1 có giúp bảo toàn phụ thuộc không?

Sự lựa chọn giữa phân rã Lossless-Join/Dependency Preservation (ví dụ 3NF) và phân rã chỉ Lossless-Join (ví dụ BCNF) thường liên quan đến sự đánh đổi giữa:

Một lược đồ quan hệ ở BCNF sẽ KHÔNG có phụ thuộc hàm X $\to$ Y nào mà X không phải là Siêu khóa, NGOẠI TRỪ:

Phụ thuộc hàm tầm thường (trivial FD) X $\to$ Y là gì?

Kiểm tra tính bảo toàn phụ thuộc là một bước quan trọng để đánh giá chất lượng của quá trình phân rã trong giai đoạn nào của thiết kế CSDL?