ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGÔ VĂN ĐỊNH PHÉP DỊCH CHUYỂN LƯỢC ĐỒ KHỐI 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 Thái Nguyên - 2015 ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGÔ VĂN ĐỊNH PHÉP DỊCH CHUYỂN LƯỢC ĐỒ KHỐI 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 0101 LUẬN VĂN THẠC SỸ KHOA HỌC MÁY TÍNH Ng•êi h•íng dÉn khoa häc TS LÊ VĂN PHÙNG Thái Nguyên - 2015 LỜI CẢM ƠN Để hoàn thành luận văn nhận giúp đỡ tận tình thầy hướng dẫn khoa học, thầycô trường Đại học Công nghệ thông tin truyền thông - Đại học Thái Nguyên Tôi xin chân thành cảm ơn thầy cô trường Đại học Công nghệ thông tin truyền thông - Đại học Thái Nguyên tạo điều kiện học tập, nghiên cứu giúp đỡ tơi nhiều q trình làm luận văn Đặc biệt xin cảm ơn thầyTS Lê Văn Phùng tận tình hướng dẫn, bảo tơi suốt trình học tập, nghiên cứu đề tài giúp đỡ tơi hồn thành luận văn Thái Ngun, ngày 15 tháng năm 2015 Học viên Ngô Văn Định LỜI CAM ĐOAN Tôi xin cam đoan kết nghiên cứu hướng dẫn khoa học TS Lê Văn Phùng Các số liệu, kết nêu luận văn trung thực chưa công bố công trình khác Học viên Ngơ Văn Định MỤC LỤC Trang MỤC LỤC i DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT iii DANH MỤC CÁC HÌNH iv MỞ ĐẦU CHƯƠNG MƠ HÌNH DỮ LIỆU DẠNG KHỐI 1.1 Một số mơ hình liệu tiêu biểu 1.1.1 Mơ hình liệu quan hệ 1.1.2 Mơ hình hướng đối tượng 1.1.3 Mơ hình liệu dạng khối 1.2 Khối, lược đồ khối đặc trưng 1.2.1 Khái niệm khối lược đồ khối 1.2.2 Các phép tính khối 1.2.3 Khái niệm phụ thuộc hàm 15 1.2.4 Bao đóng tập thuộc tính số 16 1.2.5 Khóa lược đồ khối R tập F R 19 1.2.6 Các dạng chuẩn, tựa chuẩn tựa chuẩn hóa lược đồ khối 22 1.2.7 Khái niệm phủ phủ tối thiểu tập phụ thuộc hàm 31 Kết luận chương 33 CHƯƠNG PHÉP DỊCH CHUYỂN LƯỢC ĐỒ KHỐI 34 2.1 Phép dịch chuyển lược đồ quan hệ 34 2.1.1 Định nghĩa 34 2.1.2 Thuật toán dịch chuyển lược đồ quan hệ 35 2.1.3 Bổ đề siêu khoá phép dịch chuyển lược đồ quan hệ 39 2.1.4 Dịch chuyển lược đồ quan hệ dạng cân 40 2.2 Phép dịch chuyển lược đồ khối 43 2.2.1 Định nghĩa 43 2.2.2 Sự khác biệt phép chuyển dịch lược đồ khối so với phép dịch chuyển lược đồ quan hệ 45 2.2.3 Một số thuật toán dịch chuyển lược đồ khối 46 2.2.4 Biểu diễn bao đóng qua phép dịch chuyển 48 2.2.5 Biểu diễn khóa qua phép dịch chuyển 51 2.2.6 Ví dụ 55 Kết luận chương 56 CHƯƠNG CHƯƠNG TRÌNH THỬ NGHIỆM 58 3.1 Bài toán thử nghiệm 58 3.2 Phân tích thiết kế chương trình thử nghiệm 59 3.2.1 Thủ tục dịch chuyển 59 3.2.2 Biểu diễn khóa qua phép dịch chuyển 60 3.2.3 Thiết kế chương trình 60 3.3 Cài đặt thực chương trình thử nghiệm 60 3.3.1 Yêu cầu hệ thống 60 3.3.2 Hệ thống liệu vào/ra 61 3.3.3 Hệ thống giao diện 61 3.3.4 Kết thử nghiệm chương trình đánh giá 62 Kết luận chương 67 KẾT LUẬN 68 TÀI LIỆU THAM KHẢO 69 DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT Luận văn dùng thống ký hiệu chữ viết tắt sau: Ký hiệu Ý nghĩa CSDL sở liệu Dom(A) miền giá trị thuộc tính A LĐQH lược đồ quan hệ r r(R) khối r tập R Rx lát cắt r(R) điểm x PTH phụ thuộc hàm (i) x = (x, Ai) (i) (i) id = {x |x thuộc tính số lược đồ khối (x id} tập thuộc tính số lược đồ khối Fh tập phụ thuộc hàm R Fhx tập phụ thuộc hàm Rx id, i = n) DANH MỤC CÁC HÌNH Trang Hình 1.1 Biểu diễn khối SANPHAM Hình 1.2Ví dụ phép hợp 10 Hình 1.3Ví dụ phép giao 10 Hình 1.4 Ví dụ phép trừ 11 Hình 3.1 Giao diện chương trình 61 Hình 3.2 Giao diện nhập liệu 62 MỞ ĐẦU Lí chọn lựa đề tài Ngày nay, công nghệ thông tin trở thành nhân tố thiếu lĩnh vực đời sống xã hội Sự bùng nổ nhu cầu xây dựng hệ thống thông tin, mà trước hết hệ thống thông tin quản lý trở thành hướng nghiên cứu quan tâm nhiều nhà khoa học người sử dụng Các hệ thống sở liệu (CSDL) xuất Vào năm 60, hệ sở liệu đời dạng mơ hình thực thể - liên kết (có đặc điểm nhận dạng đối tượng), mạng phân cấp Tiếp đến vào năm 70 hệ thứ hai CSDL đời Đó mơ hình quan hệ E F Codd đề xuất Loại mơ hình đánh dấu mốc quan trọng sở lý thuyết hệ thống CSDL Sở dĩ mơ hình đánh giá cao xây dựng dựa sở toán học chặt chẽ Tuy nhiên, quan hệ có cấu trúc phẳng (tuyến tính) nên mơ hình chưa đủ đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc phi tuyến,… Trong năm gần đây, việc nghiên cứu nhằm mở rộng mơ hình quan hệ nhiều nhà khoa học quan tâm Theo hướng nghiên cứu có số hướng mở rộng mơ hình quan hệ đề xuất nghiên cứu như: mơ hình liệu đa chiều; khối liệu; kho liệu; mô hình liệu dạng khối Trong đó, mơ hình liệu dạng khối, khối khái niệm mở rộng từ quan hệ mơ hình quan hệ, khối biểu diễn liệu có tính chất động (biểu diễn liệu có thuộc tính thay đổi theo thời gian, khơng gian…) có khả đáp ứng tốt nhiều lớp tốn phức tạp Trong mơ hình quan hệ, để giảm tính phức tạp việc xác định bao đóng, khóa sở liệu lớn, phức tạp, người ta đề xuất phép dịch chuyển lược đồ quan hệ (LĐQH) Trong mơ hình sở liệu dạng khối, việc xác định khóa bao đóng khó khăn hơn, mà phép dịch chuyển lược đồ khối đề xuất với mục đích tương tự Mục tiêu đề tài tìm hiểu kỹ thuật thu gọn lược đồ khối dựa phép dịch chuyển lược đồ khối phương pháp biểu diễn bao đóng khóa lược đồ khối thông qua phép dịch chuyển với độ phức tạp thấp so với phương pháp tìm bao đóng khóa thơng thường Đồng thời, nghiên cứu thuật tốn cài đặt chương trình thử nghiệm với thuật tốn dịch chuyển lược đồ khối biểu diễn khóa lược đồ khối qua phép dịch chuyển Mục đích nghiên cứu Mơ hình liệu dạng khối mở rộng mơ hình quan hệ với khối cho phép biểu diễn liệu có tính chất động (biểu diễn liệu có thuộc tính thay đổi theo thời gian) Tuy nhiên, nghiên cứu mô hình liệu chưa nhiều Đối với sở liệu khối lớn phức tạp, việc xác định khóa bao đóng việc khó Nhờ việc dịch chuyển lược đồ khối, việc tính bao đóng khóa trở nên đơn giản Nhiệm vụ nghiên cứu - Nghiên cứu tổng quan mơ hình liệu dạng khối; số khái niệm thuật toán liên quan - Nghiên cứu phép dịch chuyển lược đồ khối mơ hình liệu dạng khối số thuật toán dịch chuyển lược đồ khối - Áp dụng thuật toán dịch chuyển toán thực tế Đối tượng phạm vi nghiên cứu: Đối tượng nghiên cứu: Mơ hình liệu dạng khối Phạm vi nghiên cứu: Phép dịch chuyển lược đồ khối nhằm giảm nhẹ độ phức tạp việc tính bao đóng khóa khối Phương pháp nghiên cứu - Phương pháp nghiên cứu lý luận b) Giả sử Kx khóa x= (i) (Sx, Gx), Kx = {x , i B}, x id, đó, ta có K khóa , từ đó, dựa vào kết a) ta có K khóa Mệnh đề 2.6 (điều kiện cần đủ)[4] n Cho lược đồ khối = (R, Fh), R = (id; A1, A2,…, An) X, K  id (i , i (i) X = {x , x = (S, G), (i) id, i A}, K = {x , x id, i B}; A, B {1, 2, , n}, X U0, = \X Khi đó, a) K khóa K khóa b) K khóa (i) {x , i B}, x Kx khóa x = (Sx, Gx), Kx = id Chứng minh a) K khóa K khóa Thật vậy, từ giả thiết K khóa , X U0 mệnh đề 2.4 ta suy K =K\X khóa K khóa K khóa Giả sử K khóa , X U0 theo mệnh đề 2.5 ta suy K khóa b) Giả sử K khóa của ta có Kx khóa theo kết câu a) ta suy K khóa x (i) = (Sx, Gx), Kx = {x , i Ngược lại, Kx khóa x B}, x (i) = (Sx, Gx), Kx = {x , i id B}, x id ta có K khóa Từ đó, áp dụng kết câu a) K khóa 2.2.6 Ví dụ Cho lược đồ khối = (R, F), với R = (id; A1A2A3A4A5A6); id = {1, 2} (1) (1) (5) (5) } {1 , }, (2) (2) (3) (3) } {1 , }, F={ {1 , , , {1 , , , (4) (4) (5) (5) (5) (5) (2) {1 , } (1) (1) (6) (6) (2) (3) (3) {1 , , , (5) (5) (6) } } (6) X1 = {1 , , , , , }; X2 = {1 , } + Tính (X1) Fh, (X2) + Fh Bài giải Theo hệ 2.3 cơng thức tính bao đóng cho tập thuộc tính (X1) + Fh Ta tính + = X1( ) Fh\X1 = (S1, G1) = \X1 (4) G1 = F\X1={ (2) { (2) + (4) (4) ,2 Fh = X1( ) + (2) (3) (2) (3) (2) (3) (3) (3) (4) (2) (2) (3) } Fh\X1 (3) } (loại), } (4) {1 , , , , , Từ ta tính ( ) + (2) {1 , , , { (X1) (4) {1 , }, {1 , , , } (3) (4) (4) = {1 , , , , , Fh/X (1) (1) (5) (5) (6) (6) (2) } (2) (3) (3) = {1 , , , , , , , , , , }=R (X2) + Fh Ta tính + = X2( ) Fh\X2 = (S2, G2) = \X2 (1) (1) (4) G2={ {1 , } (4) (2) (2) (2) (1) (1) (3) (3) {1 , , , ={ Fh (3) + = X2( ) Fh\X2 Fh/X (3) } (loại), } (4) (2) {1 , }, + + } (4) {1 , } Từ ta tính ( ) (X2) (2) {1 , }, {1 , , , (2) (3) (3) {1 , , , (2) (2) (3) (3) (2) (3) (3) (6) }} = {1 , , , } (2) (6) = {1 , , , , , } Kết luận chương Trong chương này, luận văn trình bày số vấn đề phép dịch chuyển LĐQH lược đồ khối giới thiệu cácthuật toán dịch chuyển lược đồ khối mơ hình liệu dạng khối Đưa phương pháp biểu diễn bao đóng khóa lược đồ khối thơng qua phép dịch chuyển CHƯƠNG CHƯƠNG TRÌNH THỬ NGHIỆM Luận văn tập trung nghiên cứu tìm hiểu mơ hình sở liệu dạng khối phép dịch chuyển lược đồ khối Việc cài đặt chương trình thử nghiệm nhằm mục đích mơ kết nghiên cứu học viên Chương trình có giao diện đơn giản, dễ sử dụng, dễ hiểu viết ngôn ngữ lập trình C#, ngơn ngữ có hướng đối tượng, phổ biến cho phép tạo giao diện nhanh, dễ dàng 3.1 Bài toán thử nghiệm Trên thực tế, có nhiều tốn phân tích thiết kế, xây dựng chương trình cần phải chuẩn hóa sở liệu Vì liệu dùng để xây dựng chương trình khơng chuẩn hóa dẫn đến dư thừa, gây khó khăn cho việc quản lý, sử dụng, xử lý liệu ứng dụng Trong trình đó, người thiết kế thường gặp số vấn đề sau: Khi xác định số đặc điểm đối tượng lưu trữ, người thiết kế liệt kê tất thuộc tính cần quản lý đối tượng mà không quan tâm đến vấn đề liệu thêm thuộc tính có bị trùng lặp thơng tin khơng, liệu có qn khơng Chẳng hạn, hệ thống bán hàng, lưu trữ thông tin nhà cung cấp để đặt hàng số thông tin ta cần là: mã nhà cung cấp, tên nhà cung cấp, địa chỉ, số điện thoại, mã hàng, tên hàng Với đối tượng nhà cung cấp ta quản lý nhà cung cấp cung cấp mặt hàng ta biết nhà cung cấp cung cấp mặt hàng tên liệu tên mặt hàng không quán Khi nhập liệu ta nhập sau: Mã nhà cung cấp … Mã hàng Tên hàng 01 01 Abc 02 02 Abc Bảng Quan hệ nhà cung cấp Điều gây khó khăn cho ta trình truy xuất thơng tin Để khắc phục vấn đề trên, người thiết kế phải dựa vào qui tắc quản lý (phụ thuộc hàm), áp dụng hệ luật dẫn Amstrong phụ thuộc hàm để xác định mối liên hệ thuộc tính đối tượng đối tượng CSDL Sau đó, sử dụng thuật tốn tìm khóa đối tượng Dựa vào khóa phụ thuộc hàm, người thiết kế xác định dạng chuẩn để đánh giá tính chất LĐQH đối tượng cần quản lý Trong thực tế, người ta đánh giá cao LĐQH đạt từ dạng chuẩn trở lên dạng chuẩn CSDL tránh trùng lắp thơng tin Do đó, LĐQH khơng đạt dạng chuẩn 3, người thiết kế phân rã LĐQH thành lược đồ đảm bảo dạng chuẩn cao hơn, liệu không bị trùng lắp mà giữ tính bảo tồn, tính xác liệu, khơng gây thơng tin Trong mơ hình sở liệu dạng khối, thiết kế CSDL, người ta gặp phải vấn đề tương tự độ phức tạp lớn nhiều, đặc biệt CSDL lớn Trong chương 3,tác giả xây dựng chương trìnhsử dụng thuật tốn dịch chuyển nhằm thu gọnlược đồ phương pháp biểu diễn khóa lược đồ khối thông qua phép dịch chuyển nhằm mô kết nghiên cứu luận văn 3.2 Phân tích thiết kế chương trình thử nghiệm 3.2.1 Thủ tục dịch chuyển Trong chương luận văn, tác giả giới thiệu thuật toán dịch chuyển lược đồ khối Cả thủ tục có thông tin vào lược đồ khối = (R, Fh) tập thuộc tính số X, thơng tin lược đồ dịch chuyển theo tập thuộc tính số X : = \ X = (V,G) với V = R\X, G = F\X Xác định V: Ở thủ tục dịch chuyển, việc xác định tập V:=R\X giống nhau, nghĩa V thu từ việc loại bỏ khỏi R thuộc tính X Việc xác định tập FTH G: Đối với thủ tục dịch chuyển sử dụng thuật toán 2.1, ta tiến hành thực trực tiếp FTH khối ban đầu Còn thủ tục dịch chuyển sử dụng thuật toán 2.2, ta tiến hành thực lát cắt Việc thực thao tác G:= Rutgon(G) ta thực việc: + Loại bỏ PTH tầm thường (dạng X Y, X Y) + Loại bỏ bớt PTH trùng 3.2.2 Biểu diễn khóa qua phép dịch chuyển Theo mệnh đề 2.26, việc xác định khóa lược đồ khối α thực thơng qua việc tìm khóa lược đồ β = α\X với X U0; Việc xác định khóa lược đồ khối β thực thơng qua việc tìm khóa Kxcủa lát cắt βx, x id, lát cắt lại coi LĐQH Vậy, việc tìm khóa lược đồ khối lại trở thành việc tìm khóa LĐQH 3.2.3 Thiết kế chương trình Chương trình cần có số chức sau: + Nhập liệu: cho phép người sử dụng nhập lược đồ khối, phụ thuộc hàm thuộc tính số Việc nhập liệu thực thông qua tệp nhập trực tiếp + Thực thủ tục dịch chuyển lược đồ khối: Cho phép người sử dụng lựa chọn áp dụng thuật toán dịch chuyển lược đồ khối đầu vào, hiển thị kết hình + Biểu diễn khóa qua phép dịch chuyển 3.3 Cài đặt thực chương trình thử nghiệm 3.3.1 Yêu cầu hệ thống Chương trình thử nghiệm viết ngơn ngữ lập trình Visual C# tảng Net cơng cụ lập trình Visual Studio 2013 Để sử dụng chương trình, máy tính cần cài đặt Dotnet Framework 4.5 3.3.2 Hệ thống liệu vào/ra Với mục tiêu toán thực phép dịch chuyển lược đồ khối theo tập thuộc tính số, liệu đầu vào hệ thống bao gồm: + Lược đồ khối = (R,F), với: R = (id; A1, A2,…, An); F: tập phụ thuộc hàm có dạng L n L, R id (i ) , id(i) = (x(i) | x R, đó: id); x = (x; Ai); i n + Tập thuộc tính số X id (i ) , X = {x , x id, i i ., n} Thông tin thu từ toán là: + Lược đồ khối = \ X = (V,G), V = R\X, G = F\X + Biểu diễn khóa lược đồ khối 3.3.3 Hệ thống giao diện Giao diện chính: Hình 3.1 Giao diện chương trình A}, A {1, 2, Giao diện nhập khối ban đầu, phụ thuộc hàm, tập thuộc tính: Hình 3.2 Giao diện nhập liệu 3.3.4 Kết thử nghiệm chương trình đánh giá Ví dụ 3.1 Cho lược đồ khối = (R,F), với R = (id; A1A2A3A4A5A6); id = {1} (1) (5) } {1 }, (4) {1 } (2) (3) } {1 }, (5) {1 } F={ {1 , {1 , (1) (4) (1) {1 , }, (5) {1 , } (6) X = {1 , , } Xác định = \ X = (V,G), V = R\X, G = F\X (4) (6) (2) (3) } (2) (3) (5) V=R\X = {1 , , } (5) G = { {1 } (loại), (loại), (2) (3) (5) (5) {1 , } } (2) (3) (5) (5) {1 , } } {1 , } {1 }, {1 } ={ {1 , } {1 }, {1 } Lược đồ khối (2) (3) (2) (3) = \ X thu có dạng: = (V,G) với V = (id; A2A3A5); id = {1} (2) (3) (5) (5) G = { {1 , } {1 }, {1 } (2) (3) {1 , } } Kết thực chương trình: Trong ví dụ này, id ={1}, lược đồ khối suy biến thành LĐQH, phép dịch chuyển lược đồ khối trở thành phép dịch chuyển mơ hình quan hệ Ví dụ3.2 Cho lược đồ khối = (R,F), với R = (id; ABCDEHKI); id ={1} F = { {(1; A), (1; B)} {(1; C)}, {(1; C)} {(1; D), (1; E) (1; H)}, {(1; H)} {(1;K)}} X = {(1; B), (1; I)} Hãy xác định = \X Kết thực phần mềm: Ta dịch chuyển α theo X, ta sơ đồ β = V = ({1}; ACDEHK) G = { {(1; A)} {(1; C)}, {(1; C)} {(1; D), (1; E) (1; H)}, {(1; H)} {(1; K)} } Ví dụ 3.3 Cho lược đồ khối = (R,F), với R = (id; A1A2A3A4A5A6); id = {1, 2} (1) (1) (5) (5) F={ {1 , , , } (5) (5) (1) (1) (2) {1 , } (2) (4) (3) (3) (3) (3) (2) (1) (5) (5) (3) (5) (6) (6) (6) (2) (2) (6) (4) (4) {1 , , , },{1 , , ,2 } (2) (3) (3) (5) (5) = \ X = (V,G), V = R\X, G = F\X + Tìm khóa lược đồ khối (3) {1 , }, {1 , , , } } X = {1 , , , , , } + Xác định (1) {1 , } (5) {1 , , , }, {1 , , , } (3) (4) {1 , }, (1) (1) {1 , }, (3) {1 , Kết thực phần mềm: Áp dụng thuật toán 2.4 (1) (4) (6) (1) (4) (6) V=R\X = {1 , , , , , } (1) (1) G = F\X ={ {1 ,2 } (4) (1) (1) Thu gọn G, ta được: (1) (6) (loại), {1 ,2 } (4) (1) {1 , }, {1 , } (6) (6) (1) (loại), (1) {1 , } {1 , }, (6) (4) {1 ,2 }, (4) {1 , } (loại) } (1) (1) (4) G ={ {1 , } Vậy (4) (6) (6) (6) (6) {1 , } (6) (6) (6) {1 , } {1 , , , }, {1 , } (1) (1) } (1) (1) } = \ X thu có dạng: = (V,G) với V = (id; A1A4A6); id = {1,2} (1) (1) (4) G ={ {1 , } (4) (6) {1 , , , }, {1 , } Áp dụng thuật toán 2.5 id = {1, 2} nên R có lát cắt R1 = ({1}; A1A2A3A4A5A6); với tập FTH (1) (5) Fh1={ {1 , (5) (4) } (2) {1 } (1) {1 }, (3) (5) {1 , }, (1) (3) {1 , (5) } (3) {1 } {1 }, {1 , (6) {1 , (2) (4) }, {1 , (6) (1) } {1 }, (3) } {1 }} R2 = ({2}; A1A2A3A4A5A6); với tập FTH (1) Fh1={ {2 , (5) (5) (5) (6) (1) {2 }, (2) {2 } {2 , (4) } (3) (5) {2 , }, (2) (4) }, {2 , (3) {2 } {2 }, {2 , (3) } {2 } (6) (1) } (1) (3) {2 }, {2 , } Ta cần thực phép dịch chuyển lát cắt với lược đồ tương ứng (2) (3) (5) = (R1,Fh1) tập thuộc tính X1 = {1 , , }, = (R2,Fh2) tập thuộc tính X2 = { , , } (2) (3) (5) Ta có: = 1\ X1 = (V1,G1) (1) (4) (6) V1=R1\X1 = {1 , , } G1 = Fh1\X1 = { (6) {1 } (1) (1) {1 }, (4) {1 } (6) }, {1 } (6) }, {1 } {1 } (1) {1 }, {1 } {1 (1) (loại), (4) (loại) (loại), } Thu gọn G1, ta G1 = { (1) {1 } Tương tự, ta có (4) {1 ,1 (6) (1) {1 } } } = 2\ X2 = (V2,G2) (1) (4) (6) V2=R2\X2 = {2 , , } (1) G2 = { Vậy {2 } (4) (6) {2 ,2 }, (6) {2 } (6) {1 }, (6) {2 } {2 } (1) } = \ X thu có dạng: = (V,G) với V = (id; A1A4A6); id = {1,2} G={ (1) {1 ,1 (1) {1 } {2 } ={ (1) (1) {1 , } (4) (6) }, {1 } {2 ,2 (4) (6) }, {2 } (4) (6) (4) (6) (6) (1) (1) (6) {1 , , , }, {1 , } } (1) (1) {1 , } } Như vậy, qua số ví dụ, kết thử nghiệm phần mềm hoàn toàn trùng khớp với việc thực thuật toán giấy Việc áp dụng thuật tốn dịch chuyển lược đồ khối có kết tương tự Kết luận chương Trong chương này,tác giả tiến hành xây dựng chương trình ngơn ngữ lập trình C# tảng Visual Studio 2013,sử dụng thuật toán dịch chuyển nhằm thu gọnlược đồ áp dụng phương pháp biểu diễn khóa lược đồ khối ứng dụng Tác giả đưa số ví dụ đơn giản để thử nghiệm kết thực chương trình với việc thực thuật toán giấy với kết trùng khớp Tuy nhiên, ứng dụng đơn giản, dừng lại mức độ mô kết nghiên cứu tác giả Việc xây dựng chương trình có tính ứng dụng thực tế cần phải đầu tư nhiều thời gian cơng sức KẾT LUẬN Qua tìm hiểu nghiên cứu phép dịch chuyển lược đồ khối mơ hình liệu dạng khối, luận văn thực số kết sau đây: - Tìm hiểu mơ hình liệu mới, mơ hình liệu dạng khối Mơ hình mở rộng mơ hình liệu quan hệ E.Codd đề xuất năm 1970 - Trình bày số kết nghiên cứu bao đóng, khóa phụ thuộc hàm mơ hình đồng thời giới thiệu tính chất khóa, thuật tốn tìm khóa, dạng chuẩn tựa chuẩn Mối liên quan mơ hình liệu dạng khối với mơ hình quan hệ - Tìm hiểu giới thiệu phép dịch chuyển lược đồ khối mơ hình liệu dạng khối số thuật toán liên quan; ứng dụng thuật toán vào việc xây dựng chương trình demo cho phép thực số thao tác mơ hình liệu dạng khối Trên số kết mà luận văn tìm phép dịch chuyển lược đồ khối mơ hình liệu dạng khối Tuy nhiên, kết bước đầu, việc nghiên cứu tiếp mơ hình liệu vấn đề mở cần nghiên cứu tiếp TÀI LIỆU THAM KHẢO A Tiếng Việt [1] Nguyễn Kim Anh (2002), “Đại số khối sở liệu đa chiều”, Tạp chí Tin học Điều khiển học, 18(2), tr 149-154 [2] Nguyễn Xuân Huy (2006), Các phụ thuộc logic sở liệu, Nhà xuất Thống kê, Hà Nội [3] Lê Văn Phùng (2010), Cơ sở liệu quan hệ Công nghệ phân tích-Thiết kế, Nhà xuất Thơng tin Truyền thơng, Hà Nội [4] Trịnh Đình Thắng (2011), Mơ hình liệu dạng khối, Nhà xuất Lao Động, Hà Nội [5]Vũ Đức Thi (1997), Cơ sở liệu: Kiến thức thực hành, NXB Thống Kê, Hà Nội [6] Vũ Đức Thi (2010), Giáo trình Cơ sở liệu nâng cao, Nhà xuất Đại học Thái Nguyên, Thái Nguyên [7] 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, Hà Nội B Tiếng Anh [8] C Stolte, D Tang, and P Hanrahan Polaris (2002): “A System for Query, Analysis, and Visualization of Multi-dimensional Relational Databases” In IEEE Trans On Visualization and Computer Graphics, 8(1), pp 52-65 [9] Demetrovics J, Ho Thuan, Nguyen Xuan Huy, Le Van Bao (1986), Translations of relation schemes, balanced relation scheme and the problem of key representation, EIK, Berlin [10] E Rundensteiner, M Ward, J Yang, and P Doshi XmdvTool (2002): “VisualInteractive Data Exploration and Trend Discovery of Highdimensional Data Sets” In Proc ACM SIGMOD 2002 [11] Harinarayan V., Rajaraman A., and “Implementing data cubes efficiently”, SIGMOD Ullman J D (1996), ... khái niệm mơ hình liệu dạng khối; phép toán thuật toán liên quan mơ hình liệu dạng khối - Tìm hiểu phép dịch chuyển lược đồ khối mơ hình liệu dạng khối số thuật tốn dịch chuyển lược đồ khối - Áp... khóa lược đồ khối Chương Phép dịch chuyển lược đồ khối Giới thiệu sơ lược phép dịch chuyển LĐQH mơ hình quan hệ số vấn đề liên quan Tìm hiểu phép dịch chuyển thuật tốn dịch chuyển lược đồ khối. .. chuyển lược đồ quan hệ 39 2.1.4 Dịch chuyển lược đồ quan hệ dạng cân 40 2.2 Phép dịch chuyển lược đồ khối 43 2.2.1 Định nghĩa 43 2.2.2 Sự khác biệt phép chuyển dịch lược đồ khối