Professional Documents
Culture Documents
Ex2 3 Chg3
Ex2 3 Chg3
Res πSốlượngbảnsao (σ (SACH.Mãsách = Tmp1.Mãsách) ^ (Tênsách = “The Lost Tribe”) (SACH * Tmp1))
2) Tmp1 πMãsách, Sốlượngbảnsao, Tênnhánh (σ SACH_BANSAO.Mãnhánh = NHANH_THUVIEN.Mãnhánh”
(SACH_BANSAO * NHANH_THUVIEN))
Res πTênnhánh, Sốlượngbảnsao (σ (SACH.Mãsách = Tmp1.Mãsách) ^ (Tênsách = “The Lost Tribe”) (SACH * Tmp1)
3) Tmp1 πsốthẻ (NGUOIMUON) - πsốthẻ (SACH_MUON)
Res πTên (Tmp1)
4) Tmp1 πMãsách, Tên, Địachỉ (σ (SACH_MUON.Mãnhánh = NHANH_THUVIEN.Mãnhánh) ^ (Tênnhánh = “Shapstown”)
^ (Ngàytrả = “Hôm nay”) (SACH_MUON * NHANH_THUVIEN))
ĐƠNVỊ)
Res π MãsốDA, MãsốĐV, Họđệm, Tên, Ngàysinh, Địachỉ (Tmp1 MãsốĐV Tmp2)
3) Tmp1 πMãsốDA (σ MãsốĐV = 5 (ĐƠNVỊ))
Tmp2 πMãsốNV (Tmp1 MãsốDA NHÂNVIÊN_DỰÁN)
Res πHọ đệm, Tên (Tmp2 MãsốNV NHÂNVIÊN)
4) Tmp1 σ Tên = “Nam” (NHÂNVIÊN))
Tmp2 NHÂNVIÊN_DỰÁN *MãsốNV = MãsốNV TMP1
Tmp3 Tmp1 *MãsốNV = Mã NQ ĐƠNVỊ
Tmp4 (MãsốDA, SoLuong) MãsốDA FCount (Tên = “Nam”) (Tmp2 MãsốNV Tmp3))
Res_tmp1 πMãsốDA (σ SoLuong > 0 (Tmp4))
Tmp5 πMãsốDA, MãsốNQL (Tmp1 MãsốĐV ĐƠNVỊ)
Tmp6 (MãsốDA, SoLuong) MãsốDA FCount (Tên = “Nam”) (Tmp2
MãsốNV = MãsốNQL Tmp5))
Res_tmp2 πMãsốDA (σ SoLuong > 0 (Tmp6))
Res πMãsốDA (Res_tmp1) πMãsốDA (Res_tmp2)