Thông tin tài liệu
BỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG HỌC VIỆN KỸ THUẬT QUÂN SỰ TRẦN MINH TUYẾN CÁC PHỤ THUỘC LOGIC TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI - 2015 BỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG HỌC VIỆN KỸ THUẬT QUÂN SỰ TRẦN MINH TUYẾN CÁC PHỤ THUỘC LOGIC TRONG MÔ HÌNH DỮ LIỆU DẠNG KHỐI Chuyên ngành: Cơ sở toán học cho tin học Mã số: 62 46 01 10 LUẬN ÁN TIẾN SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS TSKH NGUYỄN XUÂN HUY HÀ NỘI - 2015 LỜI CẢM ƠN Để hoàn thành luận án này, nhận giúp đỡ nhiệt tình thày, cô giáo khoa Công nghệ Thông tin, Học viện Kỹ thuật Quân trường Đại học Công đoàn Tôi xin gửi lời cảm ơn tới thày, cô giáo khoa Công nghệ Thông tin, Học viện kỹ thuật Quân trường Đại học Công đoàn tạo điều kiện học tập, nghiên cứu giúp đỡ nhiều trình viết luận án Đặc biệt xin trân trọng cảm ơn PGS.TSKH Nguyễn Xuân Huy, người tận tình hướng dẫn, bảo cho toàn trình học tập, nghiên cứu đề tài giúp hoàn thành luận án Hà Nội, ngày 10 tháng 10 năm 2015 Tác giả luận án Trần Minh Tuyến LỜI CAM ĐOAN Tôi xin cam đoan công trình nghiên cứu hướng dẫn khoa học PGS.TSKH Nguyễn Xuân Huy Các kết viết chung với đồng tác giả chấp thuận tác giả trước đưa vào luận án Các kết nêu luận án trung thực chưa công bố công trình khác Tác giả luận án Trần Minh Tuyến MỤC LỤC Trang MỞ ĐẦU 10 Chương 1: Mô hình liệu dạng khối 20 1.1 Mô hình liệu 20 1.1.1 Khái niệm 20 1.1.2 Phân loại 21 1.2 Mô hình liệu dạng khối 23 1.2.1 Khối, lát cắt khối 23 1.2.2 Đại số khối 26 1.2.3 Phụ thuộc hàm 31 1.2.4 Bao đóng tập thuộc tính số 33 1.2.5 Khóa lược đồ khối = (R,F) 34 1.3 Ánh xạ đóng 36 1.3.1 Khái niệm 36 1.3.2 Khóa ánh xạ đóng 38 1.4 Các công thức Boolean 39 1.4.1 Khái niệm 39 1.4.2 Bảng trị bảng chân lý 40 1.4.3 Suy dẫn logic 41 1.4.4 Công thức Boolean dương 41 Chương 2: Phép dịch chuyển lược đồ khối lược đồ khối cân 43 2.1 Phép dịch chuyển lược đồ khối 43 2.2 Thuật toán dịch chuyển lược đồ khối 45 2.3 Biểu diễn bao đóng khóa qua phép dịch chuyển 47 2.3.1 Biểu diễn bao đóng 47 2.3.2 Biểu diễn khóa 49 2.4 Khóa tập thuộc tính nguyên thủy, phi nguyên thủy 54 2.5 Lược đồ khối cân 61 2.6 Thuật toán dịch chuyển lược đồ khối dạng cân 65 2.7 Tập vế trái cực tiểu 69 Chương 3: Phụ thuộc Boolean dương phụ thuộc Boolean dương tổng quát khối 72 3.1 Lược đồ khối ánh xạ đóng 72 3.2 Phụ thuộc Boolean dương khối 76 3.2.1 Khối chân lý 76 3.2.2 Phụ thuộc Boolean dương 77 3.3 Mối quan hệ kiểu phụ thuộc hàm công thức Boolean dương khối 84 3.4 Phụ thuộc Boolean dương tổng quát khối 86 3.5 Thể phụ thuộc Boolean dương tổng quát khối 92 KẾT LUẬN VÀ HƯỚNG NGHIÊN CỨU TIẾP THEO 95 DANH MỤC CÔNG TRÌNH CỦA TÁC GIẢ 97 TÀI LIỆU THAM KHẢO 99 DANH MỤC CÁC KÍ HIỆU, CÁC CHỮ VIẾT TẮT Kí hiệu XY REL(U) RELp(U) t*v t*S t[X], t.X id id’ M P M AXĐ f*g SubSet(U) CTB CTBD PTBD PTBDTQ Fix(f) Gen(G) Coatom(G) MAX(M) Ý nghĩa kí hiệu Biểu diễn hợp hai tập X Y Tập toàn thể quan hệ tập thuộc tính U Tập toàn thể quan hệ có không p tập thuộc tính U, p 1 Phép kết nối hai t v Phép kết nối t với quan hệ S hạn chế (ánh xạ) t tập thuộc tính X Kí hiệu tích rời rạc id id’ Hợp tập M P {MX| X } {XY | X , Y } Ánh xạ đóng Hội hai ánh xạ đóng f g Tập tất tập U Suy dẫn logic Suy dẫn theo quan hệ Suy dẫn theo quan hệ có không phần tử Công thức Boolean Công thức Boolean dương Phụ thuộc Boolean dương Phụ thuộc Boolean dương tổng quát Tập toàn điểm bất động f Tập sinh giàn giao G Đối nguyên tử giàn giao G Tập phần tử cực đại M PTH Uo UK UI LS(f) RS(f) LS(F) RS(F) Phụ thuộc hàm Tập tất thuộc tính không khoá Tập tất thuộc tính khoá Tập tất thuộc tính nằm khoá Vế trái phụ thuộc hàm f Vế phải phụ thuộc hàm f Hợp vế trái tất phụ thuộc hàm f F Hợp vế phải tất phụ thuộc hàm f F DANH SÁCH BẢNG Trang Bảng 1: Biểu diễn quan hệ CAN_BO_1 10 Bảng 1.1: Biểu diễn lát cắt khối KH_HANG 25 DANH SÁCH HÌNH VẼ Trang Hình 1: Biểu diễn khối CAN_BO_2 11 Hình 2: Biểu diễn khối liệu đa chiều 12 Hình 1.1: Biểu diễn khối KH_HANG 24 Hình 3.1: Biểu diễn khối KH_HANG phụ thuộc Boolean dương f 77 Hình 3.2: Biểu diễn khối chân lý r1 khối KH_HANG 78 Hình 3.3: Biểu diễn khối KH_HANG PTBDTQ g 88 Hình 3.4: Biểu diễn khối chân lý r2 khối KH_HANG 88 90 r khối có phần tử Tr = {e, t} TF , với e phần tử khối mà giá trị Do đó, suy r(F) Theo giả thiết từ r(F) r(f), Tr Tf (3) Từ bao hàm thức (3) ta suy ra: t Tf Trong trường hợp tập id = {x}, khối suy biến thành quan hệ định lý tương đương lại trở thành định lý tương đương mô hình liệu quan hệ Cụ thể, ta có hệ sau: Hệ 3.5 Cho tập PTBDTQ F PTBDTQ f, R = (id; A1,A2, ,An ), r(R) khối R Khi id = {x} khối r suy biến thành quan hệ ba mệnh đề sau tương đương: (i) F f (suy dẫn logic), (ii) F f (suy dẫn theo quan hệ), (iii) F f (suy dẫn theo quan hệ có không phần tử) Đây kết chứng minh mô hình liệu quan hệ Từ trở ta hiểu tập F lược đồ khối = (R, F) tập phụ thuộc Boolean dương tổng quát R Giả sử X n id ( i ) , v Bn x m , (m số phần tử tập số id) i 1 ta có: X(v) = x(i) X: v x(i) = X(v) = x(i) X: v x(i) = X(v) = x(i) X: v x(i) = X(v) = x(i) X: v x(i) = 91 Vận dụng kết ta chứng minh định lý sau đây: Định lý 3.6 Cho R = (id; A1,A2, ,An ), r(R) khối, F tập PTBDTQ n R; X, Y id ( i ) Khi đó: i 1 i) (F (X Y)) ( v TF: ((x(i) X: v x(i) = 0) (y(j) Y: (X Y)) ( v TF: ((x(i) X: v x(i) = 0) (y(j) Y: (X Y)) ( v TF: ((x(i) X: v x(i) = 0) (y(j) Y: (X Y)) ( v TF: ((x(i) X: v x(i) = 0) (y(j) Y: v y(j) = 1))) ii) (F v y(j) = 1))) iii) (F v y(j) = 1))) iv) (F v y(j) = 1))) Hệ 3.6 Cho R = (id; A1,A2, ,An ), r(R) khối, F tập phụ thuộc Boolean dương R; X, Y n id ( i ) Khi đó, id = {x} khối r suy i 1 biến thành quan hệ ta có: i) (F (X Y)) (vTF: ((AX: v A = 0) ( B Y: v B (X Y)) (vTF: ((AX: v A = 0) ( B Y: v B = 1))) ii) (F = 1))) iii) (F (X Y)) (vTF: ((AX: v A = 0) (B Y: v B (X Y)) (vTF: ((AX: v A = 0) ( B Y: v B = 1))) iv) (F = 1))) Hệ kết mà ta biết mô hình liệu quan hệ 92 Định lý 3.7 Cho R = (id; A1,A2, ,An ), r(R) khối, F tập PTBDTQ R, X, Y n id ( i ) Khi đó: i 1 i) (F (X Y)) ( V Set(TF): (X V Y V)) ii) (F (X Y)) ( V Set(TF): (X V Y V )) iii) (F (X Y)) ( V Set(TF): (X V iv) (F (X Y)) (V Set(TF): (X V Y V)) Y V )) Hệ 3.7 Cho R = (id; A1,A2, ,An ), r(R) khối, F tập PTBDTQ R; X,Y n id ( i ) Khi đó, id = {x} khối r suy biến thành quan hệ ta i 1 có mô hình liệu quan hệ: i) (F (X Y)) ( V Set(TF): (X V Y V)) ii) (F (X Y)) ( V Set(TF): (X V Y V )) iii) (F (X Y)) ( V Set(TF): (X V iv) (F (X Y)) ( V Set(TF): (X V Y V)) Y V )) Hệ kết mà ta biết mô hình liệu quan hệ 3.5 Thể phụ thuộc Boolean dương tổng quát khối Định nghĩa 3.7 Cho lược đồ khối R = (id; A1,A2, ,An ), U= n id , tập PTBDTQ (i ) i 1 U Trong lược đồ khối = (R, ) ta kí hiệu + tập PTBDTQ suy dẫn từ : + = {g P(U)| g } = {g P(U)| T Tg } Định nghĩa 3.8 Cho R = (id; A1,A2, ,An ), r(R) khối R, ta kí hiệu BD(r) tập 93 PTBDTQ r: BD(r) = {g P(U)| r(g)} Như vậy, ta có: g BD(r) g P(U) Tr Tg Từ định lý tương đương PTBDTQ ta có: (BD(r))+ = BD(r), tập PTBDTQ (BD(r))+ BD(r) tương đương Định nghĩa 3.9 Cho lược đồ khối R= (id; A1,A2, ,An ), U = n id (i ) , tập PTBDTQ i 1 U Ta nói khối r thể tập PTBDTQ BD(r) + khối r thể chặt tập PTBDTQ BD(r) = + Nếu khối r thể chặt tập PTBDTQ ta nói r khối Armstrong tập PTBDTQ Mệnh đề 3.7 Với khối r khác rỗng ta có: Tr = TBD(r) Chứng minh Theo định lý tương đương g BD(r) r thỏa g, điều có nghĩa Tr Tg Theo định lý tương quan công thức Boolean bảng chân lý từ bảng Tr ta tìm công thức Boolean h dạng chuẩn tuyển để Th = Tr Mặt khác, e Tr = Th nên h công thức Boolean dương Vì Tr = Th nên khối r thỏa PTBDTQ h, nghĩa h BD(r) Như vậy, ta chứng minh được: (i) g BD(r): Tr Tg (ii) h BD(r): Tr = Th kết hợp với định nghĩa TBD(r) giao Tg , g BD(r) ta suy ra: Tr = TBD(r) 94 Mệnh đề 3.8 Cho R = (id; A1,A2, ,An ), r(R) khối, r , U = id (i ) , tập n i 1 PTBDTQ U Khi khối r thể chặt tập PTBDTQ khi: Tr = T Chứng minh Sử dụng tính chất: BD(r) = (BD(r)) + từ mệnh đề bảng chân lý BD(r) , Tr = TBD(r) ta có: khối r thể chặt tập PTBDTQ BD(r) = TBD(r) = T BD(r) = + Tr = T Nhận xét Cho R = (id; A1,A2, ,An ), r(R) khối, r , U = id (i ) , tập n i 1 PTBDTQ U Khi đó, id = {x} khối r suy biến thành quan hệ ta có mô hình liệu quan hệ: quan hệ r thể chặt tập PTBDTQ khi: Tr = T Kết luận Chương đề xuất khái niệm như: phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát, Chứng minh tính chất ánh xạ đóng khối, điều kiện cần đủ tập thuộc tính số bất động, tập sinh, tập đối nguyên tử, Các tính chất, định lý tương đương, phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát khối tính chất thể phụ thuộc Boolean dương tổng quát khối phát biểu chứng minh 95 KẾT LUẬN VÀ HƯỚNG NGHIÊN CỨU TIẾP THEO Sau đề xuất nghiên cứu tính chất phụ thuộc logic mô hình liệu dạng khối, luận án đạt số kết sau đây: - Đề xuất phép dịch chuyển lược đồ khối, thuật toán dịch chuyển, chứng minh tính độ phức tạp thuật toán Chứng minh tính chất biểu diễn bao đóng tập thuộc tính số khóa khối, khóa lát cắt qua phép dịch chuyển - Chứng minh định lý cần đủ khóa lược đồ khối, khóa lát cắt ban đầu khóa lược đồ khối, khóa lát cắt sau dịch chuyển Chứng minh định lý tương đương bao đóng tập thuộc tính số lát cắt khối - Đề xuất khái niệm lược đồ khối cân bằng, chứng minh tính chất mối quan hệ lược đồ cân khối lát cắt Chứng minh định lý cần đủ để lược đồ khối cân bằng, đưa thuật toán dịch chuyển lược đồ khối dạng cân bằng, chứng minh tính độ phức tạp - Chứng minh số tính chất ánh xạ đóng khối, điều kiện cần đủ tập thuộc tính bất động, tập sinh, Chứng minh số định lý tương đương khóa khối lát cắt - Đề xuất khái niệm phụ thuộc Boolean dương khối, chứng minh định lý tương đương, số điều kiện cần đủ phép suy dẫn Chứng minh tính chất mối quan hệ kiểu phụ thuộc hàm công thức Boolean dương khối, lát cắt 96 - Đề xuất khái niệm phụ thuộc Boolean dương tổng quát khối, chứng minh định lý tương đương, điều kiện cần đủ phép suy dẫn phụ thuộc Boolean dương tổng quát khối Chứng minh điều kiện cần đủ thể chặt tập phụ thuộc Boolean dương tổng quát khối Các kết nghiên cứu làm rõ thêm cấu trúc phụ thuộc logic thiết kế mô hình liệu dạng khối Trong trường hợp khối suy biến thành quan hệ, số kết lại trùng với kết nhiều tác giả đưa quan hệ mô hình liệu quan hệ Một số kết khác xét trường hợp riêng tập phụ thuộc hàm F lược đồ khối, tập phụ thuộc hàm Fh, tập phụ thuộc hàm Fhx, Trên sở kết này, ta nghiên cứu tiếp mối quan hệ loại phụ thuộc logic khác với phép dịch chuyển lược đồ khối, trường hợp khác tập phụ thuộc hàm khối, lát cắt, Các kết nghiên cứu góp phần làm hoàn chỉnh thêm lí thuyết thiết kế mô hình liệu dạng khối 97 DANH MỤC CÔNG TRÌNH CỦA TÁC GIẢ [1] Trịnh Đình Thắng, Trần Minh Tuyến (2010), Phép dịch chuyển lược đồ khối vấn đề biểu diễn bao đóng, khóa mô hình liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ XIII “Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông”, Hưng Yên, tr 276-286 [2] Trịnh Đình Thắng, Trần Minh Tuyến (2011), Khóa tập thuộc tính nguyên thủy, phi nguyên thủy với phép dịch chuyển lược đồ khối, Kỷ yếu Hội thảo quốc gia lần thứ 13 "Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông", Cần Thơ, tr 159-170 [3] Trinh Dinh Thang, Tran Minh Tuyen (2012), Key and key attributes set, non-key attributes set with translation of block schemes, International Journal of Advanced Research in Computer Science, vol 3, No.3, India, pp 335-339 [4] Trịnh Đình Thắng, Trần Minh Tuyến (2012), Lược đồ cân bằng, vế trái cực tiểu khóa với phép dịch chuyển lược đồ khối, Kỷ yếu Hội thảo quốc gia lần thứ XV "Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông", Hà Nội, tr 174-179 [5] Trần Minh Tuyến (2013), Lược đồ cân với phép dịch chuyển lược đồ khối, Tạp chí khoa học kỹ thuật, chuyên san Công nghệ Thông tin Truyền thông số 2, Học viện kỹ thuật quân sự, Hà Nội, S.153, tr 28-36 [6] Trịnh Đình Thắng, Trần Minh Tuyến (2013), Ánh xạ đóng phép dịch chuyển lược đồ khối, Kỷ yếu Hội nghị quốc gia lần thứ VI Nghiên cứu ứng dụng Công nghệ Thông tin (FAIR), Thừa Thiên– 98 Huế, tr 174-179 [7] Tran Minh Tuyen, Trinh Dinh Thang, Nguyen Xuan Huy (2015), Some properties of the positive boolean dependencies in the database model of block form, Journal of Computer Science and Cybernetics, V.31, N.2, Viet Nam, pp 159-169 [8] Trần Minh Tuyến, Trịnh Đình Thắng (2014), Phụ thuộc Boole dương tổng quát mô hình liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ XVII "Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông", Buôn Ma Thuột, tr 274-279 99 TÀI LIỆU THAM KHẢO [1] Nguyễn Xuân Huy, Lê Đức Minh, Vũ Ngọc Loãn (2000), Các ánh xạ đóng ứng dụng sở liệu, Tạp chí Tin học Điều khiển học, T.16, S.4, tr 1-6 [2] Nguyễn Xuân Huy, Đoàn Văn Ban, Đàm Gia Mạnh, Nguyễn Thế Dũng (2001), Về mối liên hệ suy diễn phụ thuộc hàm suy diễn logic, Tạp chí Tin học Điều khiển học, T.17, S.4, tr 11-16 [3] Nguyễn Xuân Huy, Đàm Gia Mạnh, Vũ Thanh Xuân, Kim Lan Hương (2001), Về lớp công thức suy dẫn, Tạp chí Tin học Điều khiển học, T.17, S.4, tr 17-22 [4] 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, tr 52-60 [5] Nguyễn Xuân Huy, Trịnh Đình Thắng (1999), Một vài thuật toán cài đặt phép toán đại số quan hệ mô hình liệu dạng khối, Tạp chí Tin học Điều khiển học, T.15, S.3, tr 8-17 [6] Nguyễn Xuân Huy (2006), Các phụ thuộc logic sở liệu, NXB Thống kê, Hà Nội [7] Trịnh Đình Thắng (2001), Một số kết bao đóng, khóa phụ thuộc hàm mô hình liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ IV “Một số vấn đề chọn lọc Công nghệ Thông tin”, Hải Phòng, tr 245-251 [8] Trịnh Đình Thắng (2005), Một số kết phụ thuộc hàm, phủ phụ thuộc hàm dạng chuẩn mô hình liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ "Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông", Hải Phòng, tr 580-586 [9] Trịnh Đình Thắng, Trịnh Đình Vinh (2008), Phụ thuộc đa trị mô 100 hình liệu dạng khối, Kỷ yếu Hội thảo quốc gia lần thứ 11 "Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông", Huế, tr 321-328 [10] Trịnh Đình Thắng (2011), Mô hình liệu dạng khối, NXB Lao động [11] Vũ Đức Thi, Trịnh Đình Vinh (2009), Phụ thuộc đa trị xấp xỉ mô hình liêu dạng khối, Kỷ yếu Hội thảo Quốc gia “Một số vấn đề chọn lọc Công nghệ Thông tin Truyền thông”, Biên Hoà, tr 341-350 [12] Vũ Đức Thi, Trịnh Đình Vinh (2010), a-Phụ thuộc hàm a-Bao đóng mô hình sở liêu dạng khối, Tạp chí Tin học Điều khiển học, 26(2), tr 131-139 [13] Trịnh Đình Vinh, Vũ Đức Thi (2010), Phủ tập phụ thuộc hàm vấn đề tựa chuẩn hoá mô hình liêu dạng khối, Tạp chí Tin học Điều khiển học, 26(4), tr 312-320 TiÕng Anh: [14] Akrivi Vlachou, Christos Doulkeridis, Kjetil Norvag, Yannis Kotidis (2012), Peer-to-Peer Query Processing over Multidimensional Data (SpringerBriefs in Computer Science) Paperback, Springer; 2012 edition [15] Apostolos Benisis (2010), Business Process Management:: A Data Cube To Analyze Business Process Simulation Data For Decision Making Paperback, VDM Verlag Dr Müller [16] Brian Ciampa (2014), The Data Warehouse Workshop: Providing Practical Experience to the Aspiring ETL Developer Paperback, CreateSpace Independent Publishing Platform [17] C Dyreson (1996), Information retrieval from an incomplete data cube, In Proc of the 22nd Int Conf on Very Large Data Bases (VLDB) pages 532-543 Morgan Kaufmann Publishers 101 [18] C Imhoff, N Galemmo, and J G Geiger.(2003), Mastering Data Warehouse Design: Relational and Dimensional Techniques John Wiley [19] Christian S.Jensen, Torben Bach Pedersen, Christian Thomsen, & more (2010), Multidimensional Databases and Data Warehousing (Synthesis Lectures on Data Management) Paperback, Morgan and Claypool Publishers; edition [20] Daniel T Larose (2006), Data mining method and models, Wileyinterscience A john wiley & sons, Inc Publication [21] E Thomsen (1997), OLAP Solutions: Building Multidimensional Information Systems John Wiley [22] GARCIA-MOLINA H, ULLMAN J., WIDOM J.(2002), Database System: The Complete Book, Prentice Hall [23] Haiping Lu, Konstantinos N Plataniotis, Anastasios Venetsanopoulos (2013), Multilinear Subspace Learning: Dimensionality Reduction of Multidimensional Data (Chapman & Hall/Crc Machine Learning & Pattern Recognition) Hardcover, Chapman and Hall/CRC; edition [24] Hong Yao, Howard J Hamilton, Cory J Butz, FD_Mine (2002), “Discovering Functional Dependencies in a Database Using Equivalences”, Second IEEE International Conference on Data Mining [25] Hu X.H., Lin T.Y and Han J.C (2004), A new rough sets model based on database systems, Fundamenta Informaticae, 59(1), pp 135-152 [26] Inmon W.H (2002), Building the Data Warehouse (Third Edition), John Wiley & Sons, Inc [27] J Widom (1995), Research problems in data warehousing CIKM’95 102 [28] John Paredes (2009), The Multidimensional Data Modeling Toolkit: Making Your Business Intelligence Applications Smart with Oracle OLAP Paperback, OLAP World Press [29] Kwok-Wa Lam, Victor C.S.Lee (2004), Building Decision Trees Using Functional Dependencies, Processdings of the International Conference on Information Technology: Coding and Computing (ITCC’04) [30] K M Azharul Hasan, Tatsuo Tsuji (2011), Extendible Arrays for Multidimensional Databases: Concept, Implementation and Evaluation Paperback, LAP LAMBERT Academic Publishing [31] Krish Krishnan (2013), Data Warehousing in the Age of Big Data (The Morgan Kaufmann Series on Business Intelligence) Paperback, Morgan Kaufmann; edition [32] Ladjel Bellatreche, Mukesh K Mohania (2014), Data Warehousing and Knowledge Discovery: 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014 Proceedings (Lecture Notes Applications, incl Internet/Web, and HCI) Paperback, Springer; 2014 edition [33] Maier, D (1983), The Theory of Relational Databases, Computer Science Press, Rockville, Md [34] Maurizio Rafanelli, M.Rafanelli (2003), Multidimensional Databases: Problems and Solutions Hardcover, Idea Group Publishing [35] M.Rafanelli(Ed.) (2003), Multidimensional Databases: Problems and Solutions, Idea Group [36] Mark W Humphries Michael W Hawkins Michelle C Dy (1998), Data Warehousing Architecture and Implementation, Prentice Hall PTR; Pap/ Cdr edition 103 [37] OLAP council (1998) MDAPI specification version 2.0 In http://www.olapcouncil.org/research/apily.htm [38] Paulraj Ponniah (2001), Data warehousing fundamentals, John Wiley & Sons Inc [39] P O'Neil and D Quass (1997), Improved query performance with variant indexes SIGMOD'97 [40] Qiang Yang, Joshua Zhexue Huang, Michaeng Ng (2003), A data Cube Model for Prediction- Based Web Prefetching, Journal of Intelligent Information Systems, Vol 20, Issue 1, pp 11-30 [41] R Agrawal, A Gupta, and S Sarawagi (1997), Modeling Multidimensional Databases, In Proc of 13 th, Int Conf on Data Engineering (ICDE) pages 232-243 IEEE press [42] R Kimball and M Ross (2002), The Data Warehouse Toolkit: The Complete Guide to Dimensional Modeling 2ed John Wiley [43] Ralph Kimball, Margy Ross, Warren Thornthwaite, Joy Mundy, Bob Becker (2008), The Data Warehouse Lifecycle Toolkit Paperback, Wiley; edition [44] Ralph Kimball, Margy Ross (2013) The Data Warehouse Toolkit: The Definitive Guide to Dimensional Modeling Paperback, Wiley; edition [45] Ralph Kimball (2014), Kimball's Data Warehouse Toolkit Classics: Volume Set Paperback, Wiley; edition [46] Robert Laberge (2011), The Data Warehouse Mentor: Practical Data Warehouse and Business Intelligence InsightsPaperback, McGraw-Hill Osborne Media; edition [47] Sid Adelman, Larissa T Moss (2000), Data Warehouse Project Management Paperback, Addison-Wesley Professional; edition 104 [48] Stanislaw Kozielski, Robert Wrembel (2008), New Trends in Data Warehousing and Data Analysis (Annals of Information Systems), Springer; 1st Edition 2nd Printing [49] S Chaudhuri and U Dayal (1997), An Overview of Data Warehousing and OLAP technology, SIGMOD Record, 26(1): pp 65-74 [50] S Sarawagi and M Stonebraker (1994), Efficient organization of large multidimensional arrays, ICDE'94 [51] T.B Pedersen and C.S Jensen (1999), Multidemensional data Modeling for complex data, In proc of 15th Int Conf on data Engineering (ICDE) pages 336-345, IEEE Computer Society [52] Thalheim B (1987), Dependencies in relational databases , Teubner Verlag, Leipzig [53] Ullman, J D (1982), Principles of Database systems, Computer Science Press, Rockville, Md [54] Ullman, J D (1989), Principles of Database and Knowlege - Base systems , vol.1,2 , Computer Science Press [55] Vidette Poe (1996), Building A Data Warehouse for Decision Support, Prentice Hall PTR [56] W H Inmon (2005), Building the Data Warehouse Paperback, Wiley; edition [57] W H Inmon (1996), Building the Data Warehouse, John Wiley [58] Ziv Pollak (2009), Cube Based Incremental Data Mining: Using MultiDimensional Cubes for Incremental Data Mining Paperback, VDM Verlag [...]... đề xuất Phụ thuộc này cũng đã được phát triển thành phụ thuộc hàm trong mô hình dữ liệu dạng khối Khi khối suy biến thành quan hệ thì khái niệm phụ thuộc hàm trong mô hình dữ liệu dạng khối lại trở thành khái niệm phụ thuộc hàm trong mô hình dữ liệu quan hệ Với mô hình dữ liệu quan hệ, sau phụ thuộc hàm thì một trong các lớp phụ thuộc quan trọng được phát triển là phụ thuộc Boolean dương, phụ thuộc Boolean... đồ khối, … Mối quan hệ giữa phụ thuộc logic trong mô hình dữ liệu dạng khối với các phụ thuộc tương ứng trong mô hình dữ liệu quan hệ, Bên cạnh đó, đề tài cũng tìm hiểu về quan hệ giữa phụ thuộc logic trên lược đồ khối và phụ thuộc tương ứng trên lược đồ lát cắt, từ đó xem xét về cấu trúc của các phụ thuộc logic trong mô hình dữ liệu dạng khối Đối tượng nghiên cứu của luận án chính là các phụ thuộc logic, ... 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 Đã có một số loại mô hình được sử dụng trong các hệ thống cơ sở dữ liệu như: mô hình thực thể - liên kết, mô hình mạng, mô hình phân cấp, mô hình hướng đối tượng, mô hình dữ liệu datalog [53], [54], và mô hình quan hệ [33], [52], [53], [54] Trong số các mô hình này, có ba mô hình dữ liệu thường được sử dụng: mô hình phân cấp, mô hình. .. một mô hình dữ liệu mới đã được đề xuất, đó là mô hình dữ liệu dạng khối [4], [5], [7], 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ệ Trong mô hình dữ liệu dạng khối, các khái niệm như: khối, lược đồ khối, lát cắt, đại số khối, phụ thuộc hàm, bao đóng của tập thuộc tính chỉ số, đã được nghiên cứu [4], [5], [7], [8], [9], [10], [11], [12], [13] Trong mô hình dữ liệu dạng khối, ... trúc cơ sở dữ liệu [54] 22 - Các mô hình dữ liệu bậc cao hoặc mô hình dữ liệu mức khái niệm, cung cấp các khái niệm gắn liền với cách cảm nhận dữ liệu của nhiều người sử dụng Các mô hình này tập trung vào bản chất logic của biểu diễn dữ liệu, nó quan tâm đến cái được biểu diễn trong cơ sở dữ liệu chứ không phải cách mà nó được biểu diễn - Các mô hình dữ liệu bậc thấp hoặc các mô hình dữ liệu vật lý,... gũi với cách tổ chức dữ liệu bên trong máy tính Mô hình dữ liệu loại này còn được gọi là mô hình dữ liệu mức logic Các mô hình dữ liệu thể hiện che dấu một số chi tiết về việc lưu trữ dữ liệu nhưng có thể được cài đặt trực tiếp trên hệ thống máy tính Các mô hình dữ liệu thể hiện là các mô hình được sử dụng thường xuyên nhất trong các hệ cơ sở dữ liệu thương mại Ba mô hình được quan tâm nhiều thuộc loại... xấp xỉ mức α trong mô hình dữ liệu dạng khối [11] - Năm 2010 các tác giả Vũ Đức Thi và Trịnh Đình Vinh đề xuất các khái niệm α -phụ thuộc hàm và α-bao đóng, phủ của tập phụ thuộc hàm và vấn đề tựa chuẩn hóa trong mô hình dữ liệu dạng khối [12], [13] 4 Các vấn đề nghiên cứu chính của luận án Trước khi nghiên cứu các phụ thuộc logic trong mô hình dữ liệu dạng khối, luận án tập trung nghiên cứu các vấn đề... tổng quát, phụ thuộc Boolean dương đa trị,… Ở đây, khái quát hóa các lớp phụ thuộc này vào một khái niệm chung là phụ thuộc logic Việc nghiên cứu phụ thuộc logic trong mô hình dữ liệu quan hệ được nhiều tác giả quan tâm và các kết quả tìm thấy đã được sử dụng hữu ích trong quá trình thiết kế các cơ sở dữ liệu Tuy nhiên, trong mô hình dữ liệu dạng khối, cho đến hiện nay thì các phụ thuộc logic còn chưa... lược đồ khối - Chứng minh các tính chất của ánh xạ đóng trong mô hình dữ liệu dạng khối với phép dịch chuyển lược đồ khối - Đề xuất khái niệm phụ thuộc Boolean dương trên lược đồ khối và chứng minh các tính chất của nó trong mô hình dữ liệu dạng khối - Đề xuất khái niệm phụ thuộc Boolean dương tổng quát trên lược đồ khối, chứng minh các tính chất và thể hiện của nó trong mô hình dữ liệu dạng khối 19... chuyển lược đồ khối trong mô hình dữ liệu dạng khối - Đề xuất khái niệm phụ thuộc Boolean dương trên lược đồ khối, phát biểu và chứng minh các tính chất của nó trong mô hình dữ liệu dạng khối, … - Đề xuất khái niệm phụ thuộc Boolean dương tổng quát trên lược đồ khối, phát biểu và chứng minh các tính chất của nó trong mô hình dữ liệu dạng khối, … 5 Một số kết quả nghiên cứu của luận án Các kết quả nghiên ... cứu mô hình liệu đề xuất, mô hình liệu dạng khối [4], [5], [7], Mô hình liệu xem mở rộng mô hình liệu quan hệ Trong mô hình liệu dạng khối, khái niệm như: khối, lược đồ khối, lát cắt, đại số khối, ... [54] Trong số mô hình này, có ba mô hình liệu thường sử dụng: mô hình phân cấp, mô hình mạng mô hình quan hệ Đối với ba mô hình mô hình quan hệ quan tâm Mô hình E Codd đề xuất năm 1970 Sở dĩ mô hình. .. Codd - tác giả mô hình liệu quan hệ đề xuất Phụ thuộc phát triển thành phụ thuộc hàm mô hình liệu dạng khối Khi khối suy biến thành quan hệ khái niệm phụ thuộc hàm mô hình liệu dạng khối lại trở
Ngày đăng: 02/12/2015, 15:42
Xem thêm: Các phụ thuộc logic trong mô hình dữ liệu dạng khối, Các phụ thuộc logic trong mô hình dữ liệu dạng khối
