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

Cho lược đồ quan hệ R(A,B,C,D,E,G,H) và tập các phụ thuộc hàm F={AB → C, B → D, CD → E, CE → GH, G → A}. Phụ thuộc hàm nào thoả R?

Luật phản xạ trong hệ tiên đề Armstrong được mô tả như thế nào?

Nếu A → C và CZ → D thì AZ → D. Luật nào được áp dụng?

Luật tăng trưởng (gia tăng) trong hệ tiên đề Armstrong được mô tả như thế nào?

Cho lược đồ quan hệ và tập các phụ thuộc hàm F={AB → C, B → D, CD → E, CE → GH, G → A}. Phụ thuộc hàm nào thoả R?

Xác định kiểu ràng buộc toàn vẹn sau: Ngày xếp lương phải lớn hơn ngày vào làm của Nhân viên. ∀t ∈ NHANVIEN (t.NgVaoLam <= t.NgXepLuong)

</=>

Xác định kiểu ràng buộc toàn vẹn cho mô tả sau: "Lương nhân viên tối thiểu là 2.500.000" ∀t ∈ NHANVIEN (t.Luong>=2.500.000)