Tính chất của hệ sinh giàn giao các tập đóng trong mô hình dữ liệu dạng khối

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI NGUYỄN QUANG HƯỚNG TÍNH CHẤT CỦA HỆ SINH GIÀN GIAO CÁC TẬP ĐĨNG TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH HÀ NỘI - 2017 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI NGUYỄN QUANG HƯỚNG TÍNH CHẤT CỦA HỆ SINH GIÀN GIAO CÁC TẬP ĐĨNG TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI Chuyên ngành: Khoa học máy tính Mã số: 60 48 01 01 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Người hướng dẫn khoa học TS Trịnh Đình Vinh HÀ NỘI - 2017 LỜI CẢM ƠN Trong trình triển khai thực đề tài “Tính chất hệ sinh giàn giao tập đóng mơ hình liệu dạng khối”, tác giả luận văn thường xuyên nhận giúp đỡ, tạo điều kiện thuận lợi bảo tận tình TS Trịnh Đình Vinh – người hướng dẫn trực tiếp Em xin bày tỏ biết ơn gửi lời cảm ơn trân trọng tới thầy Do lực nghiên cứu có hạn, luận văn chắn không tránh khỏi thiếu sót Rất mong bảo, góp ý thầy cô giáo bạn Xin chân thành cảm ơn! Hà Nội, ngày tháng năm 2017 Tác giả luận văn Nguyễn Quang Hướng LỜI CAM ĐOAN Tôi xin cam đoan luận văn với đề tài: “Tính chất hệ sinh giàn giao tập đóng mơ hình liệu dạng khối” cơng trình nghiên cứu cá nhân tơi Tơi xin chịu trách nhiệm cơng trình nghiên cứu Hà Nội, ngày tháng năm 2017 Tác giả luận văn Nguyễn Quang Hướng DANH MỤC CHỮ VIẾT TẮT VÀ KÝ HIỆU Kí hiệu Ý nghĩa PTH Phụ thuộc hàm LĐQH Lược đồ quan hệ LS Vế trái RS Vế phải ∩ Phép giàn giao ∪ Phép hợp \ Phép trừ ⊆ Tập ⊇ Nằm ∈ Thuộc ∉ Không thuộc Α Anpha Β Bêta ∃ Tồn Fh Phụ thuộc hàm Fh AXĐ Ánh xạ đóng DANH MỤC CÁC BẢNG Bảng 1.1: Quan hệ r Bảng 1.2: Cơ sở liệu mặt hàng Bảng 1.3 Biểu diễn quan hệ Mathang1 ∪ Mathang2 Bảng 1.4 Biểu diễn quan hệ Mathang1 ∩ Mathang2 10 Bảng 1.5 Biểu diễn quan hệ Mathang1 \ Mathang 11 Bảng 1.6 Biểu diễn quan hệ Mathang2 \ Mathang1 11 Bảng 1.7 Biểu diễn quan hệ r x s 12 Bảng 1.8 Biểu diễn phép chiếu ΠBD(r) 13 Bảng 1.9: Bảng biểu diễn quan hệ r, s, r ÷ s 16 DANH MỤC CÁC HÌNH Hình 2.1 Biểu diễn khối BANHANG 35 Hình 2.2 Biểu diễn khối nhân viên NV(R) 35 Hình 2.3 Biểu diễn khối lát cắt họ hai quan hệ {r1, r2} 38 Hình 2.4 Biểu diễn r ∪ s 39 Hình 2.5 Biểu diễn r ∩ s 40 Hình 2.6 Biểu diễn khối r \ s 40 Hình 2.7 Biểu diễn khối r' =  p(r) 42 Hình 2.8 Biểu diễn khối phép chọn  F(r) 43 MỤC LỤC MỞ ĐẦU 1 Lý chọn đề tài Mục đích nghiên cứu Nhiệm vụ nghiên cứu Đối tượng phạm vi nghiên cứu Phương pháp nghiên cứu Những đóng góp đề tài Cấu trúc luận văn NỘI DUNG Chương 1: MƠ HÌNH DỮ LIỆU QUAN HỆ VÀ ÁNH XẠ ĐĨNG 1.1 Mơ hình liệu quan hệ 1.2 Thuộc tính miền thuộc tính 1.3 Quan hệ lược đồ quan hệ 1.4 Các phép toán đại số lược đồ quan hệ 1.4.1.Phép hợp 1.4.2 Phép giao 1.4.3 Phép trừ 10 1.4.4 Tích Đề - 11 1.4.5 Phép chiếu 12 1.4.6 Phép chọn 13 1.4.7 Phép kết nối tự nhiên 14 1.4.8 Phép chia 15 1.5 Phụ thuộc hàm 16 1.6 Lược đồ quan hệ 17 1.7 Bao đóng 18 1.7.1 Bao đóng tập phụ thuộc hàm 18 1.7.2 Bao đóng tập thuộc tính 18 1.7.3 Bài tốn thành viên thuật tốn tìm bao đóng tập thuộc tính 18 1.8 Khố 20 1.8.1 Thuật tốn tìm khóa LĐQH 21 1.8.2 Thuật tốn xác định giao khóa siêu khoa LĐQH 23 1.9 Ánh xạ đóng mơ hình liệu quan hệ 24 1.9.1 Định nghĩa tính chất ánh xạ đóng 24 1.9.2 Một số phép tốn ánh xạ đóng 24 1.9.3 Điểm bất động ánh xạ đóng 28 1.10 Giàn giao tập đóng mơ hình quan hệ 29 Chương 2: MƠ HÌNH DỮ LIỆU DẠNG KHỐI 33 2.1 Khối, lược đồ khối 33 2.2 Lát cắt 36 2.3 Đại số quan hệ khối 38 2.3.1 Phép hợp 38 2.3.2 Phép giao 39 2.3.3 Phép trừ 40 2.3.4 Tích Đề - 40 2.3.5 Tích Đề - theo tập số 41 2.3.6 Phép chiếu 41 2.3.7 Phép chọn 42 2.3.8 Phép kết nối 43 2.3.9 Phép chia 44 2.4 Phụ thuộc hàm 44 2.5 Bao đóng tập thuộc tính số 45 2.6 Khoá lược đồ khối R tập phụ thuộc hàm F R 47 Chương 3: HỆ SINH CỦA GIÀN GIAO CÁC TẬP ĐĨNG TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI 50 3.1 Ánh xạ đóng giàn giao tập đóng 50 3.1.1 Ánh xạ đóng 50 3.1.2 Một số tính chất hệ sinh giàn giao tập đóng 53 3.2 Hệ sinh ánh xạ đóng tính chất qua phép dịch chuyển lược đồ khối 54 3.3 Mối quan hệ hệ sinh giàn giao tập đóng lược đồ khối lược đồ lát cắt 56 KẾT LUẬN 62 DANH MỤC TÀI LIỆU THAM KHẢO 63 3.1.2 Một số tính chất hệ sinh giàn giao tập đóng Mệnh đề 3.2 Cho hai lược đồ khối  = ( R , Fh),  =(S, Gh),  =  \ X ; n (i) Với tập X M  ( id ), X i 1  (i) M =  , X = { x , x  id, i  A}, (i) M={ x , x  id, i  B},với A, B  {1,2, n) Khi : 1) XM  Gen(  ) M  Gen(  ) 2) (XM n  i 1 (i) n x )  Gen(x ) (M i1 (i) x ) Gen(  x ) Chứng minh (1=>) Giả sử XM  Gen( ) suy XM  Fix( ) (vì Gen(*) chứa Fix(*)), từ kết (3 1) ta có M  Fix(  ) Giả sử Y Z  Fix(  ), M = Y  Z, ta phải chứng minh M = Y M = Z Vì Y Z hai tập thuộc tính lược đồ khối  nên X  Y = X  Z =  Mặt kh c theo (1) ta có XY XZ  Fix( ) từ M = Y  Z => XM = X(Y  Z) = XY  XZ Hơn Fix( ) giàn giao với tập sinh Gen(  ) nên ta phải có XM = XY XM = XZ Từ su M = Y M = Z, vậ M  Gen(  ) (1  ) Giả sử M  Gen(  ) => M  Fix(  ) (vì Gen(*) chứa Fix(*)) từ kết (3 1) ta có: XM  Fix( ) Giả sử Y Z  Fix( ), XM = Y  Z, ta phải chứng minh XM = Y XM = Z Ta có (XM)  Yv (XM)  Z, đặt Y‟ = Y\XM Z‟ = Z\XM ta Y =XMY‟ Z = XMZ‟ Theo (3 1) ta có MY‟ MZ‟  Fix(  ) Mặt kh c M = MY‟  MZ‟ M  Gen(  ) nên theo tính chất tập sinh giàn giao ta có : M = MY‟ M = MZ‟ Từ đâ su XM = XMY‟ = Y XM = XMZ‟ = Z  XM  Gen( ) (2) Giả sử (XM , n  (i) x i 1  Gen(x ) X  M =   Xx n n XxMx  Gen(  x ) với Xx = X(i), Mx = M  i 1 x x  i 1 (i) Do vậ  M x= p dụng tính chất kết phần 1) với trường hợp id = {x}, ta có XxMx  Gen(  ) Mx  Gen(  x ) nghĩa : x ((XM) n  i 1 (i) x Gen( x ) (M  n  i 1 (i) x  Gen(  ) x 3.2 Hệ sinh ánh xạ đóng tính chất qua phép dịch chuyển lược đồ khối Mệnh đề 3.3 Cho ba lược đồ khối  ,  ,  :  = (R,Fh),  = (S,Gh),  = (S‟ G‟h); n X1,X2M  i 1 \ X 2, X  , X2  id (i) ,  =  \X1  =  X =  , X1  M=  M=  , (i) X1={ x , x  id, i  A}, A  {l,2, ,n}, (i) X2={ x , x  id, i  B}, B  {1,2, ,n}, (i) M={ x ,x  id, i  C}, C  {l,2, ,n} Khi ta có: 1) X1X2M  Gen (  )  X2M  Gen(  )  nM  Gen( i 1  ) (i) 2) (X1XX2XMX  n (i)) Gen(  )  (X2xM  x ) i 1 x x G e n (  x )  (M  x n i 1 (i) )  G e n (  x) Chứng minh n Giả sử X1X2M  Gen( ) theo giả thiết ta có Xi, X ,M i  1 (i) id , X1  X2 =  , X1  M =  , X2 Do p dụng kết (3 2) ta su ra: M=   X1X2M  Gen(  )  X2M  Gen(  ) (  =  \ X 1) (1) Áp dụng kết (3 2) lần ta có: X2M  Gen(  )  M  G e n (  ) (  =  \ X ) (2) Từ (1) (2) ta có: X1X2M  Gen(  )  X2M  Gen(  )  M  G e n () 2) Giả sử (X1X2M n ) n  i 1 (i) x Gen( x ), X1  X2 =  , X1  M =  , X2  M =  ,  =  \X1,  =  \X2 Khi p dụng kết (3 2) ta có: (X1X2M n  (i) x )  Gen(x )  (X2M i 1 n  i 1 (i) x )  Gen(x  ) (1) Áp dụng kết (3 2) lần ta có: (X2M n  i 1 Từ (1) (2) ta có: (X1XX2XMX x Gen(  x )  (M n (i) x )  Gen(x  )  (M  n i 1  n i 1 (i)  i 1 (i) x )  Genx (  ) (i) )  Gen(  x )  (X2xnM )  i 1 x  x (i))  Gen (  x ) Mệnh đề 3.4 Cho hai lược đồ khối  = (R,Fh),  = (S,Gh),  =  \ X ; Với tập X M n  i 1 (i) id , X  (i) M =  , X={ x , x  id, i (i) A}, M={ x , x  id, i  B} với A , B  {1,2, ,n} Khi đó: (2) n 1) XM  Gen(  )  (XM i 1  id (i) x )  n 2) XM  Gen(  )  ( M (i) x )  x Gen(  ) ,  i 1  x Gen(  ),  x  x  id Chứng minh 1) (1  ) Giả sử XM  Gen( ) với  = (R,Fh) Khi ta su (XM  n (i) x ) = (X M ) x i 1  Gen(x  ),  x  id  x id mà ( X M ) x  Gen(  x ) suy (XM)  Gen( )  XM = (XM)x (tính chất bao đóng lược đồ khối)  x id n (i) (  ) Giả sử  x  id, ( X M  i 1 XM =  (XM) G e n ( ) x x id x )=(XM)x  Gen(  ) x Vì ngược lại ta su  x id để ( X M ) x  Gen(  x ) (điều nà mâu thuẫn với giả thiết) 2) (2  ) Giả sử (XM)  Gen( ) p dụng theo kết phần 1) ta có: n (XM)  Gen( )  ( M  i 1 (i) x )  Gen(x ),  x  id (1) Măt kh c theo M ệ n h đ ề ta có: (XM (2) n  n (i) ( x ))  Gen(  )  (M i 1 i 1 x  (i) ( x )) Gen(  ),  x  id x Từ (1) (2) ta su ra: n XM  Gen(  )  (M i 1  (i) ( x )) xGen(  ),  x  id 3.3 Một số tính chất hệ sinh giàn giao tập đóng lược đồ khối lược đồ lát cắt αx 3.3.1 Các ánh xạ đóng fh, fhx tương ứng lược đồ khối α lược đồ lát cắt αx Định nghĩa 3.3 Cho lược đồ khối  = (R, Fh), R=(id; A1, A2, A n ) , Fh,Fhx tập (i) phụ thuộc hàm R ,Rx với X n ( id ), nh xạ: i 1 n n (i) (i) fh: SubSet ( id )  SubSet ( id ), i 1 i 1 n (i) X F ∀ X  ( id ), fh(X) = h i 1 n n (i) (i) Khi ta kí hiệu fhx: SubSet ( x )  SubSet ( x ), i 1 n i 1 (i) ∀ Xx = X ∩ ( x ), fhx(Xx) = ( X i 1 ) x  gọi f nh xạ cảm sinh nh hx Fhx xạ đóng fh lược đồ khối  Mệnh đề 3.5 Cho lược đồ khối  = (R, Fh), R=(id; A1, A2, A n ) , Fh, Fhx tập phụ thuộc hàm tương ứng R, Rx nh xạ đóng: n n i 1 i 1 (i) (i) fh: SubSet ( id )  SubSet ( id ), Khi nh xạ cảm sinh fhx nh xạ đóng trên lược đồ l t cắt α x, ∀ x ∈ id Chứng minh Ta chứng minh fhx thỏa mãn ba tính chất nh xạ đóng Thật vậ theo giả thiết ta có fhx nh xạ cảm sinh fh lược đồ l t cắt αx: n n n i 1 i 1 i 1  (i) (i) (i) fhx: SubSet ( x )  SubSet ( x ), ∀ Xx ⊆ ( x ): fhx(Xx) = (x XF ) hx  ( X x ) F ) ( Để cho đơn giản ta kí hiệu X x thay cho Khi ta có: fhx (Xx) = X x , mà  X ⊃ Xx ⟹ fhx(Xx) ⊃ Xx (tính phản xạ) hx x n (i) Nếu Xx, Yx ⊆ i 1 x = , Xx ⊆ Yx fhx(Xx) X  ⊆ Y  = fhx(Yx) (tính đồng x x biến) (i) ∀ Xx ⊆ ( x ) ta có fhx(fhx(Xx)) = fhx( Xx  ) X x = fhx(Xx) (tính lũ đẳng) n = i 1 Như vậ fhx thỏa mãn ba tính chất nh xạ đóng nh xạ đóng lược đồ l t cắt αx, ∀ x ∈ id Mệnh đề 3.6 Cho ba lược đồ khối  ,  ,  :  = (R,Fh),  = (R’, hF ' ),  = (R”,  = '' Fh ); X , Xx M ⊆ ' n (i) i 1 x , α \ X ,  = α \ X’, X ∩ X’ = ∅, X ∩ M = ∅, X’ ∩ M = ∅, X ={ x(i) | x  id, i  A}, A  {l,2, ,n}, (i) X‘ ={ x | x  id, i  B}, B  {1,2, ,n}, (i) M={ x | x  id, i  C, C  {l,2, ,n}} Khi ta có: Khi ta có: 1) XX’M  Gen(  )  (X’M  2) XX’M  Gen( )  (M  (i)n x )  Gen(  ) x, i 1 n  (i) x  id x )  Gen(  ), x i 1  x  id Chứng minh (1=> ) Giả sử XX’M ∈ Gen( ) => ( X X ’ M n x(i)) ∈ Gen( x  i 1 n i 1 ),  x  id (theo kết mệnh đề 4) Từ ( X X ’ M n ) áp i 1  x x(i)) ∈ Gen( dụng kết mệnh đề 3 ta su X’M x(i)) ∈ Gen(x ),  x   n id i 1 (1) Giả sử XX’M ∈ Gen(  ) => ( X X ’ M n i 1 x x(i)) ∈ Gen( n i 1  ), x  id từ p dụng kết mệnh đề 3 ta su (X’M x )∈  (i)  n Gen(  x )  x  id => (M (i)) ∈ Gen(  x ),  x  id i 1 x (2 n(XX’M dụng của) mệnh ta su (X’M x ) ∈ Gen(   ∈  ∈ x ) Gen( ), x id => XX’M Gen( )   x Mệnh đề 3.7 n n i 1 x  Cho lược đồ khối = (R, F), R=(id; A , A , A ) , F tập phụ thuộc n i 1 i 1 hàm R, G giàn giao c c tập đóng tập hữu hạn U = n (i) id (i) Khi ta có: Max(Gen(G)) = Max (G\ i 1 id ) Chứng minh n (=>) Giả sử ta có tập X ⊂ i 1 id(i), X ∈ Max(Gen(G)) n Khi X n n id(i) => X ∈ (G\(i 1 id(i))) ta có X‟ ∈ (G\( id(i))) i 1 i 1 X ⊆ X’ theo định nghĩa tập sinh X’ biểu diễn qua giao c c phần tử Gen(G) nghĩa X’ = Z1 ∩ Z2 ∩ ∩ Zk; Zi ∈ Gen(G), i = k Mặt kh c X ⊆ X’ => X’ ⊆ Zi, i = k Theo định nghĩa phần tử cực tỏ đại xét Gen(G) ta suy X = Zi, i = k =>X = X’ Như vậ chứng n n X phần tử cực đại G\( i 1 id(i)) suy X ∈ Max(G\( i 1 n id(i))) i 1 () Giả sử ta có tập X ⊂ i 1 x(i), X ∈ Max(Gen(Gx)) n Khi X n n x => X ∈ (G\(i 1 x(i))), ta có X’ ∈ (G\( x(i))) i 1 (i) i 1 X ⊆ X’ theo định nghĩa tập sinh X’ biểu diễn qua giao c c phần tử Gen(Gx) nghĩa X’ = Zx1 ∩ Zx2 ∩ ∩ Zxk; Zxi ∈ Gen(Gx), i = k Mặt kh c X ⊆ X’ => X’ ⊆ Zxi, i = k Theo định nghĩa phần tử cực đại xét Gen(Gx) ta suy X = Zxi, i = k =>X = X’ Như vậ chứng n tỏ X phần tử cực đại G\( i 1 n x(i)) suy X ∈ Max(G\( i 1 n i 1 x(i))) (