Cho lược đồ CSDL Quản lý HDBH:

HoaDon(SoHD, SoMH, TongTriGia)

DM_Hang(MaHang, TenHang, DonViTinh)

ChiTiet_HD(SoHD, MaHang, SoLuongDat, DonGia, TriGia)

Xác định kiểu ràng buộc toàn vẹn sau đây: Số-mặt-hàng = số bộ của CHITIET_HĐ có cùng Số-hóa-đơn

Để xác định phụ thuộc hàm nào thỏa mãn lược đồ quan hệ R với tập phụ thuộc hàm F, chúng ta cần kiểm tra xem có thể suy diễn ra phụ thuộc hàm đó từ F hay không. Chúng ta sẽ sử dụng các quy tắc suy diễn Armstrong để tìm ra đáp án.

A. GH → AB: Ta cần xem xét liệu có thể suy diễn ra GH → AB từ F hay không.
- Chúng ta có GI → H. Nếu có thể suy ra GH từ GI, thì có thể suy ra GH → AB.
- Tuy nhiên, không có cách nào trực tiếp suy ra AB từ GH hoặc từ các phụ thuộc hàm khác trong F.

B. AB → GH: Ta cần xem xét liệu có thể suy diễn ra AB → GH từ F hay không.
- Từ AB → E, ta có AB → E.
- Từ E → G, ta có AB → G.
- Vậy AB → G.
- Để suy ra AB → H, cần có AB → I, vì GI → H.
- AG → I suy ra ABG → I. Vì AB → G, nên AB → I.
- Vậy AB → I.
- GI → H suy ra ABG,I → H. Vì AB → G và AB → I, nên AB → H.
- Vậy AB → H.
- Kết hợp AB → G và AB → H, ta có AB → GH.

C. H → A: Không có cách nào suy diễn H → A từ F.

D. I → B: Không có cách nào suy diễn I → B từ F.

Vậy đáp án đúng là B. AB → GH, vì có thể suy diễn ra từ tập phụ thuộc hàm F.

Trong lý thuyết cơ sở dữ liệu, nếu có phụ thuộc hàm X → Y và Y → Z, thì phụ thuộc hàm X → Z được gọi là phụ thuộc hàm gián tiếp (hay còn gọi là phụ thuộc hàm bắc cầu). Điều này có nghĩa là X xác định Y và Y xác định Z, do đó X gián tiếp xác định Z.