BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI NGUYỄN VĂN SƠN Nghiªn cøu BAO §ãng m« h×nh d÷ liÖu d¹ng khèi LUẬN VĂN THẠC SĨ MÁY TÍNH HÀ NỘI, 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI NGUYỄN VĂN SƠN Nghiªn cøu BAO §ãng 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Ĩ MÁY TÍNH HÀ NỘI, 2014 LỜI CẢM ƠN Để hoàn thành luận văn em xin chân thành gửi lời cảm ơn đến quý thầy cô trường Đại học Sư phạm Hà Nội 2, thầy Viện Công nghệ thông tin thuộc Viện Hàn lâm Khoa học Công nghệ Việt Nam, anh chị thư viện Viện Công nghệ thông tin thuộc Viện Hàn lâm Khoa học Công nghệ Việt Nam, thư viện trường Đại học Công nghệ thông tin truyền thông – Đại học Thái Nguyên, trung tâm học liệu Đại học Thái Nguyên, thư viện Đại học Công nghệ – Đại học Quốc gia Hà Nội quan tâm giúp đỡ trình thực đề tài. Nhờ tiếp thu nhiều ý kiến đóng góp nhận xét quý báu quý thầy, cô thông qua buổi trao đổi thông tin bảo vệ đề cương. Em xin gửi lời cảm ơn sâu sắc đến TS. Trịnh Đình Vinh công tác trường Đại học Sư Phạm Hà Nội II trực tiếp hướng dẫn, định hướng chuyên môn, quan tâm giúp đỡ tận tâm bảo trình thực luận văn. Em xin bày tỏ biết ơn sâu sắc đến gia đình tạo điều kiện tốt để em hoàn thành tốt công việc trình thực luận văn. Bên cạnh đó, em xin gửi lời cảm ơn tới bạn bè đồng nghiệp, quan tâm, chia sẻ, động viên em suốt thời gian thực luận văn. Mặc dù cố gắng trình thực luận văn tránh khỏi thiếu sót. Em xin mong nhận góp ý quý thầy cô, quý đồng nghiệp bạn bè. Hà Nội, ngày 22 tháng 12 năm 2014 Học viên Nguyễn Văn Sơn LỜI CAM ĐOAN Tôi xin cam đoan toàn nội dung trình bày luận văn kết tìm hiểu nghiên cứu riêng tôi, công trình nghiên cứu hướng dẫn khoa học TS. Trịnh Đình Vinh. Các số liệu, kết nêu luận văn trung thực, rõ ràng. Tôi xin cam đoan giúp đỡ cho việc thực luận văn cảm ơn thông tin trích dẫn luận văn rõ nguồn gốc. Tôi xin chịu hoàn toàn trách nhiệm với nội dung viết luận văn này. Hà Nội, ngày 22 tháng12 năm 2014 Học viên Nguyễn Văn Sơn MỤC LỤC Trang LỜI CAM ĐOAN ……………………………….……………………… LỜI CẢM ƠN … ………………………………………… ……………. MỤC LỤC ……………………………………………………………… . BẢNG KÍ HIỆU CÁC CHỮ CÁI VIẾT TẮT……………………….…… DANH MỤC CÁC BẢNG …………………………………………… DANH MỤC CÁC HÌNH…………………… .… …………………… MỞ ĐẦU ………………………………………….…………………… KẾT QUẢ ĐẠT ĐƯỢC………………………………………………… .3 CHƯƠNG I : MÔ HÌNH DỮ LIỆU QUAN HỆ………………………… 1.1 Các khái niệm bản………………………………….…… …5 1.2. Các phép toán đại số lược đồ quan hệ …………………….7 1.2.1. Phép hợp… …… ………………………………… .7 1.2.2. Phép giao……… ……………………….………… .8 1.2.3. Phép trừ… ……………………………………………8 1.2.4. Tích Đề - ……………………………………… 1.2.5. Phép Chiếu.………………………………………… .10 1.2.6. Phép Chọn… ……………………………………… .11 1.2.7. Phép kết nối ….…………………………………… .12 1.2.8. Phép chia… ……………………………………… .14 1.3. Phụ thuộc hàm……………………………………………… 14 1.4. Hệ tiên đề Armstrong………………………………………….15 1.5. Bao đóng lược đồ quan hệ ……………………………….16 1.5.1. Bao đóng tập phụ thuộc hàm …………… …… 16 1.5.2. Bao đóng tập thuộc tính……………….…….… 16 1.6. Khóa lược đồ quan hệ ………………………………… 19 1.7. Phép dịch chuyển lược đồ quan hệ……………………………21 1.7.1. Định nghĩa ……………… ……… ……………… .22 1.7.2. Thuật toán dịch chuyển lược đồ quan hệ………… …23 1.7.3. Biểu diễn bao đóng phép dịch chuyển LDQH ….24 Kết luận chương I………………………………… .………… 25 CHƯƠNG II : MÔ HÌNH DỮ LIỆU DẠNG KHỐI………… .…… 26 2.1. Khối, Lược đồ khối, Lát cắt……………………………….… 26 2.2. Các Phép toán Đại số quan hệ khối……… .………….…29 2.2.1. Phép hợp ……………….……………… ………… .29 2.2.2. Phép giao ……… ………………………….….…….30 2.2.3. Phép trừ….…………………………………… …….20 2.3.4. Tích Đề - các….…………………………… .… … 31 2.2.5. Tích Đề - theo tập số…………………… … 31 2.2.6. Phép chiếu.……………………………… .… … 32 2.2.7. Phép chọn….……………………… .…………… .32 2.2.8. Phép kết nối….………………………… …….… 32 2.2.9. Phép chia …………………………… …….… .…33 2.2.10. Phép nối dài………………………………….… .…34 2.3. Phụ thuộc hàm ………………….……………………….… 34 2.4. Bao đóng mô hình liệu dạng khối………… ….… .35 2.4.1. Bao đóng tập phụ thuộc hàm………….…… .…35 2.4.2. Bao đóng tập thuộc tính số……….…… … 36 2.5. Khóa khối………… .………………………………… .38 2.6. Phép dịch chuyển lược đồ khối…………………………… 40 2.6.1. Định nghĩa………………………………………… 40 2.6.2. Thuật toán dịch chuyển………………………… 42 2.6.3. Biểu diễn dịch chuyển lược đồ khối …………43 Kết luận chương II.……………………………… ………………45 CHƯƠNG III: TÍNH CHẤT MỞ RỘNG CỦA BAO ĐÓNG…… ……46 3.1. Tính chất bao đóng mô hình liệu dạng khối… .46 3.2. Tính chất mở rộng bao đóng mô hình dữ………….49 3.3. Phần mềm Demo tính bao đóng cảu tập thuộc tính số.… 52 3.3.1. Giới thiệu toán………………………………… 52 3.3.2. Thuật toán sử dụng chương trình…………… 52 3.3.3. Giao diện chương trình……….…………………… 54 Kết luận chương III……………………………………………….57 KẾT LUẬN…………………………………………………………… .58 TÀI LIỆU THAM KHẢO……………………………………………….59 DANH MỤC CÁC KÝ HIỆU, CHỮ CÁI VIẾT TẮT Trong luận án dùng thống kí hiệu chữ viết tắt sau: Kí hiệu ý nghĩa CSDL Cơ sở liệu. LĐQH Lược đồ quan hệ. PTH Phụ thuộc hàm. A, B, C Thuộc tính. X, Y, Z Tập thuộc tính. XY X∪Y (hợp tập thuộc tính X vỡ Y). ABC [A, B, C] (tập thuộc tính gồm phần tử A, B, C). Dom(A) Miền giá trị thuộc tính A. r r(R) Khối r tập R. (i) x = (x, Ai) Các thuộc tính số l−ợc đồ khối (x∈id, i= n). (i) (i) id = {x ⎜x∈id } Tập thuộc tính số l−ợc đồ khối. |r| Số phần tử khối r. |r|' Số phần tử khối r’ khối r.  Là con.  Chứa.  Thuộc.  Tồn tại.  Không tồn tại.  Không thuộc.  Với mọi.  Rỗng.  Phép giao.  Phép hợp.  Không thuộc tập DANH MỤC CÁC BẢNG Bảng 1.1. Bảng ví dụ quan hệ r………………………………………….6 Bảng 1.2. Bảng quan hệ Sinhvien………………………………………… Bảng 1.3. Bảng biểu diễn quan hệ Sinhvien1  Sinhvien2.…………….….7 Bảng 1.4. Bảng biểu diễn quan hệ Sinhvien1  Sinhvien2.……………… Bảng 1.5. Bảng biểu diễn quan hệ Sinhvien1 – Sinhvien2.…………… …9 Bảng 1.6. Bảng biểu diễn quan hệ Sinhvien2 – Sinhvien1….…………… Bảng 1.7. Bảng biểu diễn quan hệ r x s…………………. .……………… 10 Bảng 1.8. Biểu diễn phép chiếu : Πmã SV, lớp, Điểm TB(sinh viên)………………11 Bảng 1.9. Biểu diễn phép chọn : Điểm TB 5(Sinhvien)……………… …….12 Bảng 1.10. Biểu diễn phép nối tự nhiên quan hệ………………… 13 Bảng 1.11. Bảng quan hệ Sinhvien………………………………… …… 15 45 KẾT LUẬN CHƯƠNG II Nội dung chương trình bày khái niệm mô hình liệu dạng khối : khái niệm khối, lược đồ khối, lát cắt. Trình bầy phép toán khối, khái niệm bao đóng tập phụ thuộc hàm, bao đóng tập thuộc tính số, khóa lược đồ khối với thuật toán tìm bao đóng, tìm khóa lược đồ khối. Ngoài trình bầy phép dịch chuyển lược đồ khối trình bày chương này. Những kết bao đóng tập phụ thuộc hàm, tập thuộc tính số mô hình liệu dạng khối đựợc nghiên cứu kết ban đầu. Đó kết trường hợp riêng tập phụ thuộc hàm F lược đồ khối R = (id; A1, A2, ., An). 46 CHƯƠNG III : TÍNH CHẤT MỞ RỘNG CỦA BAO ĐÓNG TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Trong mô hình liệu dạng khối, khái niệm khối, lược đồ khối, lát cắt, phép toán đại số quan hệ khối…đã giới thiệu chương trước. Mục tiêu chương đề xuất số tính chất mở rộng bao đóng cài đặt thuật toán tìm bao đóng tập thuộc tính số mô hình liệu dạng khối. Trên sở kết tìm nhằm tăng khả đảm bảo ngữ nghĩa bao đóng mô hình liệu dạng khối. 3.1.Tính chất bao đóng mô hình liệu dạng khối: Mệnh đề 3.1: Cho lược đồ khối R = (id; A1, A2, ., An ), F tập phụ thuộc hàm n R. Với X, Y  id (i ) , ta có tính chất bao đóng i 1 sau: • Tính phản xạ: X  X+ • Tính đơn điệu: Nếu X  Y X+ Y+ • Tính lũy đẳng: X++ = X+ Chứng minh : • Tính phản xạ: X  X+ : Theo định nghĩa bao đóng lược đồ khối [2.5.2] ta có : X+ = {x(i), | X  x(i) F+ } với x  id, i = .n, suy  x(i)  X ta có X  x(i) F+  x(i) X với x(i) X  x(i) X+ ta suy X  X+. • Tính đơn điệu: Nếu X  Y X+ Y+ n Theo giả thiết ta có : X  Y với X, Y  id i 1 (i ) , (1) 47 Theo kết tính chất phản xạ ta có Y  Y+ (2) Từ (1) (2) ta suy X  Y+  Y+  x(i) F+, x Y+  x(i) X  X+ Y+ • Tính lũy đẳng: X++ = X+ Theo định nghĩa bao đóng lược đồ khối ta có :  x(i) X+  X  X+ X+ (X+)+ (1)  x(i) (X+)+ta chứng minh x(i) X++. theo định nghĩa bao đóng X+ x(i) F+X x(i) F+ x(i)X+ X++ X+(2) Từ (1) (2) suy : X++ = X+ Mệnh đề 3.2: Cho lược đồ khối R = (id; A1, A2, ., An ), F tập phụ thuộc hàm R. n  id Với X, Y (i ) ,,khi ta có tính chất bao đóng sau: i 1 • X+Y+ (XY)+ • (X+Y)+ = (XY+)+ = (X+Y+)+ =(XY)+ • X  Y  Y+ X+, Y X+ • X  X+ X+ X • X+ = Y+  X  Y Y  X Chứng minh: • • X+Y+ (XY)+ - Ta có : X  (XY)  X+ (XY)+ Y (XY)Y+ (XY)+ X+Y+ (XY)+  X+ Y+ (XY)+ (1) - ta có (X+Y)+ = (XY+)+ = (X+Y+)+= (XY)+ (2) Từ (1) (2) suy : X+Y+ (XY)+ • (X+Y)+ = (XY+)+ = (X+Y+)+ =(XY)+ +, Ta có X  (XY)  X+ (XY)+ X+Y (XY)+ Y  (XY)  Y (XY)+  (X+Y)+  (XY)+(3) 48 Lại có :(XY)+ (X+Y)+, ta có X  X+  (XY)  (X+Y)  (XY)+ (X+Y)+ Vậy (XY)+ (X+Y)+ (4) Từ (3) (4) suy (X+Y)+= (XY+)+(5) +, chứng minh : (XY+) = (XY)+ Ta có : (XY+) = (X+Y)+, theo (5) ta có : (Y+X)+= (YX )+ Suy : (XY+)+ = ( Y+X)+ = (YX)+ = (XY)+ • X  X+ X+ X Ta có :  x(i) X X → x(i)X+ x(i) F+ x (theo định nghĩa bao đóng)  X x(i) = X+  X X+ . (6) Ngược lại ta chứng minh X+ X X X+ theo tính phản xạ  X+ X • X  Y  Y+  X+, Y  X+ +, Chứng minh : X  Y  Y+ X+  x(i)Y ta có : X →x(i) X → Y  x(i)X+ (định ghĩa bao đóng ) Mà Y  X+ theo tính đơn điệu Y+  X+ (7) Ta chứng minh chiều ngược lại :có Y+  X+(7)  X → Y Y+ X+Y X+ X+Y F+ XY (do X → X+) +, Chứng minh : X  Y  Y X+ Ta có : Y  X+  X+→ Y mà X → X+  X → Y (tính chất bắc cầu) Ngược lại ta chứng minh : Y+ X+ X → Y Thật vậy:  x(i)Y ta có X →x(i) X → Y  x(i)X+ , theo định nghĩa bao đóng suy : x(i)Y ta chứng minh x(i)X+  Y  X+ • X+ = Y+  X  Y Y  X Ta có : Y  X+ (6), theo giả thiết X+ = Y+ X  Y+ Y+Y 49 Suy :X  Y .(8) Lại có :Y Y+ mà theo giả thiết X+ = Y+YX+ mà X+aX Suy : X → X+ Chiều ngược lại ta chứng minh : X  Y Y  XX+ = Y+ Ta có : X  Y (8)  Y+  X+ (9)mà Y → X (giả thiết) X+  Y+(10). Kết hợp (9) (10) ta suy : X+ = Y+. 3.2.Tính chất mở rộng bao đóng mô hình liệu dạng khối n Mệnh đề 3.3: Cho lược đồ khối R = (id, A1, A2, …,An), X,Y,Z   id (i ) , X= i 1 {x(i), x id, i A}, Y= {x(i), x id, i B}, Z= {x(i), x id, i C}; A,B,C = {1,2,…,n}; A  B = A  C = B  C = . Khi : • (XYZ)+Fh = XY(Z)+Fh\ XY + + • (XYZ) Fh = X(YZ) Fh\ X Chứng minh : • (XYZ)+Fh = XY(Z)+Fh\ XY Theo giả thiết ta có: A  B = A  C = B  C =   (A  B)  C =  Đặt T = XY = { x(i), x id, i (A  B)}. Khi áp dụng tính chất Mệnh đề 2.20 ta có : (XYZ)+Fh = (TZ)+Fh = T(Z)+Fh\T , thay T = XY ta được: (XYZ)+Fh = XY(Z)+Fh\ XY (đpcm). + + • (XYZ) Fh = X(YZ) Fh\ X Theo giả thiết ta có: A  B = A  C = B  C =   (B  C)  A =  Đặt T = YZ = { x(i), x id, i (B  C)}. Khi áp dụng tính chất Mệnh đề 2.20 ta có : (XYZ)+Fh = X(T)+Fh = T(Z)+Fh\T , thay T = YZ ta được: (XYZ)+Fh = (XT)+Fh = X(T)+ = X(T)+Fh\X = X(YZ)+Fh\X (đpcm). Nhận xét: Nếu tập C =   Z = , kết mệnh đề lại trở kết 50 Mệnh đề 2.20 n Mệnh đề 3.4: Cho lược đồ khối R = (id, A1, A2, …,An), X,Y,Z   id (i ) , X= i 1 {x(i), x id, i A}, Y= {x(i), x id, i B}, Z= {x(i), x id, i C}; A,B,C = {1,2,…,n}; A  B = A  C = B  C = . Khi : n  • (XYZ)+Fh = XY( (Z  x (i) )+Fhx\XxYx). i 1 xid n • (XYZ) + Fh =  X( (YZ)  x (i) + ) Fhx\Xx). i 1 xid Chưng minh: n • (XYZ)+Fh = XY(  (Z  x (i) + ) Fhx\XxYx). i 1 xid Theo giả thiết ta có: A  B = A  C = B  C = . Áp dụng kết Mệnh đề 3.3 ta có : (XYZ)+Fh = XY( Z)+Fh\XY). Dựa vào điều kiện cần đủ bao đóng lược đồ khối ta có: n + (Z) Fh\XY =  (Z  x (i) + ) Fh\(XY)x, mà ta có : (XY)x = XxYx nên suy i 1 xid n + (Z) Fh\XY =  (Z  x (i) + ) Fh\XxYx . ta có: i 1 xid n (XYZ)+Fh = XY(  (Z  x (i) )+Fhx\XxYx). i 1 xid n + • (XYZ) Fh = X(  xid (YZ)  x (i) + ) Fhx\Xx). i 1 Theo giả thiết ta có: A  B = A  C = B  C = . Áp dụng kết Mệnh đề 3.3 ta có : (XYZ)+Fh = X(YZ)+Fh\X (1) Dựa vào điều kiện cần đủ bao đóng lược đồ khối ta có: 51 n + (YZ) Fh\X =  x (YZ  (i) + ) (2) Fhx\Xx i 1 xid n + Từ (1) (2) ta suy : (XYZ) Fh =  X( x (YZ)  (i) + ) Fhx\Xx). i 1 xid Mệnh đề 3.5: Cho lược đồ khối a = (U, Fh), R = (id, A1, A2, …,An), X,Y,Z  n  id (i ) , X= {x(i), x id, i A}, Y= {x(i), x id, i B}, Z= {x(i), x id, i C}; i 1 A,B,C = {1,2,…,n}; A  B = A  C = B  C = . Khi ta có : n + • (XYZ) Fh =  [( XY x n (i) x )( Z  i 1 xid • (XYZ) Fh =  [( X  x Fhx\XxYx). n (i) )( YZ  i 1 xid ) i 1 n + (i) + x (i) )+Fhx\Xx). i 1 Chứng minh: n + • (XYZ) Fh =  x [( XY n (i) )( Z  i 1 xid x (i) + ) Fhx\(XxYx)]. i 1 Áp dụng kết Mệnh đề 3.4 ta có : n + (XYZ) Fh = XY[  (i) (Z   x )+Fhx\(XxYx)]. Lại có XY = i 1 xid n  Thay XY vào ta được: XYZ)  Fh = [( XY x n + • (XYZ) Fh =  [( X  x )( YZ  i 1 xid )( Z  x (i) + ) x (i) + ) Fhx\Xx). i 1 Áp dụng kết Mệnh đề 3.4 ta có : n + (XYZ) Fh = X[  xid (YZ  x n (i) + ) Fhx\Xx]. Lại có X = i 1  Thay X vào ta được: (XYZ) Fh = (X   xid [( X  x i 1 x (i) ) i 1 xid n + n (i) ) Fhx\(XxYx)]. i 1 n (i) (i) n (i) i 1 xid x i 1 xid n + (XY  )( YZ  x i 1 (i) + ) Fhx\Xx]. 52 3.3. Chương trình Demo tính bao đóng tập thuộc tính số mô hình liệu dạng khối. 3.3.1.Giới thiệu toán tìm: Bài toán : n Đầu vào : Cho lược đồ khối R=(id; A1, A2, ., An ),Với X, Y  id (i ) i 1 tập thuộc tính số, Fh = {X Y|X= x (i ) ,Y= iA …, n}, x x ( j) , A, B {1, 2, jB id} tập phụ thuộc hàm cho trước. Đầu : Tìm bao đóng tập thuộc tính số X (kí hiệu X+) tập phụ thuộc hàm Fhx Ngôn ngữ sử dụng: Phần mềm viết ngôn ngữ Visual Studio 2012, .NET Frame work 4.0 (là tảng lập trình tảng thực thi ứng dụng chủ yếu hệ điều hành Microsoft Windows phát triển Microsoft. ) 3.3.2.Các thuật toán sử dụng chương trình : Thuật toán tìm bao đóng : (Tìm bao đóng lược đồ lát cắt Xx) Input: Tập thuộc tính X, tập phụ thuộc hàm F lược đồ khối R. Output: X+, bao đóng X F R. BAODONG1(X,F,R) Begin tepcu : = ; tepmoi := X ; while tepmoi ≠ tepcu begin 53 tepcu := tepmoi ; for each W → Z in F if tepmoi ⊇ W then tepmoi := tepmoi ∪ Z ; end; return(tepmoi); End. Thuật toán tìm bao đóng 2:(tìm bao đóng tập thuộc tính số X n dựa bao đóng tập thuộc tính Xx = X  x (i ) , sau gộp i i kết lại lát cắt lại với ta kết cuối bao đóng tập thuộc tính số X X+ =  X x ). xid Input : tập thuộc tính X, tập phụ thuộc hàm Fh lược đồ khối R - Output: X+, bao đóng X Fh R BAODONG2(X, Fh, R) Begin X+ :=  ; for each x  id begin 54 n n i i i i Y = X   x (i ) ; Fhx = Fh  x (i ) ; if Y  then X+ := X+  BAODONG1( Y, Fhx, R) end; return (X+); End. 3.3.3.Giao diện chương trình: Hình 3.1. Chương trình tìm bao đóng tập thuộc tính số Khi bắt đầu chạy chương trình có sẵn liệu giả định bao gồm tập thuộc tính số, tập phụ thuộc hàm để chạy thử nên ta chạy việc tìm bao đóng tập thuộc tính số liệu này. • Nhập tập thuộc tính số: nhập thuộc tính số cho lát cắt • Nhập tập phụ thuộc hàm tập thuộc tính số • Nhập vào thuộc tính cần tìm bao đóng tập thuộc tính số. 55 Phần kết việc tính toán hiển thị trên: - BĐ1 : kết thực tính bao đóng thuộc tính số lát cắt thứ - BĐ2 : kết thực tính bao đóng thuộc tính số lát cắt thứ hai. - BĐ3 : kết thực tính bao đóng thuộc tính số lát cắt thứ ba. - BĐ4 : kết thực tính bao đóng thuộc tính số lát cắt thứ tư. Phần tính bao đóng lược đồ khối sau: Tính bao đóng tập phụ thuộc hàm tập thuộc tính số, sau tìm hợp bao đóng tìm lại với nhau, ta có bao đóng tập thuộc tính số khối cho. BAO ĐÓNG =  (BĐ1, BĐ2, BD3,BD4 ). Hình 3.2. Kết tính bao bao đóng tập thuộc tính số. 56 Khả ứng dụng chương trình: Chương trình tìm bao đóng lát cắt có tập phụ thuộc hàm tương đương, lát cắt có tập phụ thuộc hàm khác nhau, mô hình liệu quan hệ. 57 KẾT LUẬN CHƯƠNG Nội dung chương trình bày chứng tính chất bao đóng mô hình liệu dạng khối : tính phản xạ, tính lũy đẳng, tính đơn điệu . trình bầy số tính chất mở rộng bao đóng mô hình liệu dạng khối với chương trình Demo minh họa cho thuật toán tìm bao đóng tập thuộc tính số lược đồ khối. 58 KẾT LUẬN Qua trình tìm hiểu nghiên cứu tính chất mở rộng bao đóng lược đồ khối, luận văn đạt số kết sau: - Tìm hiểu mô hình liệu dạng khối mở rộng tự nhiên mô hình liệu quan hệ tìm hiểu kĩ bao đóng tập số vài tính chất mô hình liệu dạng khối. - Phát biểu chứng minh tính chất mở rộng bao đóng tập thuộc tính số mô hình liệu dạng khối. - Giới thiệu toán xây dựng chương trình Demo cho thuật toán tìm bao đóng tập thuộc tính số mô hình liệu dạng khối. Đề xuất hướng phát triển nghiên cứu: Sau xây dựng chương trình Demo tính bao đóng tập thuộc tính số mô hình liệu dạng khối, ta mở rộng chương trình để xây dựng thành chương trình Demo tính khóa lược đồ khối lược đồ lát cắt khối dựa vào thuật toán có đề xuất thuật toán giúp cho việc tính khóa lược đồ khối hay lát cắt trở lên dễ dàng hơn, nhanh hơn. 59 TÀI LIỆU THAM KHẢO [1] Nguyễn Xuân Huy, Trịnh Đình Thắng (1997), “Mô hình sở liệu dạng khối”, Kỷ yếu báo cáo khoa học Hội thảo số vấn đề chọn lọc Công nghệ Thông tin, Đại lải, 8/1997, tr. 14-19. [2] Vũ Trí Dũng, (2009), Ứng dụng phép dịch chuyển lược đồ quan hệ sở liệu, Luận văn thạc sĩ công nghệ thông tin, Đại học Thái Nguyên. [3]Nguyễn Xuân Huy, (2006), Các phụ thuộc logic sở liệu, Nhà xuất Thống kê, Hà Nội. [4] Nguyễn Xuân Huy, Trịnh Đình Thắng, (1998), Một số kết khóa mô hình sở liệu dạng khối, Kỉ yếu hội thảo quốc gia tin học ứng dụng, Quy Nhơn. [5] Nguyễn Xuân Huy, Trịnh Đình Thắng (1998), “Mô hình sở liệu dạng khối”, Tạp chí Tin học Điều khiển học, T.14, S.3, (52-60),1998. [6]Nguyễn Tuệ, (2008), Giáo trình sở liệu, Nhà xuất Đại học Quốc gia Hà Nội. [7] Vũ Đức Thi, (1997), Cơ sở liệu- Kiến thức thực hành, Nhà xuất Thống kê, Hà Nội. [8] Trịnh Đình Thắng, (2011), Mô hình liệu dạng khối, Nhà xuất Lao động. [9] Lê Tiến Vương, (1997), Nhập môn Cơ sở liệu quan hệ, Nhà xuất Khoa học kỹ thuật, Hà Nội. [10]Trịnh Đình Vinh, (2011), Một số phụ thuộc liệu sở liệu dạng khối, Luận án Tiến sĩ Toán học. 60 [11] Nguyễn Tuấn Linh ,(2007), Các kỹ thuật dịch chuyển lược đồ quan hệ,Luận văn thạc sĩ công nghệ thông tin, Đại học Thái Nguyên. [12] Nguyễn Thị Xuân Thu,(2010), Thu gọn lược đồ quan hệ ứng dụng,Luận văn thạc sĩ công nghệ thông tin, Đại học Thái Nguyên. [13] Phạm Thế Quế ,(1983), Một cách tiếp cận tới việc nghiên cứu khóa lược đồ quan hệ, Luận án phó tiến sĩ khoa học. [14] Vũ Đức Thi, (2001), Một số vấn đề liên quan đến sở liệu quan hệ, Báo cáo kết thực đề án nghiên cứu năm 2001. [15] Vũ Đức Thi, (2005), Một số vấn đề tính toán liên quan đến sở liệu, Báo cáo tổng kết tình hình thực đề tài năm 2005. [...]... của bao đóng trong mô hình dữ liệu dạng khối, đặc biệt là tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối 3 Nhiệm vụ nghiên cứu Nghiên cứu lý thuyết về mô hình dữ liệu dạng khối Cụ thể là các tính chất mở rộng của bao đóng trong mô hình mô hình dữ liệu dạng khối 4 Đối tượng và phạm vi nghiên cứu - Đối tượng : Bao đóng trong mô hình dữ liệu dạng khối - Phạm vi : Các tính chất của bao đóng. .. hiểu về bao đóng trong mô hình dữ liệu dạng khối cũng như các khái 2 niệm liên quan, trong đề tài nghiên cứu đã tìm hiểu sâu về bao đóng trong mô hình dữ liệu dạng khối và tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối 2 Mục đích nghiên cứu Tìm hiểu khái quát về mô hình dữ liệu dạng khối sau đó đi sâu và nghiên cứu các tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối Trình... được các nhà nghiên cứu trong và ngoài nước quan tâm Một trong những mô hình mới này là mô hình dữ liệu dạng khối Mô hình dữ liệu này có thể xem là một mở rộng của mô hình dữ liệu quan hệ Để góp phần hoàn chỉnh thêm về mô hình dữ liệu dạng khối tôi chọn đề tài là Nghiên cứu bao đóng trong mô hình dữ liệu dạng khối cho luận văn của mình Bao đóng có vai trò rất quan trọng trong cơ sở dữ liệu Với mục... lược đồ khối Chương III : Tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối Phát biểu và chứng minh tính chất của bao đóng, tính chất mở rộng của bao đóng tập thuộc tính chỉ số trong mô hình dữ liệu dạng khối, xây dựng chương trình Demo minh họa thuật toán tìm bao đóng của tập thuộc tính chỉ số trong mô hình dữ liệu dạng khối Kết quả đạt được: - Tìm hiểu về mô hình dữ liệu dạng khối cũng... của mô hình dữ liệu quan hệ trong đó tìm hiểu kĩ hơn về bao đóng của tập chỉ số và một vài tính chất cơ bản của nó trong mô hình dữ liệu dạng khối 4 - Phát biểu và chứng minh các tính chất mở rộng của bao đóng tập thuộc tính chỉ số trong mô hình dữ liệu dạng khối - Giới thiệu bài toán và xây dựng chương trình Demo tính bao đóng của tập thuộc tính chỉ số trong mô hình dữ liệu dạng khối 5 CHƯƠNG I : MÔ... thống cơ sở dữ liệu tốt, người ta thường sử dụng các mô hình dữ liệu thích hợp Ngoài những mô hình được sử dụng trong hệ thống cơ sở dữ liệu đã có từ lâu và được rộng rãi trên Thế giới như: mô hình thực thể - liên kết, mô hình mạng, mô hình dữ liệu, mô hình phân cấp, mô hình quan hệ … Trong những năm gần đây, việc nghiên cứu tìm ra các mô hình mới đáp ứng các ứng dụng phức tạp, các cơ sở dữ liệu có cấu... niệm về phụ thuộc hàm, bao đóng, khóa cùng với các tính chất của chúng Ngoài ra các thuật toán tìm khoá, bao đóng và phép dịch chuyển lược đồ trong mô hình dữ liệu quan hệ cũng được trình bày trong chương này Mô hình dữ liệu quan hệ có tính độc lập dữ liệu cao, dễ dàng sử dụng và còn cho phép dễ dàng mô phỏng các hệ thống thông tin đa dạng trong thực tiễn Trong mô hình này, cơ sở dữ liệu được xem như là... chương này Chương II : Mô hình dữ liệu dạng khối Nội dung chương này trình bày các khái niệm cơ bản trong mô hình dữ liệu dạng khối như : khái niệm về khối, lược đồ khối, lát cắt Trình bầy các phép toán cơ bản trên khối, khái niệm về bao đóng của tập phụ thuộc hàm, bao đóng của tập thuộc tính chỉ số, khóa của lược đồ khối cùng với các thuật toán tìm bao đóng, tìm khóa của lược đồ khối Ngoài ra chương này...DANH MỤC CÁC HÌNH Hình 2.1 Biểu diễn khối BANHANG(R)………… …… ……… 27 Hình 2 1 Phép giao trong khối …………………………… ……29 Hình 2.3 Phép hợp trong khối ……………………………… ….30 Hình 2.4 Phép trừ trong khối …………………………… 30 Hình 3.1 Chương trình tìm bao đóng của tập thuộc tính chỉ số… 54 Hình 3.2 Kết quả tính bao bao đóng của tập thuộc tính chỉ số…… 55 1 MỞ ĐẦU 1 Lý do chọn đề tài: Cơ sở dữ liệu (CSDL) là một trong những... bầy trong chương 3 Chương I: Mô hình dữ liệu quan hệ Chương này đã trình bày một số các khái niệm cơ bản nhất trong mô hình dữ liệu quan hệ Trình bày các phép toán cơ bản, các khái niệm về phụ thuộc hàm, bao đóng, khóa cùng với các tính chất của chúng Ngoài ra các thuật toán tìm khoá, bao đóng và phép dịch chuyển lược đồ trong mô hình dữ liệu quan hệ cũng được trình bày trong chương này Chương II : Mô . của bao đóng trong mô hình dữ liệu dạng khối. 2. Mục đích nghiên cứu Tìm hiểu khái quát về mô hình dữ liệu dạng khối sau đó đi sâu và nghiên cứu các tính chất mở rộng của bao đóng trong mô hình. Nhiệm vụ nghiên cứu Nghiên cứu lý thuyết về mô hình dữ liệu dạng khối. Cụ thể là các tính chất mở rộng của bao đóng trong mô hình mô hình dữ liệu dạng khối. 4. Đối tượng và phạm vi nghiên cứu -. mô hình dữ liệu dạng khối. Trình bày và chứng minh các tính chất của bao đóng trong mô hình dữ liệu dạng khối, đặc biệt là tính chất mở rộng của bao đóng trong mô hình dữ liệu dạng khối. 3.