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: Tổng giá trị của mặt hàng trong CHITIET_HĐ có cùng Số-hóa-đơn phải bằng Tổng-trị-giá ghi trong HÓAĐƠN.

Câu hỏi đưa ra một ràng buộc: "Ngày lập hóa đơn phải trước hoặc trùng với ngày xuất hàng". Ràng buộc này liên quan đến hai thuộc tính (NGAYLAP và NGAYXUAT) trong cùng một bảng (HoaDon). Do đó, đây là một ràng buộc liên thuộc tính.

* Ràng buộc tham chiếu: Liên quan đến khóa ngoại và khóa chính giữa các bảng khác nhau.
* Ràng buộc liên bộ: Liên quan đến nhiều bộ (hàng) trong cùng một bảng hoặc các bảng khác nhau.
* Ràng buộc liên thuộc tính: Liên quan đến các thuộc tính trong cùng một bảng.
* Ràng buộc miền giá trị: Giới hạn các giá trị mà một thuộc tính có thể nhận.

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

Ràng buộc toàn vẹn được đưa ra liên quan đến hai thực thể NHANVIEN và PHONGBAN, đồng thời có sự so sánh giữa các thuộc tính NgSinh (Ngày sinh) của NHANVIEN và NgNhanChuc (Ngày nhận chức) của PHONGBAN. Do đó, đây là ràng buộc liên quan đến cả thuộc tính và quan hệ. Cụ thể:

- Liên thuộc tính: Vì ràng buộc so sánh giữa hai thuộc tính (Ngày sinh và Ngày nhận chức).
- Liên quan hệ: Vì ràng buộc liên quan đến hai bảng (quan hệ) NHANVIEN và PHONGBAN.

Vì vậy, đáp án C là chính xác nhất.

Để xác định các phụ thuộc hàm thỏa mãn, ta cần kiểm tra xem các phụ thuộc hàm được suy dẫn từ tập phụ thuộc hàm F đã cho có thể tạo ra các phụ thuộc hàm ở các đáp án hay không.

* Phân tích tập phụ thuộc hàm F:
* F = {AB → E, AG → I, BE → I, E → G, GI → H}

* Xét đáp án A: AB → GH, AG → GH
* Từ AB → E và E → G, ta có AB → G. Từ GI → H và E → G, ta cần có AB → I để suy ra AB → H. Ta có AB → E, BE → I nên không suy ra được AB → I. Vậy AB → GH không thể suy ra từ F.
* AG → I và GI → H, suy ra AG → H. E → G, AB → E, AB → G. AG → I, vậy AG → GH đúng.

* Xét đáp án B: AG → GH
* AG → I và GI → H, suy ra AG → H. E → G, AB → E, AB → G. AG → I, vậy AG → GH đúng.

* Xét đáp án C: GH → AB
* Không có cách nào suy ra GH → AB từ F.

* Xét đáp án D: AB → BH
* Từ AB → E và E → G, ta có AB → G. Để suy ra AB → BH, cần suy ra AB → H. Ta có AB → E, BE → I. Tuy nhiên ta không thể suy ra AB → H từ F.

Vậy, chỉ có AG → GH là phụ thuộc hàm có thể suy ra được từ tập phụ thuộc hàm F.

Để xác định phụ thuộc hàm nào thỏa mãn R, ta cần kiểm tra xem phụ thuộc hàm đó có thể được suy dẫn từ tập phụ thuộc hàm F đã cho hay không.

* A. GE → AB:
* G → A (theo F)
* Để suy ra GE → AB, ta cần suy ra E → B từ F. Tuy nhiên, không có cách nào suy ra E → B từ F. Vậy, GE → AB không thỏa mãn R.

* B. B → CDH:
* B → D (theo F)
* AB → C (theo F), mà B là một phần của AB, nên có thể suy ra B → C (tính chất bắc cầu).
* CE → GH (theo F). Vì B → C, để suy ra B → H, ta cần B → E. Tuy nhiên, không có cách nào suy ra B → E từ F. Vậy, B → CDH không thỏa mãn R.

* C. AB → G:
* AB → C (theo F).
* CD → E (theo F).
* CE → GH (theo F).
* G → A (theo F).
* Ta cần chứng minh AB → G có thể suy ra từ F. Không có trực tiếp một quy tắc nào cho phép suy ra AB → G. Tuy nhiên, ta có thể sử dụng các quy tắc suy diễn. Nếu ta có thể suy ra AB → A, AB → B, và AB → C, thì ta có thể suy ra AB → ABC. Từ đó, ta có thể cố gắng suy ra AB → G. Tuy nhiên, việc này là không thể trực tiếp từ F. Mặt khác ta có thể tính bao đóng của AB:
AB+ = ABC (do AB -> C)
ABC+ = ABCDE (do CD -> E)
ABCDE+ = ABCDEGH (do CE -> GH)
ABCDEGH+ = ABCDEGH (do G -> A)
Như vậy AB+ = ABCDEGH, suy ra AB -> G là một phụ thuộc hàm có thể suy diễn từ F. Vậy AB → G thỏa mãn R.

* D. E → CD:
* CD → E (theo F), nhưng không có cách nào suy ra E → C và E → D. Vậy, E → CD không thỏa mãn R.

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