Đang tải... (xem toàn văn)
cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu cơ sở dữ liệu
LỜI MỞ ĐẦU Các bạn ạ, lúc công nghệ thơng tin bùng nổ u cầu phần mềm ứng dụng vừa đơn giản,vừa dễ sử dụng lại phải có tính bảo mật cao yêu cầu hàng đầu cơng ty doanh nghiệp ngồi nước Để giải u cầu mơn học “Cơ sở liệu” đời nhằm đáp ứng nhu cầu an toàn liệu quản lý phần mềm ứng dụng Là sinh viên theo học cơng nghệ thơng tin hồn thành mơn học “Cơ cở liệu” nhóm chúng em chọn việc nghiên cứu phép toán lý thuyết tập hợp, toán liên quan đến phụ thuộc hàm Mong thày cô bạn đóng góp cho tiểu luận chúng em để làm chúng em hoàn thiện Dưới báo cáo chi tiết chúng em NHẬN XÉT CỦA GIÁO VIÊN NỘI DUNG I Phần tập đại số quan hệ Bài số 1:Cho quan R S sau: R 1.1 S A B C D A B C D 0 1 1 0 2 1 1 1 1 1 1 x y z v a Tính R-S S-S b Tính R+S c Tính R*S d Giả sử X = {A, B, C}, Y={A, C, D} tính quan hệ chiếu r.X, r.Y s.Y, (r+s).X, (r+s).(XUY) e Chứng minh với quan hệ R, S, Q ta ln có: R*S=S*R R+S = S+R (Tính giao hốn) R*(Q+S) = (R*Q)+ (R*S) (Tính kết hợp) (R+S).X = R.X + S.X (R*S).X = R.X*S.X Bài làm Cơ sở lí thuyết Phép trừ quan hệ : phép trừ quan hệ R S kí hiệu R-S , cho kết chứa tất có R khơng có S 1.2 Phép nối tự nhiên (kí hiệu *) Nhằm loại bỏ thuộc tính thứ điều kiện nối Nếu khơng có tổ hợp thỏa mãn điều kiện nối kết quan hệ rỗng khơng chứa nào.Nếu khơng có diều kiện nối , tổ hợp nối chọn phép nối trở thành tích đề 1.3 Phép Chiếu (π) : Chọn số hàng bảng thỏa mãn điều kiện chọn bỏ qua hàng không thỏa mãn điều kiện chọn hay nói cách khác phép chiếu lựa chọn số 1.4 cột bảng Phép hợp hai quan hệ : kí hiệu R U S cho biết kết quan hệ chứa tất quan hệ R S chứa R S Các trùng lặp bị loại bỏ Lời giải chi tiết a Tính R-S S-S • R-S R-S R.A R.B R R.D C 0 1 0 1 1 • S –S quan hệ rỗng ( không chứa ) b Tính R+S R+S A 1 1 2 x B 1 1 y C 0 1 1 z D 0 1 v c Tính R* S Ở khơng có điều kiện nối nên trở thành tích đề R* S R A 1 1 1 R B 0 0 1 R C 0 0 0 R D 0 0 0 S A 2 x 2 S.B S.C Y 1 Z 1 S.D 1 V 1 1 1 1 1 1 1 0 1 1 0 0 0 X 2 x y y Z 1 z v 1 V R R R R S S.B S.C S.D A B C D A 1 1 1 1 1 2 1 1 1 1 1 1 x Y z v d Tính quan hệ với X = { A,B,C} y = { A, C ,D} • • • r.X ta bảng sau : R.A 1 1 R.B 1 R.C 0 1 S.A 2 x S.B 1 Z S.C 1 v S.Y ta bảng sau : r.Y ta bảng sau : R.A 1 1 • R.C 0 1 R.D 0 (r+s).Y ta bảng sau : R.A R.B R.C S.A S.B S.C 0 1 1 2 1 1 1 1 1 X Y Z (r+s).(X U Y) Ta có X = { A ,B,C } Y = { A,C,D} => X U Y = { A, B ,C} (r+s) (X U Y) ta bảng sau : • R A 1 1 R B 1 R C 0 1 R D 0 S A 2 X S.B S.C S.D Y 1 Z 1 V e Chứng minh: 1) R * S = = S * R R + S = S + R ( Tính giao hốn ) Ta có : S*R A 2 2 2 2 1 B 1 1 2 2 1 C 1 1 1 1 1 D 1 1 1 1 0 A 1 1 1 1 1 B 1 1 1 C 0 1 0 1 0 D 0 0 0 1 x x x x 1 y y y y 1 z z z z 0 v v v v 1 1 1 1 1 1 0 1 0 R * S = S * R ==> Điều phải chứng minh 2) R * ( Q + S ) = ( R * Q ) + ( R * S ) ( Tính kết hợp ) Ta có: S+R A 2 x 1 B y 1 C 1 z 0 D 1 v 0 B D C 1 z D 1 v Giả sử ta có: Q A ===> Ta có bảng sau : B Q+S A 2 x B 2 y R(Q+S) A B 1 1 1 1 1 1 1 1 1 1 C 0 0 1 1 1 1 1 1 1 D 0 0 0 0 0 1 1 1 1 1 A 0 0 0 0 0 0 0 1 1 B 2 x 2 x 2 x 2 x C 2 y 2 y 2 y 2 y D 1 z 1 z 1 z 1 z 1 v 1 v 1 v 1 v Mặt khác : R*Q A B 1 1 C 1 D 0 1 A 0 B 2 2 C 2 2 D 2 2 2 2 (R*Q)+(R*S) A B 1 1 2 2 2 2 1 1 x x x x C 1 1 1 2 2 1 1 y y y y D 0 1 1 1 1 1 1 1 z z z z A 0 1 1 1 1 0 0 v v v v B 0 1 1 1 1 1 1 1 1 C 2 2 1 1 1 1 1 1 D 2 2 0 1 0 1 0 1 0 1 2 2 0 0 0 0 R * ( Q + S ) = ( R * Q ) + ( R * S ) ==> Điều phải chứng minh 3) ( R + S ) X = R X+ S X Gỉa sử X là: X A B C D 1 (R + S) X phép giao X với hợp hai quan hệ R S Khi (R+S).X A B C D Mà R.X A B C D S.X A B C D A B C D Nên R.X+S.X Vậy (R+S).X=R.X+S.X 4) ( R * S ) X = R X * S X Giả sử X có: X A B C D A B C D Nên (R*S) X A B C D A B C D 1 1 1 Và theo câu C ta có R.X S.X R.X A B C D S.X A B C D Nên 10 Bài tập 11 F={XY→W, Y→Z, WZ→P, WP→QR, Q→X} chứng minh XY→P suy dẫn từ F Bài làm: Ta có: Y→Z(gt) WZ→P(gt) YW→P(tựa bắc cầu) XY →P(tựa bắc cầu) Mà XY→W(gt) Vậy XY→P suy dẫn từ F Bài tập 12 Loại bỏ phụ thuộc hàm dư thừa tập F={X→Y, Y→X, Y→Z Z→Y, X→Z, Z→X} Bài làm Tạm thời xóa X→Y khỏi F ta G={ Y→X, Y→Z, Z→Y, X→Z, Z→X } Ta có: X+G= X Z Y =XYZ chứa Y nên phụ thuộc hàm X→Y dư thừa F Loại X→Y khỏi F Tạm xóa Y→X khỏi F ta G={Y→Z, Z→Y, X→Z, Z→X } Ta có: Y+G= Y Z X = XYZ chứa X nên phụ thuộc hàm Y→X dư thừa F Loại phụ thuộc hàm Y→X khỏi F Tạm xóa Y→Z khỏi F ta G={ Z→Y, X→Z, Z→X } Ta có: Y+G=Y không chứa Z nên Y→Z không dư thừa F Tạm xóa Z→Y khỏi F ta G={ Y→Z, X→Z, Z→X } Ta có: Z+G= Z X= XZ không chứa Y nên phụ thuộc hàm Z→Y không dư thừa F Tạm xóa X→Z khỏi F ta G={ Y→Z, Z→Y, Z→X } Ta có: X+G= X không chứa Z nên phụ thuộc hàm X→Z khơng dư thừ F Tạm xóa Z→X khỏi F ta G={ Y→Z, Z→Y, X→Z } Ta có: Z+G= Z Y= YZ khơng chứa X nên phụ thuộc hàm Z→X không dư thừa F Vậy tập phụ thuôc hàm không dư thừa là: F={ Y→Z , Z→Y, X→Z, Z→X } 30 Bài tập 13 cho F={XY→W, Y→Z, WZ→P, WP→ QR, Q→X} chứng minh XY→Q suy dẫn từ F Bài làm: Ta có: XYW(giả thiết) (1) XY WY(gia tăng) (2) WYY(phản xạ) (3) YZ (giả thiết) (4) Từ (3) (4) WY Z (bắc cầu) (5) WY WZ (gia tăng) (6) WZP(giả thiết ) (7) WY P (bắc cầu) (8) XY P (bắc cầu) Vậy XYP suy diễn từ F(điều phải chứng minh) +Qua cho ta thấy vận dụng quy tắc suy diễn phụ thuộc hàm +Các quy tắc suy diễn sử dụng là: _Quy tắc phản xạ _Quy tắc gia tăng _Quy tắc bắc cầu Đây ba quy tắc suy diễn AMSTRONG 31 AMSTRONG chứng minh quy tắc suy diễn từ quy tắ đến quy tắc dâyd đủ.Đúng có nghĩa cho trước tập hợp phụ thuộc hàm F lược đồ quan hệ R,bất kỳ phụ thuộc hàm suy diễn đuợc cách áp dụng quy tắc từ đến trạng thái quan hệ r R thỏa mãn phụ thuộc hàm F.Do việc chứng minh XYP suy dẫn từ F đắn Bài tập 14 Cho F={A→BC, E→C, D→AEF, AF→B,AF→D} phụ thuộc hàm AF→B có dư thừa F khơng Bài làm Tạm thời ta xóa phụ thuộc hàm AF→B khỏi F ta G= { A→BC, E→C, D→AEF,AF→D } Ta có: (AF)+G= AF D AEF C BC =ABCDEF chứa B nên phụ thuộc hàm AF→B dư thừa F Bài tập 15 Nếu X→Y ∈F , A∈X, thuộc tính A gọi dư thừa { X- A } → Y ∈F+ loại bỏ thuộc tính dư thừa tập sau: a F={X→YW, XW→Z, Z→Y, XY→Z } b F={A→BC, E→C, D→AEF, ABF→BD } Bài làm: a) F={X→YW, XW→Z, Z→Y, XY→Z } Tạm thời xóa X→YW khỏi F ta được: G= { XW→Z, Z→Y, XY→Z } X+G= X không chứa YW nên phụ thuộc hàm X→YW khơng dư thừa F Tạm thời xóa XW→Z khỏi F ta có G= { X→YW, Z→Y, XY→Z } 32 Ta có: (XW)+G= XW YW Z Y = XYZW chứa Z nên phụ thuộc hàm XW→Z dư thừa F Loại XW→Z khỏi F Tạm thời xóa Z→Y khỏi F ta có G= { X→YW, XY→Z } Z+G=Z không chứa Y nên phụ thuộc hàm Z→Y không dư thừa F Tạm thời xóa XY→Z khỏi F ta có G= { X→YW, Z→Y } Ta có: (XY)+G= XY YW =XYW khơng chứa Z nên phụ thuộc hàm XY→Z không dư thừa F Vậy tập phụ thuộc hàm không dư thừa là: F={ X→YW, Z→Y, XY→Z } b) F={A→BC, E→C, D→AEF, ABF→BD } Tạm thời xóa A→BC khỏi F ta có G= { E→C, D→AEF, ABF→BD } Ta có: A+G= A không chứa B nên phụ thuộc hàm A→BC khơng dư thừa F Tạm thời xóa E→C khỏi F ta có G= { A→BC, D→AEF, ABF→BD } Ta có: E+G= E khơng chứa C nên phụ thuộc hàm E→C không dư thừa F Tạm thời xóa D→AEF khỏi F ta có G= { A→BC, E→C, ABF→BD } Ta có: D+G= D khơng chứa AEF nên phụ thuộc hàm D→AEF không dư thừa F Tạm thời xóa ABF→BD khỏi F ta có G= { A→BC, E→C, D→AEF} Ta có: (ABF)+G= ABF BC = ABCF không chứa BD nên phụ thuộc hàm ABF→BD không dư thừa F Vậy tậ phụ thuộc hàm không cư thừa F Bài tập 16 Sử dụng luật hệ tiên đề Amstrong chứng minh tính chất sau: a Tính tựa bắc cầu: Nếu X→Y YZ→W XZ→W b Tính phản xạ chặt X→X 33 c Tính cộng tính : Nếu X→Y Z→W XZ→YW d Tính chất hợp : Nếu X→Y X→Z th ì X→YZ e Tính tách : Nếu X→YZ X→Y v X→Z f Tính tích luỹ: Nếu X→YZ, Z→VW X→YVW Bài làm a) Từ: X→Y theo tính chất gia tăng XZ→YZ(1) Mặt khác YZ→W(gt)(2) Từ (1) (2) theo tính chất bắc cầu XZ→W(đpcm) b) X→X hiển nhiên X tập X nên theo tính chất phản xạ c) d) e) f) X→X(đpcm) Nếu X→Y Z→W XZ→YW nghĩa với qua hệ R mà R thỏa mãn X→Y(1) R thỏa mãn phụ thuộc hàm Z→W(2) Cần chứng minh R thỏa mãn phụ thuộc hàm XZ→YW(3) Biểu thức (3) có nghĩa với u,v ЄR, ta có u.ZX=vZX(4), ta cần chứng minh u.YW=v.YW(5) Từ (4) ta suy u.X=v.X(6) u.Z=v.Z(7) Do (6) (1) suy u.Y=v.Y(8) Do (7) (2) suy u.W=v.W(9) Từ (8) (9) suy u.YW=vYW(đpcm) Từ X→Y theo tính chất gia tăng X→XY(1) Từ X→Z theo tính chất gia tăng XY→YZ(2) Từ (1), (2) theo tính chất bắc cầu X→YZ(đpcm) Ta ln có: YZ→Y(phản xạ)(1) YZ→Z(phản xạ)(2) Mặt khác theo giả thiết có X→YZ(3) Từ (1),(2) (3) theo tính chất bắc cầu X→Y X→Z(đpcm) Từ: X→Y theo tính chất gia tăng XZ→YZ(1) Mặt khác YZ→VW(gt)(2) Từ (1) (2) theo tính chất bắc cầu XZ →VW(đpcm) 34 Bài tập 17 Cho lược đồ quan hệ α=(U, F) với U=ABCDEG F={A→C, BC→D, D→E, E→A} Hãy tính a) (AB)+ b) ((DE)+A)+ Bài làm: a) Ta có: (AB)+=AB C D E A=ABCDE b) ((DE)+A)+= (ADE)+ = ADE C E A =ACDE Bài tập 18 Cho lược đồ quan hệ α=(U, F) với U=ABCDEG F={B→C, AC→D, D→G, AG→E} cho biết a) AB→G∈F+ b) BD→AD∈F+ Bài làm: a) AB→G Ta có: B→C(gt) AC→D(gt) AB→D(tựa bắc cầu) Mà D→G(gt) AB→G Vậy AB→G∈F+ b) BD→AD∈F+ Theo câu a ta có AB→G AG→E(gt) AB→E 35 Vậy BD→AD∉F+ Bài tập 19 Cho lược đồ quan hệ α=(U, F) với U=ABCDEGH F={AB→GH, GD→AHE, C→AGH, HE→BC } a) tính (CE)+ b) tính (CD)+ c) Chứng minh ABE→DH không suy dẫn từ F d) Chứng minh với quan hệ R U Nếu R thoả F R thoả ACD→BHE Bài làm: a) (CE)+= CE AGH BC GH = ABCEGH b) (CD)+= CD AGH AEH BC GH = ABCDEGH c) ABE→DH Theo tính chất bao đóng tập thuộc tính ta có: Phụ thuộc hàm X→Y Є F+ Y Є F + hay X→Y suy dẫn từ F Y Є F+ Áp dụng tính chất với phụ thuộc hàm cho ta có: (ABE)+= ABE GH BC = ABCEGH không chứa DH nên ABE→DH không suy dẫn từ F d) Với quan hệ R U Nếu R thoả F R thoả ACD→BHE tức ACD→BHE suy dẫn từ F Ta có: (ACD)+=ACD AGH AHE BC = ABCDEGH = U Vậy ACD→BHE suy dẫn từ F Bài tập 20 Cho lược đồ quan hệ α = (U, F) với U = ABCDEGH F = { B → AEG , ABE → CH , ACD → BEG } Bằng luật hệ tiên đề Armstrong chứng tỏ phụ thuộc hàm f = BD → CGH suy dẫn từ tập phụ thuộc hàm F Bài làm: Ta có: BD→B (phản xạ) BD→AEG (bắc cầu) (1) BD→AE (luật tách) (2) 36 B→AEG (gt) BD→G(3) Ta lại có: ABE→CH(gt) (4) Từ (2) (4) BD→CH(5) Từ (3) (5) BD→CGH Vậy BD→CGH suy dẫn từ F Bài tập 21 Cho lược đồ quan hệ α = (U,F) với U = ABCDEGH F = { AE → BEG , CEH → BD , DG → BCD, ABC → DE} phụ thuộc hàm f = ACE → DEG Hãy f dẫn từ tập F theo luật hệ tiên đề Armstrong Bài làm: Ta có Có Có => (1) Mà Nên Có: => Mà ==> ==> Mà ta có Ta thay A vào B tức ==> (2) 37 Từ (1) (2) suy Theo hệ tiên đề Armstrong: tính chất gia tăng ta có Vậy f dẫn từ tập F Bài tập 22 Cho lược đồ quan hệ α = (U, F) X,Y,Z tập tập thuộc tính U Dựa vào luật hệ tiên đề Armstrong chứng minh phụ thuộc hàm X → YZ suy dẫn từ tập F phụ thuộc hàm X → Y X → Z suy dẫn từ tập F Bài làm: Nếu X → Y X→Z suy dẫn từ F X→YZ suy dẫn từ F theo luật tách ta có X→YZ Bài tập 23 Cho lược đồ quan hệ α = (U,F) với U = ABCDEGH F = { AE → BEG , CEH → BD , DG → BCD, ABC → DE} phụ thuộc hàm f = ACE → DEG Hãy f dẫn từ tập F việc ứng dụng luật hệ tiên đề Armstrong Bài làm: Ta có: AE→BEG(gt) AEC→BCEG(luật gia tăng) (luật tách) Theo giả thiết ABC→DE (3) Từ (2) (3) ACE→DE (luật tách) Từ (1) (4) ACE→DEG (luật hợp) 38 Vậy f = ACE → DEG suy dẫn từ F Bài tập làm thêm Bài 1: Cho F = {A →B, B→C, A→C, B→DE, A→E, A→D} Kiểm tra xem A→B có dư thừa hay không cách Thử loại phụ thuộc hàm khỏi F sau tính A+ Nếu A ⊇ B dư thừa, trái lại khơng dư thừa Sau loại A→B ta có F = {B→C, A →C,B →DE, A→E, A→ D} Rõ ràng A+={AED} nên B ∉ A+, chứng tỏ A→B không dư thừa Vậy phụ thuộc hàm không loại khỏi F F là: {A→ B, B→C, A→C, B→DE, A→E, A→D} Kiểm tra B→C có dư thừa ? Loại B→C khỏi F, ta có F = {A→B, A→C,B→DE, A→E, A→D} B+= {BDE} không chứa C, chứng tỏ B→C không dư thừa F là: {A→B, B→C, A→C, B→DE, A→E, A→D} Kiểm tra A→C có dư thừa ? Loại A→C khỏi F ta F = {A→B, B→C, B→DE, A→E, A→D} A+= {ABCDE} có chứa C, chứng tỏ A→C dư thừa F là: F = {A→B, B→C, B→DE, A→E, A→D} Kiểm tra B→DE có dư thừa ? Loại B→DE khỏi F, ta F = {A→B, B→C, A→E, A→D} B+= {BC} không chứa DE, chứng tỏ B→DE không dư thừa F {A→B, B→C, B→DE, A→E, A→D} Kiểm tra A→E có dư thừa ? Loại A→E khỏi F, ta F = {A→B, B→C, B→DE, A→D} 39 A+= {ABCDE} chứa E, chứng tỏ phụ thuộc hàm dư thừa F là: {A→B, B→C, B→DE, A→D} Kiểm tra A→D có dư thừa ? Loại A→D khỏi F, ta F = {A→B, B→C, B→DE} A+ = {ABCDE} chứa D, chứng tỏ phụ thuộc hàm A →D dư thừa F {A→B, B→C, B→DE} Duyệt lại phụ thuộc hàm ta thấy khơng có phụ thuộc hàm bị loại thêm (Tc F = Const) Do tập phụ thuộc hàm cuối sau loại phụ thuộc dư thừa là: F = {A→B, B →C, B D→E} Bài 2: Tìm phụ tối thiểu lược đồ cho đây: R = , Với: U = {ABCDEGH} F = {A→BC, BE→G, E→ D, D G, A→ B, AG→ BC} Bước Tách vế phải thành thuộc tính: A→B A→C BE→G E→D D→G A→B AG→B AG→C Bước Xố thuộc tính dư thừa B dư thừa BE →G Vì (E)+ = {DEG} chứa G 40 G dư thừa AG →B Vì (A)+= {ABC} chứa B G dư thừa A →C Vì (A)+ = {ABC} chứa C Bước Xoá phụ thuộc hàm dư thừa: A→B dư thừa Vì xố khỏi F, ta có (A)+ = {ABC} Chứa B A→C dư thừa Vì xố khỏi F, ta có (A)+= {ABC} Chứa C A→B dư thừa Vì xố khỏi F, ta có (A)+ = {ABC} Chứa B E→G dư thừa Vì xố khỏi F, ta có (E)+= {DEG} Chứa G Phủ tối thiểu F 1) A→B 2) A→C 3) D→G 4) E→D 41 Phần III Kết Luận Trên báo cáo với kiến thức phép toán tập hợp với phép hợp, phép trừ, phép nối tự nhiên, phép chiếu; tốn tìm khóa với việc tìm khóa lược đồ, tìm nhiều khóa lược đồ, tìm giao khóa; tốn dạng chuẩn với việc chứng minh lược đồ cho có thuộc dạng chuẩn BCNF hay không, phụ thuộc hàm với tốn chứng minh lược đồ có suy dẫn từ tập cho trước hay không dựa vào tiên đề định luật Amstrong, câu lệnh truy vấn đơn giản với ngôn ngữ SQL vào đề tài quản lý điểm với thao tác tạo bản: tạo sở liệu quản lý điểm, chèn liệu vào bảng, cập nhật dữ liệu (chèn, sửa, xóa), xếp, đếm số lượng(đếm số học sinh, đếm lớp…), thao tác tính điểm trung bình học sinh, in học sinh có điểm trung bình cao nhất, thấp nhất, xếp loại học sinh, in học sinh phải thi lại môn, phải thi lại tất môn, truy vấn hiển thị thông tin học sinh, lớp, môn,…theo yêu cầu đề bài… Qua phần thấy lợi ích việc sử dụng ngơn ngữ sở liệu có tác dụng so với việc sử dụng tệp file quản lý trước Chúng em xin cám ơn giáo viên môn, cô Trịnh Thị Nhị giúp đỡ, bảo tận tình, giúp chúng em hồn thành báo cáo 42 Danh mục tài liệu tham khảo Hệ quản trị sở liệu - Phạm Gia Tiến, Phạm Thế Phi Thực hành SQL - Trần Nguyên Phong Cơ sở liệu - Võ Quang Trung Hệ quản trị sở liệu SQL Server - Phan Hiền Cơ Sở Dữ Liệu - Th.S Trương Ngọc Châu Cơ sở liệu - Nguyễn Văn Chức Ngôn ngữ SQL - ThS Nguyễn Đức Thuần Quản trị Cơ sở liệu Phần mềm ứng dụng - Thầy Trung Giáo trình sở liệu quan hệ - Phạm Đức Nhiệm 10-Giáo trình thực hành SQL- Trường đại học Huế 123456789- 11-http://utehy.vn/forum 12-Đề cương giảng lý thuyết sở liệu-Trường ĐHSPKT Hưng Yên 43 44 ... giao hốn) R*(Q+S) = (R*Q)+ (R*S) (Tính kết hợp) (R+S).X = R.X + S.X (R*S).X = R.X*S.X Bài làm Cơ sở lí thuyết Phép trừ quan hệ : phép trừ quan hệ R S kí hiệu R-S , cho kết chứa tất có R khơng... 76 75 74 Gt Nữ Nữ Nam Nam Q HN HF SG VF NH Anh Hóa Tốn Tin học Điểm vào 18 20 22 22 13 Bài Cho sở liệu gồm quan hệ SV(MSV, HT, NS, QUE) ĐT(MĐT, TĐT, GV, KP) TT(MSV, MĐT, NTT, KQ) Trong : MSV :... cung cấp TENCC, LOAI nhà cung cấp (VD: thầu phụ, thầu chính…), thành phố mà nhà cung cấp đặt trụ sở PHANPHOI (MASP, MAX, MACC, SOLUONG) Tân từ : Môt số lượng SOLUONG sản phẩm MASP phân phối đến