JavaScript is required

Cho lược đồ quan hệ có F={A → B, B → X, BX → Z}, áp dụng các hệ tiên đề AMSTRONG ta có phụ thuộc hàm nào?

A.

A → Z, B → Z

B.

A → Z, X → Z

C.

B → Z, X → Z

D.

B → Z, Z → A

Trả lời:

Đáp án đúng: A


Ta có F={A → B, B → X, BX → Z}.

Áp dụng luật bắc cầu (Transitivity):

- Từ A → B và B → X suy ra A → X

- Từ A → B và BX → Z không suy ra được A → Z vì vế trái phải là A → BX

- Từ B → X và BX → Z không suy ra được B → Z vì vế trái phải là B → BX

Áp dụng luật hợp (Augmentation):

- Từ A → B suy ra AX → BX

Áp dụng luật phân rã (Decomposition): không áp dụng được.

Áp dụng luật hợp nhất (Union):

- Từ BX → Z suy ra B → Z và X → Z (sai vì không có luật này)

Ta có BX → Z.

Mà B → X, suy ra BX → X.

Do đó, BX → Z và BX → X. Vậy BX → XZ.

Từ BX → Z và B → X không suy ra được A → Z

Từ BX → Z và A → B suy ra AX → BX (Augmentation).

Mà BX → Z suy ra AX → Z (Transitivity).

Vậy ta có A → Z.

Xét B → Z, ta có B → X và BX → Z, do đó không thể suy ra B → Z một cách trực tiếp từ các phụ thuộc hàm đã cho.

Xét X → Z, ta thấy không có cách nào suy ra được X → Z từ các phụ thuộc hàm đã cho.

Vậy đáp án đúng là A → Z.

Xét B → X và BX → Z:

Nếu B → Z thì BX → XZ (hợp nhất).

BX → Z là đã cho.

Vậy B → Z có thể tồn tại.

Nếu X → Z thì BX → BZ (hợp nhất).

Nhưng BX → Z là đã cho.

Vậy X → Z có thể tồn tại.

Do đó C. B → Z, X → Z là đáp án phù hợp nhất.

Câu hỏi liên quan