BÀI TẬP MÔN CƠ SỞ DỮ LIỆU Bài Cho sơ đồ quan hệ W= U=ABCDEIGH F={AB→G, AG →CI, BE→A, E→DH, C→AE} Chứng minh AB→E AB->G (gt) AB->AG (tăng trưởng) AG -> C (gt)  AB->C (bắc cầu) C->E (gt)  AB->E (bắc cầu) Kiểm tra E có phụ thuộc hàm đầy đủ vào AB hay không? Từ CM ta có AB->E Lại có: (A)+ = A => E không phụ thuộc hàm A->E (B)+ = B => E không phụ thuộc hàm B->E => Vậy E phụ thuộc hàm đầy đủ vào AB Tính bao đóng tập thuộc tính: AB, AG, C  (AB)+  (AG)+  (C)+ X0 = AB X0 = AG X0 = C X1 = ABG AB->G X1 = AGCI AG->CI X1 = CAE C->AE X2 = ABGCI AG->CI X2 = AGCIE C->E X2 = CAEDH E->DH X3 = ABGCIE C->E X3 = AGCIE C->E X4 = ABGCIEDH X4 = AGCIEDH E->DH E -> DH => (AB)+ = AGCIEDH => (AB)+ = ABCDEIGH = U => (C)+ = CAEDH Tìm tất khóa F={AB→G, AG →CI, BE→A, E→DH, C→AE} L = ABCEG; R = ACDEGHI H = L/R = {B} H X (HX)+ Siêu khóa Khóa (B)+ = B K K {ACEG} B B A (BA)+=U C C B C (BC)+=U C C B E (BE)+= U C C B G (BG)+ = BG K K Xác định lược đồ có dạng chuẩn 3NF hay khơng?Dạng chuẩn cao nhất? Giải thích? - Khóa = {AB, BC, BE} - Xét : E→DH + E khơng phải siêu khóa DH khơng phải thuộc tính khóa => Khơng đạt 3NF Kiểm tra phép tách lược đồ thành hai lược đồ R(ABCD) R(EIGH) kết nối có bị thơng tin hay khơng? Ta có: ABCD ∩ EIGH = Ø ABCD – EIGH = Ø  Phép tách bị thông tin ABCD A B C D A1 A2 A3 A4 EIGH AB->G (1) AG->CI (2) BE→A (3) C->AE (4) E->DH (5)  Phép tách bị thông tin E I G H A5 A6 A7 A8 Bài Cho sơ đồ quan hệ W= U=ABCDEI F={ A→B, AB→C, AC→D, CD→E, E→I} Kiểm tra A→D hay không? A→B (gt) A→ AB (tăng trưởng) AB→C (gt)  A→C (bắc cầu) A→AC (tăng trưởng) AC→ D (gt)  A→ D (bắc cầu) => đpcm  Tìm bao đóng tập thuộc tính A, AC, CE  (A)+  (AC)+ X0 = A X0 = AC X0 = CE X1 = AB A->B X1 = ACB A->B X1 = CEI E->I X2 = ABC AB->C X2 = ACBD AC->D X3 = ABCD AC->D X3 = ACBDE CD->E X4 = ABCDE CD -> E X4 = ACBDEI E->I X5 = ABCDEI E->I   (CE)+ (A)+ = ABCDEI = U  (CE)+ = CEI (AC)+ = ABCDEI =  U Xác định tất khóa sơ đồ U=ABCDEI F={ A→B, AB→C, AC→D, CD→E, E→I} L = ABCDE R = BCDEI H = {A} Ta thấy: (H)+ = ABCDEI = U => A khóa sơ đồ quan hệ Kiểm tra sơ đồ dạng chuẩn 3NF hay chưa? Giải thích? - Khóa = {A} Xét E→I: + E khơng siêu khóa I khơng thuộc tính khóa => khơng dạng chuẩn 3NF Kiểm tra phép tách {ABC, ACD, CDI,AEI} A B C D ABC A1 A2 A3 A4(4) ACD A1 A2(1) A3 A4 B25(2) A3 A4 B25(2) A6 A3(3) A4(4) A5 A6 CDI AEI A2(1) A1 E I (1): A→B (2): CD→E (3): AB→C (4): AC→D Bài W= CMR HS → T HS -> R (gt) HS -> HR (tăng trưởng) HR -> C (gt)  HS -> C (bắc cầu) C -> T (gt)  HS -> T (bắc cầu) => đpcm Cách 2: Lấy quan hệ R R(U) R thỏa mãn phụ thuộc F={C → T, HR → C, HT → R, CS → G, HS → R} Cần chứng minh R thỏa mãn phụ thuộc hàm HS → T Trên R lấy dòng t t’ bất kỳ: Giả sử: t.HS = t’.HS Cần chứng minh: t.T =t’.T Thật vậy, ta có: t.HS = t’.HS HS->R => t.R = t’.R t.R = t’.R t.H = t’.H => t.HR = t’.HR t.HR = t’.HR HR->C => t.C = t’.C t.C = t’.C C-> T => t.T = t’.T => đpcm Kiểm tra R có phụ thuộc hàm đầy đủ vào HT hay không? (HT)+ = HTRC => HT->R Lại có: (H)+ = H => H ko-> R (T)+ = T => T ko-> R => Vậy R phụ thuộc đầy đủ vào HT Kiểm tra T có phụ thuộc bắc cầu vào HS hay khơng? Ta có: (HS)+ = HSRCTG => HS->R Tính bao đóng tập thuộc tính C, HR, HT  (C)+  (HR)+  (HT)+ X0 = C X0 = HR X0 = HT X1 = CT C->T X1 = HRC HR->C X1 = HTR HT->R X2 = HRCT C->T X2 = HTRC HR->C => (C)+ = CT => (HR)+ = HRCT =>(HT)+ = HTRC Tìm tất khóa lược đồ W= L = CTRHS R = CTRG H = L/R = HS Vì (HS)+ = CTRGSG => HS khóa sơ đồ Tìm dạng chuẩn cao - Khóa = {HS} - Xét C → T: C khơng siêu khóa => khơng dạng BCNF Và T khơng thuộc tính khóa => khơng 3NF Kiểm tra phép tách lược đồ thành lược đồ thành hai lược đồ CSG, CTHRS Ta có: CSG giao CTHRS = CS -> CSG – CTHRS = G  Thỏa mãn định lý Bài Cho lược đồ quan hệ R(U) tập phụ thuộc hàm F U={ABEGIH} F={AB → E, AG → I, BE → I, E → G, GI → H} CMR F|=AB → GH AB->E (gt) (1) E->G (gt) (2)  AB->G (bắc cầu) (3) AB -> AG (tăng trưởng) (4) AG->I (gt) (5)  AB->I (bắc cầu 4,5) (6) (3 & 6) => AB -> GI (cộng vế phải) (7) GI -> H (gt) (8)  AB->H (bắc cầu 7, 8) (9) (3 & 9) => AB -> GH (cộng vế phải) CMR F|- AB → GH Lấy quan hệ R R(U) R thỏa mãn phụ thuộc hàm F={AB → E, AG → I, BE → I, E → G, GI → H} Cần chứng minh R thỏa mãn phụ thuộc hàm AB->G Trên R lấy dòng t t’ bất kỳ: Giả sử: t.AB = t’.AB Cần chứng minh: t.GH =t’.GH Thật vậy, ta có: t.AB = t’.AB AB->E => t.E = t’.E t.E = t’.E E->G => t.G = t’.G (1) t.E = t’.E t.B = t’.B => t.BE = t’.BE t.BE = t’.BE BE-> I => t.I = t’.I (2) (1) (2) => t.GI = t’.GI Lại có: GI -> H => t.H = t’.H (3) (1) (3) => t.GH = t’.GH => đpcm Tính bao đóng tập AB, AG,GE F={AB → E, AG → I, BE → I, E → G, GI → H}  (AB)+  (AG)+  (GE)+ X0 = AB X0 = AG X1 = ABE AB->E X1 = AGI AG->I X2 = ABEI BE->I X2 = AGIH GI->H X3 = ABEIG E->G X0 = GE => (GE)+ = GE => (AG)+ = AGIH X4 = ABEIGH GI -> H => (AB)+ = ABEIGH = U Tìm khóa sơ đồ W= L = ABGEI R = EIGH H = L/R = AB Ta thấy : (H)+ = (AB)+ = U => AB khóa sơ đồ W Kiểm tra sơ đồ có dạng chuẩn 3NF không? Dạng chuẩn cao nhất? Giải thích? - Khóa = {AB} - Xét E → G: E khơng siêu khóa G khơng thuộc tính khóa  Khơng dạng 3NF Kiểm tra phép tách Bài Cho lược đồ quan hệ R(U) tập phụ thuộc hàm F U={ABCDEGH} F={AB → C, B → D, CD → E, CE → GH, G → A} CMR F|=AB → E AB->B (phản xạ) (1) B->D (gt) (2)  AB->D (bắc cầu 1, 2) (3) AB->C (gt) (4)  AB->CD (cộng vế phải 3,4) (5) CD->E (gt) (6)  AB-> E (bắc cầu 5, 6) CMR F|- AB → G Lấy quan hệ R R(U) R thỏa mãn phụ thuộc hàm F={AB → C, B → D, CD → E, CE → GH, G → A} Cần chứng minh R thỏa mãn phụ thuộc hàm AB->G Trên R lấy dòng t t’ bất kỳ: Giả sử: t.AB = t’.AB Cần chứng minh: t.G =t’.G Thật vậy, ta có: t.AB = t’.AB AB->C => t.C = t’.C (1) t.AB = t’.AB B -> D => t.D =t’.D (2) (1) & (2) => t.CD = t’.CD Lại có : CD -> E => t.E = t’.E (3) (1)&(3) => t.CE = t’.CE Lại có: CE -> G => t.G = t’.G => đpcm Tìm khóa sơ đồ W U={ABCDEGH} F={AB → C, B → D, CD → E, CE → GH, G → A} L = ABCDEG R = ACDEGH H = L/R = B X = ACDEG H X B (HX)+ Siêu khóa Khóa (B)+ = BD K K B A (BA)+ = U C C B C (BC)+ = U C C B D (BD)+ = BD K K B E (BE)+ = BED K K B G (BG)+ = U C C Tìm dạng chuẩn cao W Kiểm tra phép tách lược đồ thành lược đồ ABC, BCDE, CEGH kết nối có bị thơng tin hay khơng? A ABC BCDE A1 A1 (2) B C A2 A3 A2 A3 CEGH A3 (1): CE → GH (2): G → A => phép tách không bị thông tin D E G H A4 A5 A6(1) A7(1) A5 A6 A7 Bài Cho lược đồ quan hệ R(U) tập phụ thuộc hàm F U={ABCDEG} F={AB → C, C → A, BC → D, ACD → B, D → EG, BE → C, CG → BD, CE → G} CMR F|=AB → E AB->C (gt) AB->CB (tăng trưởng) BC->D (gt)  AB->D (bắc cầu) D->E (gt)  AB->E (bắc cầu) CMR F|- AB → E Lấy quan hệ R R(U) R thỏa mãn phụ thuộc hàm F={AB → C, C → A, BC → D, ACD → B, D → EG, BE → C, CG → BD, CE → G} Cần chứng minh R thỏa mãn phụ thuộc hàm AB->E Trên R lấy dòng t t’ bất kỳ: Giả sử: t.AB = t’.AB Cần chứng minh: t.E =t’.E Thật vậy, ta có: t.AB = t’.AB AB -> C => t.C = t’.C (1) t.B = t’.B (1) => t.BC = t’.BC t.BC = t’.BC BC->D => t.D = t’.D t.D = t’.D D->E = > t.E = t’.E => đpcm Tìm khóa sơ đồ W= U={ABCDEG} F={AB → C, C → A, BC → D, ACD → B, D → EG, BE → C, CG → BD, CE → G} L = ABCDEG R = ABCDEG Bước 0: K= U={ABCDEG} Bước lặp: (K-A)+ = (BCDEG)+ =BCDEGA =U => loại A => K= BCDEG (K-B)+ = (CDEG)+ =CDEGAB = U => loại B => K= CDEG (K-C)+ = (DEG)+ =DEG ≠U => Không loại C => K= CDEG (K-D)+ = (CEG)+ =CEGABD = U => loại D => K= CEG (K-E)+ = (CG)+ = CGABDE = U => loại E => K= CG (K-G)+ = (C)+ = CA ≠U => Không loại G => K= CG Vậy CG khóa sơ đồ Tìm dạng chuẩn cao W= Tính bao đóng AB, CE F={AB → C, C → A, BC → D, ACD → B, D → EG, BE → C, CG → BD, CE → G}  (AB)+  (CE)+ X0 = AB X0 = CE X1 = ABC AB->C X1 = CEA C->A X2 = ABCD BC->D X2 = CEAG CE->G X3 = ABCDEG D->EG X3 = CEAGBD CG->BD => (AB)+ = ABCDEG = U => (CE)+ = ABCDEG = U Kiểm tra phép tách lược đồ thành hai lược đồ ABEG CDE kết nối có bị thơng tin hay khơng? Ta có: ABEG ∩ CDE = E ABEG – CDE = ABG Từ tập F ta thấy: E ko -> ABG Vậy phép tách bị thông tin Bài Cho lược đồ quan hệ R(U) tập phụ thuộc hàm F U= ABCDEI F={ A→E, AB→C, AC→D, CD→E, E→I} Tính bao đóng tập thuộc tính AB (AB)+ : X0 = AB X1 = ABE A->E X2 = ABEC AB->C X3 = ABECD AC->D X4 = ABECDI E -> I => (AB)+ = ABECDI = U Tìm khóa sơ đồ W L = ABCDE R = CDEI H = L/R = AB Theo ý (1) (H)+ = (AB)+ = U => AB khóa sơ đồ W Tìm dạng chuẩn cao W - Khóa = {AB} - Xét E→I : E khơng siêu khóa => khơng phải BCNF 10 - Tập thuộc tính khơng khóa N = {C, D, E, I} Kiểm tra phép tách lược đồ thành lược đồ AEI, ABC, CDE A AEI A1 ABC A1 B A2 CDE C D A3 A3 A4 E I A5 A6 A5(1) A6(2) A5 A6(2) Ta có: A→E(1) E→I (2) AB→C (3) AC→D (4) CD→E (5)  Phép tách bị thông tin Bài Cho sơ đồ W= 1.Tính bao đóng CF (CF)+ : X0 = CF X1 = CFB C->B X2 = CFBA F->A => (CF)+ = CFBA 2.Tìm khố W L = ABCDF R = ABCE H = L/R = DF X = ABC H X DF (HX)+ Siêu khóa Khóa (DF)+ = DFA K K DF A (DFA)+ = DFA K K DF B (DFB)+ = DFBACE K K DF C (DFC)+ =DFCBAE K K 3.Kiểm tra W dạng chuẩn BCNF chưa? Dạng chuẩn cao W?Giải thích? Bài Cho lược đồ quan hệ: W= U={A, B, C, D, E, I} F={AB→E, AC→I, BC →A, AC→B, CE→D} Chứng minh F|= BC→E 11 BC->A (gt) (1) BC->AB (tăng trưởng) (2) AB->E (gt) (3)  BC->E (bắc cầu 2,3) Tìm tất khố lược đồ quan hệ L = ABCE R = EIABD H = L/R = CE X = AB H X CE (HX)+ Siêu khóa Khóa (CE)+ = CED K K CE A (CEA)+ = CEADIB = U C C CE B (CEB)+ = CEBDAI = U C C Tìm dạng chuẩn cao W Kiểm tra phép tách: U1=ABE, U2=CDE, U3=ABI F={AB→E, AC→I, BC →A, AC→B, CE→D} ABE A B A1 A2 CDE ABI C E I A5 A3 A1 D A2 A4 A5 A5(1) A6 AB→E (1) AC→I (2) BC →A (3) AC→B (4) CE→D (5)  Phép tách bị thông tin Bài 10 Cho sơ đồ W= Tìm bao đóng [MaSV] [MaSV] + : 12 X0 = MaSV X1 = MaSV, TenSV MaSV->TenSV => [MaSV] + = MaSV, TenSV Tìm dạng chuẩn cao W Tách thành sơ đồ sau: W1= W2=< R 2={MaMT, TenMon}; F2={MaMT→TenMon}> W3=< R 3={MaSV, MaMT, DiemThi}; F3={MaSV, MaMT→ĐiemThi}> CMR phép tách phép tách kết nối không thông tin Lấy quan hệ r quan hệ lược đồ KETQUA(MaSV, TenSV, MaMT, TenMon, DiemThi), ta có: r1 = KETQUA[MaSV, TenSV] = SINHVIEN ∈ W1 r2 = KETQUA[MaMT, TenMon] = MONTHI ∈ W2 r3 = KETQUA[MaSV, MaMT, DiemThi] = DIEM ∈ W3 Khi cần ta khơi phục lại thơng tin: KETQUA = SINHVIEN |> [MaLopMH]+ = [MaLopMH, MaMH, GV, NgayThi, TenMH, SoTC] Giả sử PHIEUDIEM tách làm lược đồ quan hệ + MONHOC(MaMH, TenMH, SoTC) + PD(MaLopMH, MaMH, GV, NgayThi, MaSV, TenSV, DiemThi) Kiểm tra phép tách kết nối có bị thơng tin hay khơng? Ta có: MONHOC ∩ PD = MaMH MONHOC – PD = TenMH, SoTC Từ tập F ta thấy [MaMH]→[TenMH, SoTC] => Phép tách không bị thông tin Kiểm tra sơ đồ quan hệ + MONHOC= + PD= dạng chuẩn 3NF chưa? Bài 12 Cho bảng KETQUA(MaSV, Hoten, NgaySinh, MaLop, D1, D2, D3) gồm trường tương ứng mã số sinh viên, họ tên, ngày sinh, mã lớp, Điểm chuyên cần, điểm thường xuyên điểm thi liệu sau: Lớp Mã số SV Họ tên Ngày sinh khóa Đ1 Đ2 Đ3 học 09150021 Vũ Tuấn Anh 3/3/1991 TH8B 10 09120766 Nguyễn Tùng Bách 09150028 Trần Xuân Bách 11/22/1990 TH9B 0 6/28/1991 TH8A 9 14 09150042 Lê Văn Chiến 1/1/1991 TH8A Viết câu lệnh thực nhập liệu cột mã số sinh viên, họ tên, ngày sinh, lớp, điểm chuyên cần, điểm thường xuyên vào bảng KETQUA Viết câu lệnh sửa liệu cột Đ3 cho sinh viên có mã số ‘09150021’ thành ‘09150028’ thành Viết kết câu lệnh sau: a Select MaSV, Hoten, NgaySinh, D1, D2 From KETQUA Where MaLop=’TH8A’ b Select MaSV, Hoten, NgaySinh, MaLop Frm KETQUA Where Hoten like ‘%’+’Bách’ Thực lấy kết học tập sinh viên lớp TH9A Thực truy vấn tính điểm tổng kết môn học cho sinh viên biết DiemThi=D1*10%+D2*20% + D3*70% Bài 13 Cho bảng HOCSINH(Mahs, Hodem, Ten, NgSinh, MaLop, GT) bảng liệu hình Thực yêu cầu sau: Chèn thêm ghi từ 1-5 vào bảng HOCSINH Thực sửa đổi ngày sinh (NgSinh) học sinh có mã ‘HS080001’ thành ‘5/8/1987’ Thực chuyển lớp cho học sinh lớp ‘10A01’ thành lớp ‘11A01’ Với liệu cho hình viết kết lệnh truy vấn sau: a Select Mahs, Hodem, Ten, NgSinh From HOCSINH Where MaLop=’12A01’ b Select Mahs, Hodem+’ ‘+ Ten As Hoten, NgSinh From HOCSINH Where MaLop=’12A01’ c Select Mahs, Hodem+’ ‘+ Ten As Hoten, NgSinh From HOCSINH where MaLop=’12A01’ and GT=’Nam’ d Select MaLop, Count(Mahs) As Siso From HOCSINH Group By MaLop Order By Siso 15 Lấy danh sách học sinh lớp có mã ‘12C01’ Đưa danh sách học sinh nữ Bài 14 Cho bảng: PHONE(phone_id, phonename, price, type_id): Bảng Điện thoại gồm trường tương ứng mã điện thoại, tên điện thoại, giá mã kiểu điện thoại TYPE(type_id, typename): Bảng Kiểu điện thoại gồm trường tương ứng: mã kiểu điện thoại, tên kiểu điện thoại ORDER_DETAILS(order_id, phone_id, amount): Bảng Chi tiết hóa đơn gồm trường tương ứng mã hóa đơn, mã điện thoại, số lượng Thực yêu cầu sau: Chèn thêm ghi vào bảng Thực giảm giá 10% tất sản phẩm thuộc kiểu ‘11’ Xóa sản phẩm có mã 5,7, Với liệu dưới, viết kết câu truy vấn sau: a a.Select phone_id, phonename, price from PHONE Where type_id =8 b a.Select phone_id, phonename, price from PHONE Where price >=4000000 c b.Select p.phone_id, p.phonename, p.price, t.type_id From PHONE p INNER JOIN TYPE t on p.type_id = t.type_id d Select type_id, count(phone_id) as amount from PHONE group by type_id 16 Thực truy vấn: a Lấy thông tin điện thoại có chứa chữa “iPhone” b Lấy thơng tin sản phẩm mua đơn hàng có mã 4, gồm thông tin: mã điện thoại, tên điện thoại, số lượng, đơn giá thành tiền c Đưa sản phẩm thuộc kiểu ‘HTC’ d Tính tổng số sản phẩm kiểu điện thoại, gồm trường: Mã kiểu điện thoại, tên kiểu điện thoại, số sản phẩm e Tính tổng số sản phẩm bán hóa đơn f Tính tổng giá trị hóa đơn 17 ... MaMH, GV, NgayThi, TenMH, SoTC] [MaMH]→[TenMH, SoTC] => [MaLopMH]+ = [MaLopMH, MaMH, GV, NgayThi, TenMH, SoTC] Giả sử PHIEUDIEM tách làm lược đồ quan hệ + MONHOC(MaMH, TenMH, SoTC) + PD(MaLopMH, MaMH,... MONHOC – PD = TenMH, SoTC Từ tập F ta thấy [MaMH]→[TenMH, SoTC] => Phép tách không bị thông tin Kiểm tra sơ đồ quan hệ + MONHOC= + PD=