Rút gọn câu truy vấn và ứng dụng trong CSDL phân tán

i LỜI CAM ĐOAN Tôi xin cam đoan, kết luận văn hoàn toàn kết tự thân tơi tìm hiểu, nghiên cứu xử lý Các tài liệu tham khảo trích dẫn thích đầy đủ Tác giả PHANNOUVONG Nisason ii LỜI CẢM ƠN Lời xin gửi lời cảm ơn chân thành đến thầy TS VŨ ĐỨC THÁI định hướng nhiệt tình hướng dẫn, giúp đỡ tơi nhiều mặt chun mơn, kiến thức q trình làm luận văn Tôi xin gửi lời biết ơn sâu sắc đến thầy, cô dạy dỗ truyền đạt kiến thức, kinh nghiệm quý báu cho suốt hai năm cao học trường Đại học Công nghệ Thông tin Truyền thông - Đại học Thái Ngun Cuối tơi xin dành tình cảm thân thiết cho cha mẹ gia đình, bạn bè, đồng nghiệp người gần gũi để động viên, chia sẻ suốt thời gian qua Thái Nguyên, Tháng năm 2017 PHANNOUVONG Nisason iii MỤC LỤC LỜI CAM ĐOAN I LỜI CẢM ƠN II MỤC LỤC III DANH MỤC CHỮ VIẾT TẮT V PHẦN MỞ ĐẦU 1 Đặt vấn đề Đối tượng phạm vi nghiên cứu Những nội dung nghiên cứu Phương pháp nghiên cứu Ý nghĩa khoa học đề tài CHƯƠNG 1: LÝ THUYẾT VỀ THAO TÁC TRÊN CƠ SỞ DỮ LIỆU QUAN HỆ 1.1 Các phép toán logic 1.1.1 Logic hình thức 1.1.2 Logic mệnh đề chân lý 1.2 Tổng quan CSDL phân tán 1.2.1 Các phương pháp phân mảnh tái thiết 10 1.2.2 Cách tạo toán tử từ câu SQL 27 1.3 Kết luận 30 CHƯƠNG 2: PHÂN RÃ VẤN TIN VÀ CỤC BỘ HÓA DỮ LIỆU 32 2.1 Phân rã vấn tin câu vấn tin SQL 32 2.1.1 Phân tích câu truy vấn sở “kiểu liệu” “ngữ nghĩa” 33 2.1.2 Loại bỏ dư thừa tối ưu câu truy vấn 36 2.2 Cục hóa liệu phân tán phương pháp rút gọn câu truy vấn 39 2.2.1 Cục hóa liệu phân tán 39 2.2.2 Rút gọn câu truy vấn SQL phân tán 40 2.3 Kết luận 64 iv CHƯƠNG 3: TỐI ƯU TRUY VẤN PHÂN TÁN CHO CSDL TẠI TRƯỜNG CĐ KỸ THUẬT VIÊNG CHĂN 65 3.1 Ứng dụng xử lý liệu học tập trường cao đẳng kỹ thuật Viêng Chăn 65 3.1.1 Lý thuyết kỹ thuật câu lệnh 65 3.1.2 Giới thiệu CSDL trường cao đẳng kỹ thuật Viêng Chăn năm học 2015-2016 72 3.1.2 Một số dạng rút gọn câu vấn tin CSDL (tại mục 3.1.1) phân mảnh 74 3.2 Kết luận 85 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN CỦA LUẬN VĂN 86 TÀI LIỆU THAM KHẢO 87 v DANH MỤC CHỮ VIẾT TẮT CSDL: Cơ sở liệu CĐ: Cao đẳng DDBMS: Distributed Database Management System DDBS: Distributed Database System LAN: Local Area Network SQL: Structured Query Language PHẦN MỞ ĐẦU Đặt vấn đề Ngày lĩnh vực giáo dục, thương mại ngày mở rộng phát triển Để hoạt động thuận lợi có hiệu cần phải nắm bắt thơng tin nhanh địa điểm xa Theo mô hình đám mây, máy chủ CSDL lắp đặt tập trung địa điểm an toàn, liệu phân bố thiết bị lưu trữ coi kiến trúc phân tán Như vậy, mơ hình sở liệu phân tán đã, nghiên cứu ứng dụng vào thực tế Việc cần làm nghiên cứu làm sáng tỏ thêm khả ứng dụng thực tiễn sở liệu phân tán Lợi ích sở liệu phân tán liệu sở liệu vật lý riêng biệt tích hợp logic với làm cho nhiều người sử dụng mạng truy nhập Cơ sở liệu phân tán với cấp độ tự trị cao điểm Trong hệ phân tán giải pháp rút gọn câu vấn tin phân tán làm giảm thời gian tính tốn, giảm khối lượng truyền thông tin trạm giảm không gian nhớ, tránh công việc dư thừa, loại bỏ phần vơ ích để phục vụ cho việc xử lí song song Được đồng ý giáo viên hướng dẫn thực nghiên cứu “Rút gọn câu truy vấn ứng dụng CSDL phân tán” làm đề tài luận văn tốt nghiệp Đối tượng phạm vi nghiên cứu - Cơ sở liệu có cấu trúc cấu trúc phân tán - Vấn đề truy vấn sở liệu phân tán giải pháp tối ưu câu truy vấn - Xây dựng sở liệu thực tế minh họa cho giải pháp - Cài đặt mô thao tác xử lý Những nội dung nghiên cứu - Kiến trúc sở liệu phân tán: Các mơ hình, cách tổ chức, phân mảnh CSDL theo kiến trúc phân tán - Xây dựng CSDL phân tán nhỏ để thử nghiệm thuật toán - Xây dựng số câu truy vấn tối ưu - Đánh giá hiệu tối ưu Phương pháp nghiên cứu - Phương pháp phân tích thiết kế CSDL - Phương pháp phân mảnh CSDL phân tán - Phương pháp xây dựng câu truy vấn rút gọn câu truy vấn SQL Ý nghĩa khoa học đề tài Luận văn ứng dụng lý thuyết CSDL phân tán, câu truy vấn SQL vào thực tế làm rõ ưu điểm mơ hình phân tán Xây dựng toán ứng dụng CASE STUDY để nghiên cứu nâng cao kỹ kinh nghiệm triển khai cho người đọc CHƯƠNG 1: LÝ THUYẾT VỀ THAO TÁC TRÊN CƠ SỞ DỮ LIỆU QUAN HỆ 1.1 Các phép tốn logic 1.1.1 Logic hình thức Logic hình thức loại logic xác định cú pháp ngữ nghĩa sau: Cú pháp Cú pháp logic hình thức việc sử dụng đối tượng phép kết nối logic đối tượng lại để tạo biểu thức logic chuẩn (theo nghĩa đó) Như biểu thức logic bao gồm: - Tập kí hiệu kí tự: a, b, c, …, A, B, C, … - Tập phép toán logic: NOT, AND, OR, XOR (tương ứng với phép toán đại số quan hệ  ,  , , ) - Dùng dãy hữu hạn ký hiệu phép toán để tạo biểu thức logic - Cho trước tập quy tắc, dựa vào tập quy tắc để tạo biểu thức logic chuẩn Ngữ nghĩa Ngữ nghĩa biểu thức logic ý nghĩa biểu thức logic Có thể dùng phương pháp: quy nạp, đệ quy, suy luận, quy tắc, lược đồ chứng minh, để biểu thức logic cho trước chuẩn hay không chuẩn cho biết chân lý biểu thức 1.1.2 Logic mệnh đề chân lý - Mệnh đề phát biểu để diễn tả khẳng định sai, khơng thể vừa lại vừa sai, hay mang tính chất mập mờ - Giá trị hay sai mệnh đề gọi chân lý mệnh đề thường kí hiệu (hoặc T True) chân lý , chân lý sai kí hiệu (hoặc F False) - Mệnh đề logic quan trọng khoa học máy tính - Các kí hiệu dùng mệnh đề logic () Dùng để độ ưu tiên phép toán logic  Phủ định (NOT)  Hội (Conjunction AND)  Tuyển (Disjunction OR)  Ký hiệu điều kiện (If…Then…)  Kéo theo hai chiều (If AND Only If)  Tổng trực giao (XOR) Kí hiệu Ai i  1, n mệnh đề thứ i, dùng mệnh đề tham số, kí hiệu logic có ý nghĩa khơng đổi, tham số có nội dung phụ thuộc ngữ cảnh Nói chung kí hiệu biểu thức logic hữu hạn đếm được, hầu hết kết luận cho trường hợp không đếm Mệnh đề chia làm hai loại bản: - Mệnh đề sơ cấp (elementary), ngun tử (atom)-khơng thể chia nhỏ được; - Mệnh đề phức hợp (compound), mệnh đề tạo từ mệnh đề khác cách sử dụng phép tốn logic Để máy tính hiểu được, dùng kí hiệu cho mệnh đề, gọi biến mệnh đề Các biến mệnh đề kí hiệu chữ thường Biểu thức logic: Biểu thức logic mệnh đề phức hợp Chân lý phép toán logic cho bảng 1.1 sau: Bảng 1.1 Chân lý phép toán logic p q p pq pq p q pq pq 0 0 1 1 1 1 0 1 0 1 1 1 Mức ưu tiên phép toán logic thể bảng 1.2 Bảng 1.2 Ưu tiên phép toán logic Ký hiệu phép toán Nghĩa phép toán  ,  , Phủ định , Hội, tuyển  , ,  Kéo theo, tương đương, tổng trực giao Tương đương hai biểu thức logic Hai biểu thức logic E F gọi tương đương với viết E  F E F ln ln có chân lý Các quy tắc thay Quy tắc 1: (Quy tắc thay tương đương) Cho E biểu thức logic, thay biểu thức biểu thức tương đương với biểu thức đó, biểu thức logic E’ nhận tương đương với E Quy tắc 2: (Tính bất biến biểu thức logic đúng) Cho E biểu thức đúng, thay mệnh đề p E biểu thức logic ta nhận biểu thức logic E’ 73 Về CSDL trường cao đẳng kỹ thuật Viêng Chăn đưa vào ứng dụng sau: Quan hệ LOP (MaLop, TenLop, ViTriHoc), Lop tên quan hệ lớp, MaLop mã lớp, TenLop tên lớp, ViTriHoc vị trí học (Bảng 3.2) Bảng 3.2 Quan hệ LOP: MaLop TenLop ViTriHoc AC1/1 Lớp AC1/1 Nhà A AC2/1 Lớp AC2/1 Nhà A AC3/4 Lớp AC3/1 Nhà A FN1/1 Lớp FN1/1 Nhà A FN3/2 Lớp FN3/2 Nhà A Quan hệ HS-SV(MaSV, TenSV, GioiTinh, NgaySinh, QueQuan), HS-SV tên quan hệ học sinh sinh viên, MaSV mã sinh viên, TenSV tên sinh viên, GioiTinh giới tính, NgaySinh ngày sinh, QueQuan quê quán cho bảng 3.3 Bảng 3.3 Quan hệ HS-SV: MaSV TenHS GioiTinh NgaySinh QueQuan SV0001 Mino Thanasak Nam 16/01/1992 Attapue SV0016 Soudaxai Xaisouliyong Nam 28/07/1996 Bolikhamxai SV0383 Phetsamone Xaiyachak Nữ 30/07/1997 Luangphabang SV0454 Phetsamone Xaiyachak Nam 09/10/1997 Vientiane SV0600 ChindavonePhetluangsy Nữ 03/03/1998 Bokeo Quan hệ KQHT (MaSV, MaLOP, TBCM, XepLoai), KQHT tên quan hệ kết học tập, MaSV mã sinh viên, MaLop mã lớp, TBCM trung bình mơn, XepLoai xếp loại (bảng 3.4) 74 Bảng 3.4 Quan hệ KQHT: MaHS MaLop TBCM XepLoai SV0001 AC1/1 3,97 G SV0016 AC1/1 2,57 K SV0383 FN1/1 0,59 Kém SV0454 FN1/2 3,5 G SV0600 FN3/2 2,46 TB Để minh hoạ vấn đề lý thuyết rút gọn câu truy vấn, luận văn sử dụng số liệu CSDL để thử nghiệm đánh giá chất lượng việc tối ưu câu lệnh truy vấn 3.1.2 Một số dạng rút gọn câu vấn tin CSDL 3.1.2.1 Rút gọn cho phân mảnh ngang nguyên thuỷ Quan hệ LOP tách thành ba mảnh ngang sau để chia thành khối lớp AC, FN: LOPAC = MaLop  “AC3/4” (LOP) LOPFN = MaLop > “AC3/4” (LOP) Chương trình cục hoá cho phân mảnh ngang hợp mảnh lại: LOP = LOPAC  LOPFN Vì câu vấn tin gốc thực LOP thực LOPAC  LOPFN Rút gọn với phép chọn Câu hỏi 1: Hãy cho biết tên vị trí lớp có mã lớp AC2/1 Theo yêu cầu cho biết tên lớp có mã AC2/1 học đâu, ta tiến hành rút gọn cho phân mảnh ngang dùng câu vấn tin mẫu sau: SELECT * FROM LOP 75 WHERE MaLop = “AC2/1” Kết chưa tối ưu hình 3.1 Hình 3.1 Kết câu lệnh truy vấn ban đầu MaLop  = MaLop “AC2/1” “AC2/1” MaLop  LOPAC LOPAC2/ = LOPFN (a) Truy vấn gốc =“ MaLop = LOPAC MaLop = LOPFN (b) Truy vấn đổi  cho  LOPAC (c) Truy vấn rút gọn Hình 3.2 Rút gọn cho phân mảnh ngang (với phép chọn) Chương trình cục hố cho phân mảnh ngang LOP =LOPAC  LOPFN cho vấn tin gốc (hình 3.1a) Bằng cách hốn vị phép chọn với phép hợp (hình 3.2b), dễ dàng phát vị từ chọn MaLop= “AC2/1” mâu thuẫn với vị từ phân mảnh LOPAC( MaLop  “AC3/4”) vị từ phân mảnh LOPAC (MaLop > “AC3/4”) tạo quan hệ rỗng Câu truy vấn cần áp dụng LOPAC (hình 3.2c) Kết truy vấn rút gọn (hình 3.3): Hình 3.3 Kết rút gọn với phép chọn 76 * Rút gọn với phép nối Giả sử LOP phân mảnh thành LOPAC, LOPFN sau: LOPAC = MaLop  “AC3/4” (LOP); pLOPAC = (MaLop  “AC3/4”) LOPAC =  “AC1/1” MaLop  “AC3/4” (LOP); pLOPAC = (“AC1/1”  MaLop  “AC3/4”) LOPFN = MaLop > “AC3/4” (LOP); pLOPAC = (MaLop > “AC3/4”) quan hệ KQHT phân mảnh ngang sau: KQHT1 = MaLop  “AC3/4” (KQHT); pKQHT1 = (MaLop  “AC3/4”) KQHT2 =  MaLop  “AC3/4” (KQHT); pKQHT2 = (MaLop >“AC3/4”) Như LOPFN KQHT2 định nghĩa vị từ Ngoài vị từ định nghĩa KQHT1 hợp vị từ định nghĩa mảnh LOPAC Câu hỏi 2: Hãy cho biết thông tin chung kết học tập sinh viên Ta xét câu truy vấn nối sau: SELECT * FROM LOP, KQHT WHERE LOP.MaLop = KQHT.MaLop Câu truy vấn gốc tương đương trình bày hình 3.4 MaLop   LOPAC LOPFN KQHTH1 KQHTH2 Hình 3.4 Truy vấn gốc Câu truy vấn rút gọn cách phân phối nối hợp việc áp dụng qui tắc 2, kết rút gọn hình 3.5 77 pLOPAC pKQHT1 = (MaLop  “AC1/4”)  (MaLop  “AC3/4”)= True pLOPAC pKQHT1 = (“AC1/4”  MaLop  “AC3/4”)  (MaLop  “AC3/4”) = True pLOPFN pKQHTH1= (MaLop >“AC3/4”)(MaLop  “AC3/4”) = False  cho quan hệ rỗng pLOPAC pKQHT2 = (MaLop  “AC1/4”)  (MaLop >“AC3/4”) = False  cho quan hệ rỗng pLOPAC pKQHT2 = (“AC1/1”  MaLop  “AC3/4”)  (MaLop >“AC3/4”)= False  cho quan hệ rỗng pLOPFN pKQHTH2= (MaLop >“AC3/4”)(MaLop >“AC3/4”)= True  MaLop MaLop LOPAC KQHT1 LOPFN Hình 3.5 Truy vấn rút gọn KQHTH2 Kết truy vấn rút gọn với phép nối (hình 3.6): 3.1.2.2 Rút gọn cho phân mảnh dọc 78 Quan hệ LOP phân thành hai mảnh dọc, thuộc tính khóa MaLop phải có mặt mảnh dọc LOPV1 = MaLop , TenLop (LOP) LOPV2 = MaLop, ViTriHoc (LOP) Chương trình cục hóa LOP = LOPV1 MaLop LOPV2 Câu hỏi 3: Hãy cho biết câu truy vấn SQL quan hệ lớp cho phân mảnh dọc Ta cho câu truy vấn SQL: SELECT TenLop FROM LOP; Câu truy vấn gốc tương đương LOPV1 LOPV2 cho hình 3.7a, sau hoán vị phép chiếu với phép nối (tức chiếu trước nối) hình 3.7b, thấy LOPV2 vơ dụng MaLop khơng thuộc LOPV2 Vì phép chiếu cần thực LOPV1 trình bày hình 3.7c TenLop MaLop TenLop MaLop LOPV1 LOPV2 TenLop TenLop LOPV1 LOPV2 (a) Truy vấn tin gốc (b) Truy vấn gốc sau hoán vị LOPV1 (c) Truy vấn rút gọn Hình 3.7 a, b, c Rút gọn cho phân mảnh dọc Kết rút gọn cho phân mảnh dọc (hình 3.8): 79 Hình 3.8 Kết rút gọn cho phân mảnh dọc 3.1.2.3 Rút gọn cho phân mảnh ngang dẫn xuất Giả sử quan hệ HS-SV phân mảnh ngang thành HS-SV1 HS-SV2 sau: HS-SV1 = QueQuan = "Vientiane" (HS-SV) HS-SV2 = QueQuan  "Vientiane" (HS-SV) Chương trình cục hoá phân mảnh ngang hợp mảnh Tức là: HS-SV = HS-SV1HS-SV2 Quan hệ KQHT phân mảnh gián tiếp (phân mảnh dẫn xuất ) theo qui tắc sau: KQHTDX1 = KQHT HS-SV1 KQHTDX2 = KQHT HS-SV2 Chương trình cục hố cho quan hệ phân mảnh ngang KQHT hợp mảnh Tức: KQHT = KQHTDX1  KQHTDX2 Câu hỏi 4: Trình bầy câu truy vấn SQL cho phân mảnh ngang dẫn xuất Rút gọn theo mảnh dẫn xuất cách dùng câu truy vấn SQL truy xuất tất thuộc tính từ HS-SV KQHT có giá trị MaSV quê quán QueQuan = “ Vientiane Capital ” SELECT * FROM HS-SV, KQHT WHERE KQHT.MaSV = HS-SV.MaSV 80 AND QueQuan = “Vientiane Capital”; Câu vấn tin gốc thực thi mảnh HS-SV1, HS-SV2, KQHTDX1, MaSV TITLE= “Vientiane Capital”  KQHTDX1  KQHTDX2 HS-SV1 EMP2 Hình 3.9 Truy vấn gốc KQHTDX2 trình bày hình 3.9 Bằng cách giao hốn dùng phép chọn QueQuan= “Vientiane Capital” phép hợp  nhánh bên phải ta kết hình 3.10 MaSV   QueQuan= “Vientiane QueQuan=“Vientiane Capital KQHTDX1 KQHTDX2 HS-SV1 HS-SV2 Hình 3.10 Truy vấn gốc giao hốn Do HS-SV1 có thỏa vị từ QueQuan = ” Vientiane ” khơng có thỏa mãn QueQuan= “Vientiane Capital” nên vị từ chọn mâu thuẫn với vị từ phân mảnh HS-SV1 loại bỏ mảnh HS-SV1 Kết lọa bỏ hình 3.11 81 MaSV QueQuan= “Vientiane Capital”  KQHTDX1 HS-SV2 KQHTDX2 Hình 3.11 Truy vấn sau dùng vị từ mâu thuẫn  MaSV KQHT DX1 MaSV QueQuan= Vientiane Capital” KQHTDXH2 QueQuan= “Vientiane Capital” HS-SV2 HS-SV2 Hình 3.12 Cây truy vấn sau giao hoán phép hợp phép nối Để tiếp tục phát vị từ mâu thuẫn, dùng luật phân phối phép nối hợp Chúng ta giao hoán phép MaLop phép  hình 3.12 Cây bên trái nối hai mảnh KQHTDX1 , HS-SV2 với vị từ mâu thuẫn vị từ QueQuan = “Vientiane” KQHTDX1 QueQuan  “Vientiane” HS-SV2 Vì loại bỏ nhánh bên trái thu câu vấn tin rút gọn hình 3.13 82 MaSV KQHTDX2 QueQuan= Vientiane Capital” HS-SV2 Hình 3.13 Rút gọn cho phân mảnh dẫn xuất Kết rút gọn vấn tin cho phân ngang dẫn xuất (hình 3.14) Hình 3.14 Kết rút gọn truy vấn cho phân ngang dẫn xuất 3.1.2.4 Rút gọn cho phân mảnh hỗn hợp Giả sử ta có phân mảnh hỗn hợp quan hệ KQHT sau: KQHTH1 = MaLop  “AC3/4” ( MaLop, MaSV, XepLoai(KQHT)) KQHTH2 = MaLop > “AC3/4” (MaLop, MaSV, XepLoai(KQHT)) KQHTH3 = MaLop,MaSV,TBCM(KQHT) Chương trình cục hố là: KQHT = (KQHTH1  KQHTH2) MaLop,MaSVKQHTH3 83 Câu hỏi 5: Trình bầy câu truy vấn cho phân mảnh ngang hỗn hợp quan hệ KQHT Câu Truy vấn SQL sau áp dụng Qui tắc Qui tắc cho phân mảnh ngang - dọc quan hệ HS-SV thành KQHTH1, KQHTH2 KQHTH3 cho SELECT MaLop, MaSV, XepLoai FROM KQHT WHERE MaLop = “AC3/4”; Cây truy vấn gốc hình 3.15 MaLop, MaHS, XepLoai MaLop, MaSV, XepLoai MaLop = “AC3/4” MaLop, MaSV MaLop, MaSV  KQHTH1 KQHTH3 KQHTH2 Hình 3.15 Cây truy vấn gốc MaLop = “AC3/4” KQHTH2 MaLop = “AC3/4” KQHTH3 Hình 3.16 Cây truy vấn loại KQHTH1 Cây truy vấn gốc hình 3.15 rút gọn cách đẩy phép chọn xuống để loại bỏ KQHTH1 hình 3.16 vấn tin loại KQHTH1 84 MaLop, MaSV  MaLop, MaSV, XepLoai MaLop = “AC3/4 MaLop, MaSV, XepLoai MaLop = “AC3/4 KQHTH2 KQHTH3 Hình 3.17 Cây truy vấn đẩy phép chiếu xuống, phép nối lên Đẩy phép chiếu xuống, phép nối lên truy vấn hình 3.17 Trong hình 3.17 loại nhánh phải khơng có thuộc tính XepLoai Kết cuối hình 3.18 MaLop, MaSV, XepLoai MaLop = “AC3/4 KQHTH2 Hình 3.18 Câu truy vấn rút gọn Tái thiết câu lệnh đại số quan hệ từ 3.18 được: MaLop, MaSV, XepLoai(MaLop = “AC3/4KQHTH2) Kết rút gọn truy vấn cho phân mảnh hỗn hợp (hình 3.19) 85 Hình 3.19 Kết rút gọn truy vấn cho phân mảnh hỗn hợp 3.3 Kết luận Trong tương lai với phát triển trường Cao đẳng kỹ thuật Viêng Chăn, việc sử dụng sở liệu phân tán điều khả thi, nghiên cứu ứng dụng giải pháp rút gọn câu truy vấn trường Cao đẳng kỹ thuật Viêng Chăn (dạng demo) điều cần thiết Qua phương pháp rút gọn câu vấn tin phân tán: Rút gọn cho phân mảnh ngang nguyên thủy, Rút gọn cho phân mảnh dọc, Rút gọn cho phân mảnh ngang dẫn xuất, Rút gọn cho phân mảnh ngang hỗn hợp Ta thấy tốc độ xử lý tăng lên mang lại hiệu kinh tế cao Tuy nhiên cần ứng dụng linh hoạt đồng để phát huy tối đa ưu điểm việc xử lý phân tán 86 KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN Kết luận Việc lựa chọn giải pháp rút gọn câu vấn tin phân tán toán vấn tin sở liệu phân tán bước quan trọng khởi đầu xây dựng hệ phân tán Một giải pháp rút gọn câu truy vấn phù hợp làm tăng tốc độ xử lý liệu mang lại hiệu kinh tế cao Trên mô hình thực tế lý thuyết sở liệu phân tán việc tìm hiểu giải pháp rút gọn câu truy vấn phân tán vấn đề cần thiết Luận văn phần đáp ứng nhu cầu Những kết luận văn bao gồm: - Nêu số hiểu biết chung sở liệu phân tán, ý nghĩa thực tế việc tổ chức sở liệu phân tán; phương pháp phân mảnh sở liệu phân tán - Trình bày nguyên lý chung rút gọn câu truy vấn phân tán: Rút gọn cho phân mảnh ngang nguyên thủy, rút gọn cho phân mảnh dọc, rút gọn cho phân mảnh ngang dẫn xuất, rút gọn cho phân mảnh ngang hỗn hợp, đồng thời đề xuất phương án xử lý song song tương ứng - Ứng dụng dạng demo giải pháp rút gọn vào sở liệu trường CĐ Kỹ thuật Viêng Chăn Hướng phát triển luận văn Tìm hiểu sâu sắc giải pháp rút gọn câu vấn tin phân tán, để loại rút gọn tìm thuật tốn đưa câu vấn tin rút gọn cách nhanh để tránh phải nhận định, phân tích 87 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Vũ Đức Thái, ”Thiết kế CSDL”, NXB Đại học Thái Nguyên, Năm 2016 [2] Lê Huy Thập, “Cơ sở lý thuyết song song”, NXB Thông tin truyền thông, 8-2010 [3] Lê Huy Thập, “Giáo trình Kỹ thuật lập trình”, Tập 1, NXB Khoa học tự nhiên công nghệ, Hà Nội 10 năm 2008 [4] Lê Huy Thập, “Phân mảnh giá trị lặp thuộc tính CSDL quan hệ”, Tạp chí tin học điều khiển học, Tập 23, Số 1, 86 – 98, 2007 [5] Lê Tiến Vương, “Nhập môn sở liệu quan hệ”, NXB Thống Kê, 2000 Tiếng Anh [6] Jan Speelpenning, Patrice Daux, Jeff Gallus, “Data Modeling and Relational Database Design” Publishers Fiona Simpson, 2001 [7] Hector Garcia-Molina, Jeffrey D Ullman, Jennifer Widom “Database Systems: The Complete Book” - The 2nd Edition, Publisher Pearson, 2008 [8] Abraham Silberschatz, Henry Korth, S Sudarshan, “Database System Concepts” Publisher McGraw-Hill Education, 2010 [9] C.J Date, “An Introduction to Database Systems” – The 8th Edition, Publisher Pearson, 2003 [10] Terry Halpin, Tony Morgan, “Information Modeling and Relational Databases”, Kaufmann, 2008 Second Edition, Publisher Morgan ... Phương pháp phân mảnh CSDL phân tán - Phương pháp xây dựng câu truy vấn rút gọn câu truy vấn SQL Ý nghĩa khoa học đề tài Luận văn ứng dụng lý thuyết CSDL phân tán, câu truy vấn SQL vào thực tế... pháp rút gọn câu truy vấn 39 2.2.1 Cục hóa liệu phân tán 39 2.2.2 Rút gọn câu truy vấn SQL phân tán 40 2.3 Kết luận 64 iv CHƯƠNG 3: TỐI ƯU TRUY VẤN PHÂN TÁN CHO CSDL. .. nghiên cứu Rút gọn câu truy vấn ứng dụng CSDL phân tán làm đề tài luận văn tốt nghiệp Đối tượng phạm vi nghiên cứu - Cơ sở liệu có cấu trúc cấu trúc phân tán - Vấn đề truy vấn sở liệu phân tán giải