0

lược đồ quan hệ r abcdegh và tập phụ thuộc hàm trên r f acb abcd cd chdg ecd acbd eca egb gcd 1   tìm một phủ tối tiểu của f

Tiểu luận môn cơ sở dữ liệu nâng cao CÁC DẠNG CHUẨN CỦA LƯỢC ĐỒ QUAN HỆ

Tiểu luận môn cơ sở dữ liệu nâng cao CÁC DẠNG CHUẨN CỦA LƯỢC ĐỒ QUAN HỆ

Hệ thống thông tin

... cho phủ tối tiểu R( ABCD); F = {B → C; C → D} Phép tách lược đồ quan hệ Phép tách lược đồ quan hệ R = {A1, …An} việc thay lược đồ quan hệ R tập lược đồ {R 1, R2 ,…, Rk}, Ri ⊆ R, i =1 k R = R1 ∪ ... Thể quan hệ R lược đồ quan hệ R( U, F) tập tất thỏa mãn tập tất phụ thuộc hàm F Hệ tiên đề Armstrong cho phụ thuộc hàm Gọi R( U, F) lược đồ quan hệ với U={A 1, , An} tập thuộc tính X, Y, Z W ⊆ U Hệ ... tìm phủ tối tiểu thứ tự phụ thuộc hàm F khác thu phủ tối tiểu khác 8.2 Thuật toán tìm phủ tối tiểu Input: Lược đồ quan hệ ban đầu R tập phụ thuộc hàm F, số phụ thuộc hàm F m Output: Tập phụ thuôc...
  • 81
  • 2,921
  • 15
Thu gọn lược đồ quan hệ và ứng dụng

Thu gọn lược đồ quan hệ ứng dụng

Công nghệ thông tin

... Phụ thuộc hàm LS (F) Tập vế trái phụ thuộc hàm RS (F) Tập vế phải phụ thuộc hàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụ thuộc hàm ... (F) ; // Tập thuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R  Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g}  {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R =  then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủ tối tiểu Cho hai tập F G tập thuộc...
  • 66
  • 1,119
  • 3
Kiểm tra tính mất mát thông tin của phép tách lược đồ quan hệ

Kiểm tra tính mất mát thông tin của phép tách lược đồ quan hệ

Cơ sở dữ liệu

... Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ J =1 A B C D E G H R1 (ABCD) a1 a2 a3 a4 R2 (ABC) a1 a2 a3 R3 (CEGH) ... Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ Cho quan h R( U, F) : U ={A B C D E G H} F = {A → D, B → CE, C → G, E →H} Hãy ki m tra tính m t ... → G, E →H} Hãy ki m tra tính m t mát thông tin tách R thành: R1 (ABCE), R2 (ABDH), R3 (CGH) Bài gi i: I =1 R1 (ABCE) R2 (ABDH) R3 (CGH) J =1 A a1 a1 B a2 a2 C a3 a3 a3 D a4 a4 E a5 a5 G a6 a6 a6 H a7...
  • 3
  • 15,692
  • 120
Tìm tất cả các khóa của lược đồ quan hệ

Tìm tất cả các khóa của lược đồ quan hệ

Kỹ thuật lập trình

... Giao R (Giao tập hợp để lấy thuộc tính chung Tập hợp đó) Ví dụ : Cho L = {A,B,C,D,E} R = {D,E ,F, G} Vậy TG = L /cap R = {D,E} Thuật toán : Bước : Tìm tập thuộc tính nguồn TN Tập thuộc tính trung ... (http://en.wordpress.com/aboutthese-ads/) Để lại phản hồi Posted by tltiendat on 05 /12 /2 011 in CSDL Nâng Cao Blog at WordPress.com The Choco Theme Entries (RSS) Bình luận (RSS) Follow Follow “Mập ... EDF Vậy S = {AB,ED} tập khóa cần tìm Chúng ta có ví dụ mẫu sau : Ví dụ : Cho tập sỡ liệu R = Ví dụ : Cho tập sỡ liệu R = Với Q = {ABC} F = {AB –> C, C -> A} Tìm tất khóa thuộc tập...
  • 4
  • 19,147
  • 123
Kiểm tra dạng chuẩn của lược đồ quan hệ pps

Kiểm tra dạng chuẩn của lược đồ quan hệ pps

Cơ sở dữ liệu

... tra bảo toàn tập phụ thuộc hàm bảo toàn thông tin Bài Cho lược đồ quan hệ R= ABCDE Tập phụ thuộc hàm F= {A → C, B → C, C → D, DE → C, CE → A} Phép tách lược đồ thành lược đồ con: R1 =AD, R2 =AB, R3 =BE, ... R3 =BE, R4 =CDE, R5 =AE Kiểm tra phép tách có mát thông tin hay không ? Bài Cho lược đồ quan hệ R= ABCD Tập phụ thuộc hàm F= {A→B, B→C, A→D, D→C} Phép tách lược đồ thành lược đồ : R1 =AB, R2 =AC, R3 =BD ... tra phép tách có bảo toàn thông tin hay không? Kiểm tra phép tách có bảo toàn tập phụ thuộc hàm với F ? Bài Cho lược đồ quan hệ R= ABCDEH Tập phụ thuộc hàm F= {C →ADEH, A →B, DEH →A} Phép tách lược...
  • 13
  • 4,211
  • 81
Các thuật toán biến đổi thuật toán lược đồ quan hệ và ứng dụng

Các thuật toán biến đổi thuật toán lược đồ quan hệ ứng dụng

Công nghệ thông tin

... LƢỢC ĐỒ QUAN HỆ 1. 1 Quan hệ 1. 2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồ quan hệ 1. 2 .1 Phụ thuộc hàm 1. 2.2 Hệ tiên đề Armstrong 1. 2.3 Lƣợc đồ quan hệ ... t.X tập thuộc tính X Một quan hệ r ng, ký hiệu , quan hệ không chứa Chú ý: Mỗi quan hệ tập nên quan hệ hai trùng lặp 1. 2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồ quan hệ 1. 2 .1 Phụ thuộc hàm ... tức là: R( X Y) u,v R: u.X = v.X u.Y = v.Y Cho quan hệ R( U) tập PTH F tập thuộc tính U Ta nói quan hệ R thỏa tập PTH F, ký hiệu R( F) , R thỏa PTH F, tức R( F) f F: R( f) 1. 2.2 Hệ tiên đề Armstrong [2,...
  • 47
  • 385
  • 0
CÁC THUẬT TOÁN BIẾN ĐỔI LƯỢC ĐỒ QUAN HỆ VÀ ỨNG DỤNG

CÁC THUẬT TOÁN BIẾN ĐỔI LƯỢC ĐỒ QUAN HỆ ỨNG DỤNG

Cơ sở dữ liệu

... phụ thuộc hàm vào tập thuộc tính X, tập thuộc tính X xác định hàm tập thuộc tính Y Cho quan hệ R( U) PTH f: X ↑ Y U Ta nói quan hệ R thỏa PTH f (hay PTH f quan hệ R) , ký hiệu R( f) , hai tùy ý R ... Armstrong, lược đồ quan hệ 1. 2 .1 Phụ thuộc hàm [2] ζ Định nghĩa phụ thuộc hàm Cho tập thuộc tính U Giả sử X, Y ⊂ U Một phụ thuộc hàm (PTH) U biểu thức dạng f: X ↑ Y Nếu f: X ↑ Y PTH U ta nói tập thuộc ... với thuộc tính, dòng Ta ký hiệu t(X) t.X tập thuộc tính X Một quan hệ r ng, ký hiệu ⊕, quan hệ không chứa Chú ý: Mỗi quan hệ tập nên quan hệ hai trùng lặp 1. 2 Phụ thuộc hàm, hệ tiên đề Armstrong,...
  • 31
  • 402
  • 0
Bài toán thành viên và bài toán tìm khóa trong lược đồ quan hệ với phụ thuộc boole

Bài toán thành viên bài toán tìm khóa trong lược đồ quan hệ với phụ thuộc boole

Thạc sĩ - Cao học

... nghĩa 1. 2.3 Cho tập PTH F tập thuộc tính U Ta nói quan hệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F) ⇔ (∀ f ∈ F) : R( f) Nếu quan hệ R thỏa PTH f ta nói PTH f quan hệ R Thí dụ Cho lược đồ quan ... 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 2.2 Phụ thuộc Boole dương Tiếp theo số phụ thuộc logic phụ thuộc hàm, phụ thuộc đối ngẫu, phụ thuộc mạnh, phụ thuộc yếu, phụ thuộc sai khác, ... hàm F, G U, tập quan hệ ℜ U, quan hệ R S U Khi đó: Nếu F ⊆ G SAT (F) ⊇ SAT(G) SAT(FG) = SAT (F) ∩ SAT(G) FD (R S) ⊆ FD (R) ∩ FD(S) R ⊆ S → FD (R) ⊇ FD(S) F ⊆ FD(SAT (F) ) ℜ ⊆ SAT(FD(ℜ)) SAT(FD(SAT (F) ))...
  • 64
  • 678
  • 0
Thu gọn lược đồ quan hệ và ứng dụng

Thu gọn lược đồ quan hệ ứng dụng

Thạc sĩ - Cao học

... Phụ thuộc hàm LS (F) Tập vế trái phụ thuộc hàm RS (F) Tập vế phải phụ thuộc hàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụ thuộc hàm ... (F) ; // Tập thuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R ⊆ Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g} ∪ {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R = ∅ then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủ tối tiểu Cho hai tập F G tập thuộc...
  • 65
  • 320
  • 0
Thu gọn lược đồ quan hệ và ứng dụng

Thu gọn lược đồ quan hệ ứng dụng

Quản trị kinh doanh

... LĐQH Lược đồ quan hệ LĐCB Lược đồ cân PTH Phụ thuộc hàm LS (F) Tập vế trái phụ thuộc hàm RS (F) Tập vế phải phụ thuộc hàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd ... data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error ... not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read...
  • 27
  • 240
  • 0
Thu gọn lược đồ quan hệ và ứng dụng

Thu gọn lược đồ quan hệ ứng dụng

An ninh - Bảo mật

... Phụ thuộc hàm LS (F) Tập vế trái phụ thuộc hàm RS (F) Tập vế phải phụ thuộc hàm 1NF 1st normal form - Dạng chuẩn 2NF 2nd normal form - Dạng chuẩn 3NF 3rd normal form - Dạng chuẩn FD Phụ thuộc hàm ... (F) ; // Tập thuộc tính F G := F; For each FD g: L R in F X := L; For each attribute A in X If R ⊆ Closure (U, G, L\{A} R) then Delete A from L in G; Endif Endfor Endfor Return G; End Left_Reduced ... Closure (U, G\{g} ∪ {L R\ {A}},L) then Delete A from R in G; Endif; Endfor; If R = ∅ then Delete L R from G; Endif; Endfor; Return G; End Right_Reduced 1. 5.4 Phủ tối tiểu Cho hai tập F G tập thuộc...
  • 65
  • 343
  • 0
ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Thạc sĩ - Cao học

... tập thuộc tính U Ta nói quan hệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F)  ( f  F) : R( f) Nếu quan hệ R thỏa PTH f ta nói PTH f quan hệ R Thí dụ Cho quan hệ R( A, B, C, D) sau R( A a ... Lƣợc đồ quan hệ 13 1. 2.4 Bao đóng tập thuộc tính 18 1. 2.5 Phủ tập phụ thuộc hàm 21 1.2.6 Khóa lƣợc đồ quan hệ 27 1. 2.7 Chuẩn hoá LĐQH sở phụ thuộc hàm 31 CHƢƠNG PHÉP DỊCH CHUYỂN LƢỢC ĐỒ QUAN HỆ ... F tập thuộc tính U f PTH U Ta nói PTH f suy dẫn theo quan hệ có không p từ tập PTH F viết F ├p f, quan hệ R REL_p(U) thoả F R thoả f F├p f  SAT_p (F)  SAT_p (f) Cho tập thuộc tính U tập PTH F...
  • 65
  • 1,106
  • 2
Luận văn: Ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Luận văn: Ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Khoa học tự nhiên

... tập thuộc tính U Ta nói quan hệ R( U) thoả tập PTH F, viết R( F) , R thoả PTH F, R( F)  ( f  F) : R( f) Nếu quan hệ R thỏa PTH f ta nói PTH f quan hệ R Thí dụ Cho quan hệ R( A, B, C, D) sau R( A a ... Lƣợc đồ quan hệ 13 1. 2.4 Bao đóng tập thuộc tính 18 1. 2.5 Phủ tập phụ thuộc hàm 21 1.2.6 Khóa lƣợc đồ quan hệ 27 1. 2.7 Chuẩn hoá LĐQH sở phụ thuộc hàm 31 CHƢƠNG PHÉP DỊCH CHUYỂN LƢỢC ĐỒ QUAN HỆ ... F tập thuộc tính U f PTH U Ta nói PTH f suy dẫn theo quan hệ có không p từ tập PTH F viết F ├p f, quan hệ R REL_p(U) thoả F R thoả f F├p f  SAT_p (F)  SAT_p (f) Cho tập thuộc tính U tập PTH F...
  • 65
  • 758
  • 0
Chuẩn hóa lược đồ quan hệ

Chuẩn hóa lược đồ quan hệ

Cơ sở dữ liệu

... Khóa c a R2 khóa c a R R1 R2 3NF F Chu n hóa v BCNF: B1: V đ th ph thu c hàm Tµi liÖu tham kh¶o Trang 32 Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation ... khóa Tách R2 thành: R2 1( C H) Khóa C ; F2 1= {C → H} Khóa AB ; F2 2={AB → CD} R2 2(A B C D) R2 1 R2 2 3NF V y t quan h R, ta tách thành quan h : R1 1( E G) Khóa E ; F1 1= {E → G} R1 2(B E) Khóa B ; F1 2={B → ... Tách R1 thành: R1 1( E G) Khóa E ; F1 1= {E → G} Khóa B ; F1 2={B → E} R1 2(B E) R1 1 R1 2 3NF Xét R2 : đ th ph thu c hàm: A B C D H R2 chưa 3NF t n t i H thu c tính không khóa l i ph thu c b c c u vào...
  • 8
  • 8,976
  • 224
Lược đồ quan hệ

Lược đồ quan hệ

Công nghệ thông tin

... password thaydoipassword_sup.asp Giao diện dành cho supervisor: Trang chủ supervisor: + Hiển thị bảng điều khiển dành cho supervisor Trang xem danh sách admin: + Hiển thị danh sách admin có Trang ... mới: + Giúp supervisor thêm admin Trang cập nhật thông tin cá nhân: + Giúp supervisor cập nhật thông tin cá nhân Trang thay đổi password: + Giúp supervisor thay đổi password VII Sơ đồ USE CASE website: ... quản trị nguoiquantri.asp Admin Supervisor Đăng nhập Thành công? No Yes Giao diện dành cho khách tham quan: Trang chủ: + Hiển thị thông tin phim bật nhất, phim nhất, phim bán chạy thị trường...
  • 23
  • 932
  • 0
Bài 16. Chuẩn Hóa Lược Đồ Quan Hệ

Bài 16. Chuẩn Hóa Lược Đồ Quan Hệ

Tin học

... Cho lược đồ quan hệ α=(U, F) , X, Y, Y⊆U tập thuộc tính Y gọi phụ thuộc hàm đầy đủ vào tập thuộc tính X Y phụ thuộc hàm vào X không phụ thuộc hàm vào tập thực x tức là: - X→ Y ( Y phụ thuộc hàm vào ... dạng chuẩn cao lược đồ Mối quan hệ dạng chuẩn 13 /45 16 .2 .1 dạng chUẩn (1NF-fist normal form) Định nghĩa: Một lược đồ quan hệ α=(U, F) gọi dạng chuẩn ( 1NF) tất miền giá trị thuộc tính R nguyên tố ... Xét quan hệ S(S#, PRO), thấy thuộc tính PRO chứa giá trị không nguyên tố Vì quan hệ quan hệ dạng chuẩn 1NF 14 /45 16 .2 .1 dạng chUẩn (1NF-fist normal form) Ví dụ: S# S1 S2 S3 P# 10 0 200 300 10 0...
  • 45
  • 2,871
  • 58
Bài 17. Phép Tách Lược Đồ Quan Hệ

Bài 17. Phép Tách Lược Đồ Quan Hệ

Tin học

... trò vế trái phụ thuộc hàm  Tính X+  Gán Y=( X+∩Z)\X  Khi X→Y phụ thuộc hàm F/ Z 27/36 17 .2 Phép tách bảo toàn thuộc hàm phụ Bảo toàn phụ thuộc hàm: Cho lược đồ quan hệ α =( U, F) δ ={ U1, ... lược đồ dạng 3NF 1 =( U1, F1 ), α2 =( U2, F2 ),…, αn =( Un, Fn) thảo mãn: ∀   quan hệ R U => R[ U1] *R[ U2]*… *R[ Un] =R K1, K2,…, Kn khóa lược đồ tương ứng 30/36 17 .3 thuật toán tách thành 3NF lược đồ ... a2 a2 b13 a4 a5 16 /36 17 .1 Tách lược đồ quan hệ Giải: Xây dựng bảng gồm hàng, cột:  Biến đổi bảng dựa vào tập phụ thuộc hàm F: - Sử dụng phụ thuộc hàm A2A4→A5 A1 A2 A3 A4 A5 U1 a1 a2 b13 a4 a5...
  • 36
  • 2,950
  • 55
Lược đồ quan hệ có một khóa duy nhất. pptx

Lược đồ quan hệmột khóa duy nhất. pptx

Hóa học - Dầu khí

... Iy 1. 2, K = \ R V~y (O \R) +=O b) Giii so: V 01 hroc S = (0, F) ta co (0 \ R) + = O V~y \ R lit sieu khoa va se clnra no it nhjit m9t khoa K ~ \ R M~t khac theo Djnh Iy 1. 1, co \ R ~ K, suy K = \ R ... v~y, neu (0 \ R) U (L n R) Ia khoa cu a S thi, theo (1) kh6a Ia nhdt Khi G(S) = (0 \ R) U (L n R) =/=- \ R, m au thuh veri (2) V~y hro'c S = (0, F) co ffi9t khoa nhat Tbi dlJ Cho hro'c quan h~ S ... L nR = L n ( U Ri) iEI Tir do: < U s; iEI va U i, ~L \ R iEI mqt khoa nhat lo.: 68 NGUYEN XUAN THAI L\ R > * U t; > * L n R (3) iEI Ket ho'p vo'i L \ R ~ L \ R, cho: L \R~ R M~t khac ro rang...
  • 3
  • 739
  • 3

Xem thêm