là tập các phụ thuộc hàm trên lược đồ quan hệ q x là tập thuộc tính ta có phụ

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

... Y 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 ý ... đồ 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 tính Y ... Nếu X ↑ Y XZ ↑ YZ F3 Tính bắc cầu: Nếu X ↑ Y Y ↑ Z X ↑ Z Chú ý: Các PTH có vế trái chứa vế phải mô tả F1 gọi tầm thường Các PTH tầm thường thoả quan hệ 1.2.3 Lược đồ quan hệ [2] Lược đồ quan hệ...

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

Danh mục: Thạc sĩ - Cao học

... Nếu f: X Y phụ thuộc hàm U ta nói tập thuộc tính Y phụ thuộc 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 X vế trái Y vế phải PTH f Cho quan hệ R(U) PTH f: X Y U Ta nói quan ... phản x : Nếu X ⊇ Y X Y ∈ F + Thí dụ Ta có ABC ⊇ BC ABC→BC F2 Tính gia tăng: Nếu X Y ∈ F + XZ→YZ ∈ F + Thí dụ Ta có C→D ABC→ABD F3 Tính bắc cầu: Nếu X Y ∈ F + Y Z ∈ F + X Z ∈ F + Thí dụ Ta có AB→CD ... 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 hệ: Q( A, B, C, D, E) tập PTH F= { B → D, DE →...

64
678
0

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

Danh mục: Kỹ thuật lập trình

... = {0, A,C,AC} Ta l y thuộc tính thuộc tập Xi tập TG hợp với TN ta có thuộc tính sau : S1 = TN U = B Ta có B+ = B # Q nên S1 = A không siêu khóa S2 = TN U A = AB Ta có AB+ = ABC = Q nên S2 = AB ... 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 sở liệu Bài Làm : L = {ABC} R = {CA} TN = {B} TG = {AC} # nên ta làm tiếp bước Ta có tập Xi tập TG = ... dụ : Ta có S = {AB, ABC, ED, EDF} Ta th y AB chứa ABC, ED chứa EDF cần phải loại bỏ ABC 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í...

4
19,151
123

các dạng biểu diễn khóa trong lược đồ quan hệ

Danh mục: Thạc sĩ - Cao học

... U F1 Tính phản x : Nếu X  Y X  Y  F+ F2 Tính gia tăng: Nếu X  Y  F+ XZ  YZ  F+ F3 , Tính bắc cầu: Nếu X  Y  F+ Y  Z  F+ X  Z  F+ Chú ý: Các PTH có vế trái chứa vế phải như, mô tả F1 ... Thái Nguyên http://www.lrc-tnu.edu.vn 10 (X+ Y+ ) = (XY+)+ = (XY)+ X  Y  F+  Y  X+ X  X+ X+  X X+ = Y+  X  Y Y  X  Bài toán thành viên Đ y toán x c định xem PTH có thuộc bao đóng tập PTH ... LĐQH tập hữu hạn thuộc tính U 1.3 Phụ thuộc hàm 1.3.1 Định nghĩa phụ thuộc hàm 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...

71
896
1

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

Danh mục: Công nghệ thông tin

... đóng Cho LĐQH a = (U, F) Khi X, Y U ta có X+ Tính phản x : X Tính đồng biến: X Y X+ Y+ Tính l y đẳng: (X+ )+ = X+ (XY)+ X+ Y+ (X+ Y) + = (XY+)+ = (XY)+ X Y X X+ X+ X+ X+ =Y+ Y X X Y Y X  Thuật toán ... (XY)(h)=XY(h) ta suy L U: L (XY)(h) = XY(h) Z U \X: Z Y( h) L \X Y( h) XZ XY(h)=(XY)(h) Giả sử PTH L R F thoả tính chất L (XY)(h) Khi L \X R \X G L \X Y( h) Từ (XY)(h) = XY(h) ta suy R(XY)(h) = RXY(h) = (R \X) XY(h) ... PTH F, tức R (F) f F: R (f) 1.2.2 Hệ tiên đề Armstrong [2, 3] Cho quan hệ R(U) Giả sử X, Y, Z, W U F1 Tính phản x : Nếu X Y X Y F2 Tính gia tăng: Nếu X Y XZ YZ F3 Tính bắc cầu: Nếu X Y Y Z X Z...

47
385
0

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Ệ

Danh mục: Hệ thống thông tin

... Z X → Z Bao đóng tập phụ thuộc hàm - Suy diễn: Cho lược đồ quan hệ R(U, F) , F – tập phụ thuộc hàm, X, Y ⊆ U, X → Y phụ thuộc hàm Ta nói phụ thuộc hàm X → Y suy diễn logic từ F quan hệ r lược đồ ... Nếu X → → Y V ⊆ W WX → → Y A3 Luật bắc cầu cho MVD: Nếu X → → Y Y → → Z X → → Z -Y Các luật phối hợp FD MVD A4 Nếu X → Y X → → Y A5 Nếu X → → Y, Z ⊆ Y W tập phân biệt với Y (tức W ∩ Y = φ ) W → ... tập phụ thuộc hàm có vế phải thuộc tính Thuộc tính phụ thuộc bắc cầu Q lược đồ quan hệ, X, Y hai tập Q+ , A thuộc tính Nói A phụ thuộc bắc cầu vào X ba điều sau thỏa: X → Y, Y → A Y →/ X A ∉ XY Bao...

81
2,921
15

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

Danh mục: Thạc sĩ - Cao học

... Z  U: F1 Tính phản x : Nếu X  Y X Y  F + F2 Tính gia tăng: Nếu X Y  F + XZYZ  F + F3 Tính bắc cầu: Nếu X Y  F + Y Z  F + X Z  F + Chú ý Các PTH có vế trái chứa vế phải mô tả F1 gọi tầm ... biến (XY)(h) = XY(h) , h = 0,1,… Cơ sở: h = Ta có (XY)(0) = XY Y( 0) = Y, (XY)(0) = XY(0) = XY Quy nạp: Giả sử với h ≥ ta có (XY)(h) = XY(h) Ta cần chứng minh (XY)(h+1) = XY(h+1) Ta chuyển từ ... L \X P = R \X Khi ta có L  XZ  XY(h) = (XY)(h) R(XY)(h) = RXY(h) = (R \X) XY(h) = PXY(h) ■ Để ý với tập X, ta có X = X X   =  Từ nhận x t ta suy hệ sau, Hệ q a (Công thức tính bao đóng cho tập...

65
1,106
2

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

Danh mục: Công nghệ thông tin

... (U, F) Khi X, Y  U ta có Tính phản x : X  X+ Tính đồng biến: X  Y  X+  Y+ Tính l y đẳng: (X+ )+ = X+ (XY)+  X+ Y+ (X+ Y) + = (XY+)+ = (XY)+ X  Y  F+  Y  X+ X  X+ X+  X X+ =Y+  X  Y Y ... tập thuộc tính Y 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) , ... thiết quy nạp (XY)(h)=XY(h) ta suy LU: L(XY)(h) = XY(h)  L \X  Y( h) ZU \X: Z Y( h)  XZXY(h)=(XY)(h) Giả sử PTH LR F thoả tính chất L(XY)(h) Khi L \X R \X G L \X Y( h) Từ (XY)(h) = XY(h) ta suy...

66
1,119
3

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

Danh mục: Khoa học tự nhiên

... Z  U: F1 Tính phản x : Nếu X  Y X Y  F + F2 Tính gia tăng: Nếu X Y  F + XZYZ  F + F3 Tính bắc cầu: Nếu X Y  F + Y Z  F + X Z  F + Chú ý Các PTH có vế trái chứa vế phải mô tả F1 gọi tầm ... biến (XY)(h) = XY(h) , h = 0,1,… Cơ sở: h = Ta có (XY)(0) = XY Y( 0) = Y, (XY)(0) = XY(0) = XY Quy nạp: Giả sử với h ≥ ta có (XY)(h) = XY(h) Ta cần chứng minh (XY)(h+1) = XY(h+1) Ta chuyển từ ... L \X P = R \X Khi ta có L  XZ  XY(h) = (XY)(h) R(XY)(h) = RXY(h) = (R \X) XY(h) = PXY(h) ■ Để ý với tập X, ta có X = X X   =  Từ nhận x t ta suy hệ sau, Hệ q a (Công thức tính bao đóng cho tập...

65
758
0

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

Danh mục: Cơ sở dữ liệu

... c hàm dư th a thu c tính v trái dư th a F B2 Tách quan h R theo ph thu c hàm : N u F có ph thu c hàm tách R thành b y nhiêu quan h V i quan h R ví d trên, ta x t t p F : F= {AB→C, B → EG, C→H, ... Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ B2: Nhìn vào đ th ph thu c hàm, n u có ph thu c hàm X → Y mà d ng Khóa → ... Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ Cách chu n hóa: F Chu n hóa v 1NF: N u R thu c tính suy di n l p...

8
8,976
224

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

Danh mục: Cơ sở dữ liệu

... kh o cách trình b y: Ví d 2: Tµi liÖu tham kh¶o Trang 29 Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ Cho quan ... a6 a7 X t AB → D có làm b ng dòng X t B → CE không c n làm b ng c t C, không th làm b ng c t E X t A → G không th làm b ng G X t C → H có làm b ng dòng 1, 2, B5: K t lu n: Khi không th làm b ... a3 B4: Làm b ng: X t ph thu c hàm X → Y F N u c t X có hai dòng b ng theo aj (t c đ u b ng aj) làm b ng dòng tương ng c a c t Y Cách làm b ng: N u ô c n làm b ng có t n t i m t giá tr aj làm b...

3
15,725
120

Lược đồ quan hệ

Danh mục: Công nghệ thông tin

... thêm, x a, sửa thông tin diễn viên Xem, thêm, x a, sửa thông tin nhà sản xuất Xem, thêm, x a, sửa thể loại Xem, thêm, x a, sửa thông tin khách hàng Xem, thêm, x a, sửa thông tin DVD Xem, thêm, x a, ... nhật – X a đạo diễn capnhatsuadaodien.asp Admin(admin_index.asp)  Cập nhật – X a thể loại     capnhatxoatheloai.asp Xem danh sách quốc gia xemdanhsachquocgia.asp Xem danh sách thể loại xemdanhsachtheloai.asp ... loại themtheloai.asp Thêm quốc gia themquocgia.asp  Cập nhật – X a hóa đơn  capnhatxoahoadon.asp Cập nhật – X a quocgia capnhatxoaquocgia.asp  Xem danh sách hóa đơn xemdanhsachhoadon.asp  Thống...

23
936
0

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

Danh mục: Tin học

... thuộc hàm đ y đủ: 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 ... A∈U, thuộc tính A gọi phụ thuộc hàm bắc cầu vào tập thuộc tính X Y X để: -X Y -Y A -Y X - A ∉ XY Nêú X → Y Y không phụ thuộc bắc cầu vào X Y phụ thuộc hàm trực tiếp vào X 6/45 NỘI DUNG Chi tiết ... Y phụ thuộc hàm vào X) - ∀ X ⊂ X X → Y (mọi tập thực X xác định hàm Y) 5/45 16.1 Một số khái niệm liên quan Định nghĩa phụ thuộc hàm bắc cầu: Cho lược đồ quan hệ α=(U, F) , X U, A∈U, thuộc tính...

45
2,871
58

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

Danh mục: Tin học

... thuộc hàm phụ Hình chiếu phụ thuộc hàm tập thuộc tính: Cho lược đồ quan hệ α =( U, F) , Z⊆U hình chiếu tập F lên tập thuộc tính Z, ký hiệu F\ Z x c định sau: F/ Z= {X Y |X Y F+ XY⊆Z} Định ngĩa không y u ... l y tập thực X Z, đóng vai 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 ... Group F= {C→T, HR→C, CH→R, CS→G, HS→R}  34/36 17.4 Tách không thông tin thÀnh lược đồ dạng BCNF Nhận x t:  Lược đồ có khóa SH  Lược đồ chưa dạng BCNF  Ta th y lược đồ α=( U, F) có phụ thuộc hàm...

36
2,950
55

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

Danh mục: Hóa học - Dầu khí

... = O Djnh ly 2.4 Cho = (0, F) la mqt lu o» ao quan h4 c6 mqt kh6a nhctt Khi a6 chu£n BCNF (8 E BCNF) neu va chi neu J dq,ng chu£n SNF (8 E 3N F) J dq,ng Chung minh a) Gia thiet E BCNF Khi ro rang ... Dinh Iy 2.1 ta co the' d~t van de di tim m9t s5 tieu chll~n du de' m9t hro'c quan h~ F) co m9t khoa nhat, = (0, Ta co cac dinh Iy sau: ao Dinh ly 2.2 Cho S = (0, F) 10.mqt lu o:c ad at quan h4 ... LUQ'C D!nh ly 2.1 Cho S co mot khoa nhat DO QUAN H¢ CO MQT KHOA DUY NHAT = (0, F) La mqt lu o:c ao quan hf Dieu ki4n can la (0 \ R)+ = O 67 va au at lu o c ao quasi h4 S Chung...

3
739
3

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

Danh mục: Công nghệ thông tin

... Z  U: F1 Tính phản x : Nếu X  Y X Y  F + F2 Tính gia tăng: Nếu X Y  F + XZYZ  F + F3 Tính bắc cầu: Nếu X Y  F + Y Z  F + X Z  F + Chú ý Các PTH có vế trái chứa vế phải mô tả F1 gọi tầm ... biến (XY)(h) = XY(h) , h = 0,1,… Cơ sở: h = Ta có (XY)(0) = XY Y( 0) = Y, (XY)(0) = XY(0) = XY Quy nạp: Giả sử với h ≥ ta có (XY)(h) = XY(h) Ta cần chứng minh (XY)(h+1) = XY(h+1) Ta chuyển từ ... L \X P = R \X Khi ta có L  XZ  XY(h) = (XY)(h) R(XY)(h) = RXY(h) = (R \X) XY(h) = PXY(h) ■ Để ý với tập X, ta có X = X X   =  Từ nhận x t ta suy hệ sau, Hệ q a (Công thức tính bao đóng cho tập...

65
387
0

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

Danh mục: Cơ sở dữ liệu

... 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 đồ thành lược đồ con: R1=AB, ... Kiểm 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, ... 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 Kiểm tra phép tách có bảo toàn...

13
4,211
81

Phép chuyển dịch lược đồ quan hệ

Danh mục: Công nghệ thông tin

... YZ-+V=> XZ-+V F5 Tớnh phn x cht: X X > F6 M rng v trỏi v thu hp v phi: X- >Y => XZ- *Y\ V F7 Cng tớnh y : X- *Y, Z^>V=>XZ^>YV F8 M rng vộ trỏi: X => XZ- >Y >Y F9 Cng tớnh v phi: X- >Y, X- +Z => X- +YZ F1 0 ... ta luụn cú X n = Ngoi ra, d y {XYfh) n iu khụng gim v ~h) {XYf0) = XY X nờn vi mi h = 0,1,2, ta luụn cú (XY){li) X T cỏc nhn x t ny v t gi thit quy np {XY)(h) = Xh) ta suy V L c : L c (XY)W= ... ú ca Y Vu,v E R: (3 A e X: U.A = vA) = > ( B e Y: U.B = V.B) Tớ nh c h t v x , Yq U R {X( s)-> Y) => R (X- > Y) R (X (s)-> Y) => R (X (d) Y) > R (X -> Y) =>R (X( w)- ^Y) R (X (Ê/)-> Y) => R (X( wy +Y) 1.6...

71
784
0

khóa trong lược đồ quan hệ

Danh mục: Cơ sở dữ liệu

... Kết khóa lược đồ quan hệ SC CZ K={SC, CZ} Thuật toán tìm khóa lược đồ quan hệ SUNDAY, 31 MAY 2009, 17:05:46 COSODULIEU Mục tiêu : cho lược đồ U có thuộc tính {A1,A2, An} tập Phụ thuộc hàm F tìm ... bỏ thuộc tính bên vế trái, bao đóng thuộc tính lại có chứa thuộc tính đó) Loại khỏi F phụ thuộc hàm dư thừa (Các thuộc tính vế phải PTH xuất di lần loại bỏ Còn lại tính bao đóng tập thuộc tính ... trái có xuất thuộc tính vế phải loại bỏ thuộc tính PTH dư thừa.) Ví dụ: Cho lược đồ quan hệ Q( A,B,C,D) tập pth F= {AB->CD, B->C, C->D} Tìm phủ tối thiểu? Tách phụ thuộc hàm cho vế phải thuộc tính...

4
892
1

là tập các phụ thuộc hàm trên lược đồ quan hệ q x là tập thuộc tính ta có phụ thuộc hàm x → y  f