Bảng câu vấn tin trên các quan hệ và xử lý câu vấn tin trên bảng

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGÔ HUY THẮNG BẢNG CÂU VẤN TIN TRÊN CÁC QUAN HỆ VÀ XỬ LÝ CÂU VẤN TIN TRÊN BẢNG LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Thái Ngun, năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên Tai ngay!!! Ban co the xoa dong chu nay!!! http://www.lrc-tnu.edu.vn I LỜI CẢM ƠN Những kiến thức luận văn kết trình tự nghiên cứu q trình cơng tác hai năm học Thạc sỹ (2010 - 2012) Trường Đại học Công nghệ thông tin Truyền thông Thái Nguyên Dưới giảng dạy, đào tạo dìu dắt trực tiếp thầy cô trường Viện Công nghệ thông tin Việt Nam Tôi xin bày tỏ lời cảm ơn chân thành tới thầy cô Khoa Công nghệ thông tin, Phịng Đào tạo, Phịng Cơng tác học sinh sinh viên, Phịng Đào tạo sau đại học Trường Đại học Cơng nghệ thông tin Truyền thông Thái Nguyên, tạo điều kiện thuận lợi cho thời gian học tập trường Tơi xin bày tỏ lịng biết ơn chân thành, lời cảm ơn sâu sắc thầy giáo PGS.TS Lê Huy Thập trực tiếp hướng dẫn, định hướng cho giải vấn đề luận văn Tôi xin cảm ơn đến anh chị đồng nghiệp Sở Thông tin Truyền thông tỉnh Bắc Kạn, người thân, bạn bè bạn đồng môn lớp cao học CH 9A, ủng hộ giúp đỡ tơi q trình làm luận văn tốt nghiệp Thái Nguyên, ngày 15 tháng năm 2012 Học viên Ngơ Huy Thắng Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn II LỜI CAM ĐOAN Với mục đích nghiên cứu, tìm hiểu để nâng cao kiến thức trình độ chun mơn để áp dụng toán cụ thể tương lai nên làm luận văn cách nghiêm túc hoàn toàn trung thực Nội dung luận văn tự tơi tìm hiểu hồn thành Trong luận văn, tơi có sử dụng tài liệu tham khảo số tác giả nước để hoàn thành luận văn nêu phần tài liệu tham khảo Tôi xin cam đoan chịu trách nhiệm nội dung, trung thực luận văn tốt nghiệp Thạc sỹ Thái Nguyên, Ngày 15 tháng năm 2012 Học viên Ngô Huy Thắng Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn III MỤC LỤC LỜI CẢM ƠN …………….………………….……………………………… I LỜI CAM ĐOAN ………………….………………………………………… II MỤC LỤC ………………….………………………………………………… III BẢNG CÁC KÝ HIỆU …………………….……………………………… V BẢNG CÁC CHỮ VIẾT TẮT …….…………………………………… VI DANH MỤC HÌNH VẼ …………………………………………………… VII DANH MỤC BẢNG BIỂU ……………………… ……………………… VIII MỞ ĐẦU ……………………………………………… …………………… 10 CHƯƠNG I: TỔNG QUAN VỀ CƠ SỞ DỮ LIỆU QUAN HỆ …… 11 1.1.Khái quát sở liệu …………………………………… ……… 11 1.1.1 Những vấn đề mà CSDL cần phải giải ……… ……… 12 1.1.2 Ðịnh nghĩa Hệ thống sở liệu (Database Systems) … 13 1.1.3 Cơ sở liệu quan hệ lược đồ sở liệu quan hệ … 14 1.2.Các loại câu vấn tin SQL ……………………………………………… 17 1.3.Phương pháp chuyển câu vấn tin SQL sang câu vấn tin đại số quan hệ AQL 19 1.3.1 Ngôn ngữ truy vấn đại số quan hệ (AQL) ……………….…… 20 1.3.2 Các phép biến đổi tương đương đại số quan hệ …… … 22 1.3.3 Thuật toánchuyển câu vấn tin SQL sang câu vấn tin đại số quan hệ AQL 25 1.4.Kết luận chương ………………………………….…………………… 32 CHƯƠNG II: PHƯƠNG PHÁP TÁCH GỘP CÁC HÀNG – CỘT 33 2.1 Phương pháp chuyển câu vấn tin đại số quan hệ sang bảng …… 34 2.1.1 Mục tiêu xử lý vấn tin …………………………….………… 35 2.1.2 Mô tả đặc trưng xử lý vấn tin ………… ………………… 35 2.2 Định nghĩa cách thể câu truy vấn bảng … … 37 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn IV 2.2.1 Cách thể bảng vấn tin đại số quan hệ ………… ……… 38 2.2.2 Độ phức tạp phép toán đại số quan hệ …………… …… 40 2.3 Phương pháp tách gộp hàng bảng vấn tin …………… …… 40 2.3.1.Kỹ thuật Gộp hàng – cột ……………………… ………… 41 2.3.2 Kỹ thuật Tách hàng – cột ………………….……………… 44 2.3 Kết luận chương ……………………………………………………… 51 CHƯƠNG III: ỨNG DỤNG GIẢI BÀI TOÁN CỤ THỂ ……….…… 52 3.1 Cách tính tải hàng phân hoạch bảng vấn tin …… 52 3.1.1 Phân hoạch bảng vấn tin………………….…………………… 53 3.1.2 Cách tính tải hàng ………………….…………………….… 53 3.2 Phương pháp tìm Cell có chi phí truyền thơng lớn …….………… 56 3.3 Thuật tốn tạo bảng vấn tin tiền xử lý ……………….… ……… 58 3.4 Ví dụ minh họa ………………….…………………….………………… 61 3.4.1 Cây tối ưu cho truy vấn dạng ống có cân tải ………… 61 3.4.2 Thuật tốn chia cơng việc ……………………………………… 61 3.4.3 Mở rộng thuật toán nhát cắt cục cho toán POM …… 62 3.5.Kết luận chương ……………………………………………………… 68 KẾT LUẬN ………………………………………………………… ……… 69 HƯỚNG PHÁT TRIỂN …………………………………………………… 70 TÀI LIỆU THAM KHẢO ………………………………………………… 71 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn V BẢNG CÁC KÝ HIỆU ∩ Phép giao ∪ Phép hợp ∈ Ký hiệu thuộc − Phép trừ × Tích đề ⋈ Phép nối Phép chiếu Tê ta * Kết nối tự nhiên ÷ Phép chia ∧ Phép ∨ Phép Phép chọn ⊆ Tập Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn VI BẢNG CÁC CHỮ VIẾT TẮT SQL Structured Query Language – Ngôn ngữ truy vấn liệu CSDL Cơ sở liệu HQTCSDL Database management system - Hệ quản trị Cơ Sở Dữ Liệu AQL Algebraic Query Language (Ngôn ngữ vấn tin đại số) POT Pipeline Operator Tree – Cây toán tử dạng ống POM Pipeline Operator Matrix – Ma trận toán tử dạng ống QH Quan hệ QHi Quan hệ i, i = 1, 2,3,… Ip Isomorphous – Ma trận đặc trưng Cell Ơ Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn VII DANH MỤC HÌNH VẼ Hình 1.1 Mơ hình xử lí thơng tin ………………………………………… 11 Hình 1.2 Mơ hình hệ thống sở liệu ……………………………… 13 Hình 1.3 Cây đại số quan hệ ví dụ ……………………………………… 31 Hình 2.1 Gộp hai đỉnh i j thành đỉnh m …………………………… 43 Hình 2.2 Tách hai đỉnh i j …………………………………………… 46 Hình 2.3 Cắt cạnh tốn tử ………………………………… 50 Hình 2.4 Gộp đỉnh toán tử ………………………………… 50 Hình 3.1 Cây tốn tử tổng qt ………………………………………… 59 Hình 3.2 Cây tốn tử tiền xử lí ………………………………… 60 Hình 3.3 Thuật tốn nhát cắt cục …………………………………… 64 Hình 3.4 Cây tốn tử gốc ………………………… ……………………… 65 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn VIII DANH MỤC BẢNG BIỂU Bảng 1.1 Bảng quan hệ NHANVIEN ……………………….….……… 15 Bảng 1.2 Bảng quan hệ DONVI ……………………….………………… 16 Bảng 1.3 Bảng quan hệ DONVI_DIADIEM ……………….………… 16 Bảng 1.4 Bảng quan hệ DUAN ……………… ………………………… 16 Bảng 1.5 Bảng quan hệ NHANVIEN_DUAN …… ………………… 17 Bảng 2.1 Bảng vấn tin dạng đại số quan hệ ………………………… 39 Bảng 2.2 Toán tử Collapse (i,j) gốc ……………………………………… 42 Bảng 2.3 Toán tử Collapse (i,j) sau gộp i,j ………………………… 42 Bảng 2.4 POM liệu …………………………………………………… 43 Bảng 2.5 POM sau gộp ……………………………………………… 44 Bảng 2.6 Toán tử cut(i,j) gốc ……………………………………………… 45 Bảng 2.7.Toán tử cut(i,j) sau gộp i,j ……………………………… 45 Bảng 2.8 Dữ liệu POM …………………………………………………… 46 Bảng 2.9 POM1 ……………………………………………………………… 47 Bảng 2.9a POM1,1 ………………………………………………………… 47 Bảng 2.9b POM 1,2 ……………………………… ……………………… 47 Bảng 2.10 POM4 …………………………………………………………… 47 Bảng 2.11 Ma trận Ip truy vấn ………………………………………… 48 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn IX Bảng 2.12 Ma trận Ip truy vấn mảnh F1 ……………………………… 48 Bảng 2.13 Ma trận Ip truy vấn mảnh F2 ……………………………… 48 Bảng 2.14 Ma trận Ip truy vấn mảnh F3 …………………………… 49 Bảng 2.15 Ma trận Ip truy vấn lớp mảnh F1 ………………………… 49 Bảng 2.16 Ma trận Ip truy vấn lớp mảnh F2 ………………………… 49 Bảng 2.17 Ma trận Ip truy vấn lớp mảnh F3 ………………………… 49 Bảng 3.1 Bảng truy vấn Ip với phép toán đại số quan hệ …… 54 Bảng 3.2 Các ti cellij Ip …………………………………………… 55 Bảng 3.3 Ma trận Ip tương ứng với toán tử gốc ………………… 58 Bảng 3.4 Gộp cạnh có trọng số lớn qua tiền xử lí ………… 60 Bảng 3.5 Ip truy vấn tương ứng với toán tử gốc ………… ……… 65 Bảng 3.6 Phân hoạch F1 ………… ……………………………………… 66 Bảng 3.7 Phân hoạch F2 ………… ……………………………………… 66 Bảng 3.8 Phân hoạch F3 ………… ……………………………………… 67 Bảng 3.9 Phân hoạch F4 ………… ……………………………………… 67 Bảng 3.10 Phân hoạch F5 ………… ……………………….…………… 67 Bảng 3.11 Phân hoạch F6 ………… …………………………………… 68 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 58 kết luận cellij có trọng số lớn hay khơng Ví dụ Trên bảng 3.3 cell12 = < t2+cell23+cell24 = 5, cell12 = > t1 = 3, nên cell12 có trọng số lớn C(column) t 3 1 0 0 0 0 R(row) Bảng 3.3 Ma trận Ip tương ứng toán tử gốc 3.3 Thuật toán tạo bảng vấn tin tiền xử lý Một câu hỏi đặt “Tại lại phải tiền xử lý bảng vấn tin?” Chúng ta biết rằng, Cell bảng vấn tin thuộc tính bảng quan hệ Đối với bảng có nhiều thuộc tính chi phí xử lý thuộc tính cao, dẫn đến tốc độ xử lý chậm Để khắc phục nhược điểm này, xây dựng bảng vấn tin tiền xử lý với mục đích loại bỏ thuộc tính có chi phí lớn, làm giảm chi phí xử lý thuộc tính bảng Các cột dùng phép tốn đơn ngơi quan hệ gộp lại nhằm mục đích giản lược câu vấn tin thu nhỏ bảng Thuật toán loại bỏ Cell có trọng số lớn Ip đảm bảo lợi ích việc song song hố Thuật toán TienXuLy Vào: Ip Ra: Ip tiền xử lý Method Số hóa Trung tâm Học liệu – Đại học Thái Ngun http://www.lrc-tnu.edu.vn 59 While Vẫn cịn cell có trọng số lớn Collapse(i,j); /* hai cạnh i j */ End while Do toán tử hữu hạn lần gộp làm giảm số đỉnh, nên thuật toán dừng sau số hữu hạn bước Việc kiểm tra tồn cạnh có trọng số lớn yếu tố xác định chủ yếu thời gian thực thuật tốn Do đó, thuật tốn có độ phức tạp O(nd), với n số đỉnh d giá trị lớn bậc đỉnh Ví dụ, xét có 21 đỉnh hình vẽ dưới: Hình 3.1 Cây tốn tử tổng quát Thực tiền xử lý cho cách tiến hành gộp cạnh có trọng số lớn: Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 60 Đỉnh cũ Cạnh Đỉnh trọng số (17 , 9) 17 vào t9 = 17 (4 , 2) vào t2 =  (18 , 10) 18 vào 10 t10= 10 (13 , 6) 13 vào t6 = (21 , 16) 21 vào 16 t16 =  (15 , 8) 16 vào t8 = (7 , 3) vào t3 = 17 Cạnh Đỉnh trọng số Đỉnh cũ (9 , 2) vào t2 = 20 (16 , 8) 16 vào t8 = Bảng 3.4 Gộp cạnh có trọng số lớn qua tiền xử lý Hình 3.2 Cây tốn tử tiền xử lý Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 61 3.4 Ví dụ minh họa Trong phần giới thiệu số thuật giải Heuristic để tìm lời giải tối ưu cho toán POT trường hợp có tính đến cân tải xử lý 3.4.1 Cây tối ưu cho truy vấn dạng ống có cân tải Để trả lời câu truy vấn môi trường đa xử lý, hệ CSDL song song thường thực hai giai đoạn: Giai đoạn xếp lại phép toán nhằm giảm thiểu khối lượng tính tốn truy vấn giai đoạn song song hố nhằm phân chia cơng việc cách hợp lý cho xử lý Ở giai đoạn hai, tối ưu phải giải hai vấn đề: tối ưu mặt truyền thông tối ưu mặt cân tải Một truy vấn gọi tối ưu mặt truyền thơng bảo đảm trọng số đỉnh cực tiểu Một truy vấn gọi tối ưu cân tải xử lý tham gia quy trình xử lý có khối lượng cơng việc thực gần 3.4.2 Thuật tốn chia cơng việc Thuật tốn phân chia cơng việc thuật tốn đơn giản hay sử dụng tốn phân phối cơng việc cho hệ thống xử lý Thuật tốn đạt hiệu cao trường hợp có yêu cầu cân tải Giả sử có p xử lý, n cơng việc xl ., xn có thời gian thực t1, , tn Mỗi cơng việc thực xử lý bấl kỳ phải thực trọn vẹn Hãy tìm cách phân chia n cơng việc cho p xử lý cho thời gian hoàn thành nhanh Thuật toán dựa vào nguyên tắc sau: "Giao cơng việc có thời gian thực lớn công việc chưa phân công cho xử lý thời có tải nhất." Trong đó, tải xử lý thứ k xác định bởi: Lk   (ti   cij ) iFk Số hóa Trung tâm Học liệu – Đại học Thái Nguyên jFk http://www.lrc-tnu.edu.vn 62 Bằng cách này, xem cơng việc xi với thời gian thực ti đỉnh toán tử với trọng số tương ứng Nội dung thuật toán Dividing (xem [6]) Thuật tốn Dividing-BalancedCuts Ip tốn tử khơng giảm, số xử lý p Thuật toán thể sau: BestSchedule:= ∞ , For i = p To n (F1, ,Fi) = BalancedCut_Tai(Ip, i) Schedule := Dividing((F1, ,Fi), p) If BestSchedule > Tai(Schedule) Then BestSchedule := Tai(Schedule) result = Schedute End If End For Save result Thuật tốn Dividing_BalancedCuts có độ phức tạp đa thức Thuật tốn áp dụng tốt cho Ip truy vấn thông thường với yêu cầu cân tải 3.4.3 Mở rộng thuật toán nhát cắt cục cho tốn POM Chúng ta trình bày mở rộng thuật tốn tìm POM dựa Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 63 thuật toán nhát cắt cục (LocalCuts) Mở rộng giải trường hơp số nhóm sinh thuật tốn LocalCuts nhiều số xử lý cho phép, đồng thời bảo đảm yếu tố cân tải xử lý Thuật toán nhát cắt cục Thuật toán nhát cắt cục tiến hành thực việc gộp toán tử dựa việc quan sát liệu cục bộ, thơng tin hàng – cột bảng Ip Sử dụng toán tử cut() α > sử dụng toán tử collapse() trường hợp α < 1, với α số Thuật toán LocalCuts Vào: Ip tiền xử lý, tham số  > l Ra: Phân hoạch liên thông (Tl, , Tk) Nhận xét: + Thuật tốn có độ phức tạp O(n), n số đỉnh toán tử qua tiền xử lý + Kết thuật toán phân hoạch liên thơng khơng thể đốn trước nên thơng thường thuật tốn đơi với thuật toán cân tải + Thuật toán Localcut xem xét sử dụng toán tử collapse() hay cut() cho đỉnh đỉnh cha Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 64 Hình 3.3 Thuật tốn nhát cắt cục Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 65 Thực thuật toán với toán tử hình 3.5 tương ứng với Ip bảng 3.5 Hình 3.4 Cây tốn tử gốc Thể dạng Ip truy vấn Ip R 10 11 12 13 14 15 16 C ti 5 10 12 10 7 10 5 5 10 4 12 10 11 12 13 14 15 16 10 7 10 6 3 0 6 0 1 Bảng 3.5 Ip truy vấn tương ứng tốn tử gốc Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 1 66 Với  = (3 + sqrt(17) )/2  3.56 Ta có kết phân hoạch liên thơng - tốn tử có tập cắt phép toán cut() F1 = {1,2}, cost(F1, L1)=10; F2= {4,9}, cost(F2, L2)= 17; F3= {5, 10}, cost(F3, L3)=14; F4 = { 6, 11, 12, 13 } , cost(F4, L4 )= 14; F5 = { 3,7,8 }, cost(F5, L5)=19; F6 = {14,15, 16 }, cost(F6, L6)=19; Vậy thời gian trả lời tải truy vấn cho với xử lý L5=19 L6 = 19 F1 C Tải R ti 5 10 5 Tải 10 5 Bảng 3.6 Bảng phân hoạch F1 F2 C Tải R ti 10 17 10 Tải 17 6 Bảng 3.7 Bảng phân hoạch F2 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 67 F3 C 10 Tải R ti 10 14 10 10 Tải 14 6 Bảng 3.8 Bảng phân hoạch F3 F4 C 11 12 13 Tải R ti 14 2 11 12 13 Tải 10 Bảng 3.9 Bảng phân hoạch F4 F5 C Tải R ti 12 19 5 12 Tải 19 Bảng 3.10 Bảng phân hoạch F5 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 68 F6 C 14 15 16 Tải R ti 10 19 14 1 15 10 16 Tải 19 Bảng 3.11 Bảng phân hoạch F6 Chú ý: Chúng ta cho giá trị α > khác để phân hoạch khác 3.5 Kết luận chương Cho T= (V, E) với V tập đỉnh, E tập cạnh, ti trọng số đỉnh i, ci,j trọng số cạnh (i,j) p xử lý Ip ma trận liền kề với đỉnh tiêu đề cột - hàng kèm với trọng số ti Cell, giao cột dịng trọng số cạnh ci,j Tính tải hàng – cột Ip cho đảm bảo cân tải, nhằm phân chia công việc cách hợp lý cho vi xử lý cách tính tải mảnh (Xem thuật tốn tính tải mảnh Fk) Phân hoạch bảng vấn tin thành mảnh nhỏ nhằm mục đích đơn giản hóa vị từ, dễ dàng áp dụng câu vấn tin đại số quan hệ Bảng vấn tin tiền xử lý bảng có cột dùng phép tốn đơn ngơi quan hệ gộp lại với mục đích giản lược câu vấn tin thu nhỏ bảng Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 69 KẾT LUẬN Chuyển câu vấn tin (cây toán tử) sang ma trận đặc trưng (bảng) mà ta gọi bảng câu vấn tin, từ tiến hành phép tách gộp hàng (cột), tính tải số xử lý khác, … trình bày luận văn mục tiêu đề tài Để chuyển tốn tử sang ma trận đặc trưng phải thực số thao tác nhằm tạo tương ứng 1-1 toán tử bảng, làm điều việc xử lý tốn tử thực cách đơn giản ma trận Việc phân bố toán tử cho xử lý thực thơng qua thuật tốn phân chia cơng việc Vấn đề phức tạp xử lý lại phân phối bảng khác nhau, ci,j khơng đơn truyền liệu xử lý mà thông tin phụ trợ khác Thể câu vấn tin bảng tạo khả xử lý tốt Khi có bảng thể câu vấn tin, chúng dễ dàng dùng thuật toán xử lý bảng để xử lý câu vấn tin Duyệt bảng vấn tin thực trọng số hàng nội dung Cell cách làm quen thuộc dễ dàng cho lập trình viên Các thuật giải Heuristic để lập lịch tối ưu, cân tải tối ưu,… hoàn toàn xử lý bảng câu truy vấn Luận văn đề cập đến số ứng dụng thơng qua ví dụ minh họa chương Tóm lại luận văn đề cập hồn thành đầy đủ, có chất lượng nhiệm vụ đặt đề cương Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 70 HƯỚNG PHÁT TRIỂN Lập trình tự động tìm rút trích xâu để tìm câu truy vấn SQL chương trình nguồn chuyển sang câu truy vấn dạng đại số quan hệ, từ xây dựng thành ma trận đặc trưng xử lý phép toán truy vấn thực ma trân đặc trưng, dựa vào câu truy vấn đại số để xây dựng lại truy vấn tương ứng Việc chuyển đổi câu vấn tin SQL sang câu vấn tin đại số quan hệ AQL, sử dụng thuật toán xử lý song song để thực thủ tục hóa thuật tốn nhằm nâng cao hiệu nghiên cứu, giảng dạy ứng dụng thực tế Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 71 TÀI LIỆU THAM KHẢO Tài liệu tiếng Việt [1] Lê Tiến Vương Nhập môn sở liệu quan hệ NXB Thống Kê, 2000 [2] Đoàn Văn Ban, Nguyễn Mậu Hân (2006), Xử lý song song phân tán, NXB Khoa học kỹ thuật [3] Đỗ Xuân Lôi (1996), Cấu trúc liệu giải thuật, NXB Khoa học kỹ thuật [4] Lê Huy Thập (2008), Giáo trình Kỹ thuật lập trình, Tập 1, NXB Khoa học tự nhiên công nghệ [5] 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 tối ưu, Tập 23 số (2007) 86 - 98 [6] Lê Huy Thập, Cơ sở lý thuyết song song, NXB Thông tin Truyền thông, 12-2011, Tái lần [7] Lê Huy Thập, Bài giảng CSDL quan hệ, Dùng giảng dạy học viện cơng nghệ bưu viễn thơng, 2010 [8] Lê Huy Thập, Bài giảng CSDL phân tán, Dùng giảng dạy học viện cơng nghệ bưu viễn thơng Đại học sư phạm Hà Nội 2, 2007 [9] Lê Huy Thập, Giải toán toán tử đường ống ma trận đặc trưng, Tạp chí tin học điều khiển học, tập 27 số trang 107-118, tháng năm 2011 [10] Lê Huy Thập, Báo cáo động mệnh đề lọc liệu, Kỷ yếu hội thảo Quốc gia Biên Hòa, năm 2009, trang 19-36, NXB Khoa học kỹ thuật, 2010 [11] Lê Huy Thập, Bảng câu vấn tin quan hệ xử lý câu vấn tin bảng, Kỷ yếu Hội thảo Quốc gia lần thứ XIII, Hưng Yên, 19-20 tháng năm 2010, “Một số vấn đề chọn lọc CNTT truyến thông”,Chủ đề: “Các công nghệ tính tốn đại”, Báo cáo tồn văn, NXB Khoa học kỹ thuật, 2011, 29-40 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 72 Tài liệu tiếng Anh [12] Barry Wilkingson, Michael Allen (1999), Parallel Programming, Technique and Applications Using Networked Workstations and Parallel Computers, Prentice Hall New Jersey [13] M Tamner Ozsu, Patrick Valduriez, Nguyên lý hệ sở liệu phân tán, Trần Đức Quang biên dịch, NXB Thống kê, 1999 [14] Seyed H Roo, Parallel processing and Parallel Algorithms, Theory and Coputation, Springer 1999 [15] Japan Information Processing Development Corporation, Central Academy of Information Technology, Internal Design And Programming, 1978 [16] Behrooz Parhami (1999), Introduction to Parallel Processing: Algorithms and Architectures, Springer [17] Michael J Quinn (2000), Parallel Computing: theory and practice, 2nd edition Oregon State University, USA McGraw Hill Inc [18] Dimitri P Bertsekas and John N Tsitsiklis.( 2001), Parallel and Distributed Computation: Numerical Methods Massachusets Institute of Technology Prentice Hall Press [19] Michel Cosnard & Denis Trystram, Parallel Algorithms and Architectures International Thomson Computer Press 1995 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn