Mô hình tối ưu hóa truy vấn hai pha trong cơ sơ dữ liệu và ứng dụng

ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN VÀ TRUYỀN THƠNG NGUYỄN VĂN CHUNG MƠ HÌNH TỐI ƢU HÓA TRUY VẤN HAI PHA TRONG CƠ SỞ DỮ LIỆU VÀ ỨNG DỤNG Chuyên ngành: Khoa học máy tính Mã số: 60 48 01 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Ngƣời hƣớng dẫn khoa học: PGS.TS LÊ HUY THẬP Thái Nguyên - 2013 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn i LỜI CAM ĐOAN Tôi xin cam đoan luận văn thân tự nghiên cứu thực theo hƣớng dẫn khoa học thầy PGS TS Lê Huy Thập Tôi hồn tồn chịu trách nhiệm tính pháp lý q trình nghiên cứu khoa học luận văn Ngƣời Cam Đoan Nguyễn Văn Chung Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn ii LỜI CẢM ƠN Lời xin gửi lời cảm ơn đến thầy giáo PGS TS Lê Huy Thập định hƣớng, hƣớng dẫn giúp đỡ nhiều mặt chuyên môn q trình tìm hiểu thực 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 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 Thái Nguyên Cuối cùng, xin chân thành cảm ơn gia đình bạn bè động viên, quan tâm, giúp đỡ tơi hồn thành khóa học luận văn Thái nguyên, tháng 09 năm 2013 Tác giả Nguyễn Văn Chung Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn iii MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii MỤC LỤC iii DANH MỤC CÁC KÝ HIỆU, VIẾT TẮT v DANH MỤC CÁC BẢNG vi DANH MỤC CÁC HÌNH VẼ vii MỞ ĐẦU 1 Đặt vấn đề Đối tƣợng phạm vi nghiên cứu Hƣớng nghiên cứu đề tài Những nội dung nghiên cứu Chƣơng 1: CƠ SỞ LÝ THUYẾT 1.1 Giới thiệu logic 1.2 Tổng quan CSDL phân tán 1.2.1 Khơng gian tìm kiếm .10 1.2.2 Các chiến lƣợc tìm kiếm 13 1.2.3 Mơ hình chi phí phân tán 15 1.2.4 Các dạng chi phí song song mơ hình chi phí song song tối ƣu hóa truy vấn 22 1.3 Kết luận chƣơng 25 Chƣơng 2: MƠ HÌNH TỐI ƢU HÓA TRUY VẤN HAI PHA 26 2.1 Mơ hình tối ƣu hóa truy vấn hai pha JOQR 26 2.1.1 Cây truy vấn tiền xử lý 26 2.1.2 Cây toán tử 29 2.2 Tối ƣu hóa giai đoạn JOQR 31 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn iv 2.2.1 Cực tiểu hóa chi phí phân mảnh lại 32 2.2.2 Khả phân mảnh tốn tử cảm thuộc tính .34 2.2.3 Bài tốn tối ƣu hóa 37 2.3 Kết luận chƣơng 48 Chƣơng 3: CHƢƠNG TRÌNH THỬ NGHIỆM 49 3.1 Ứng dụng trƣờng Cao đẳng kinh tế - kỹ thuật Vĩnh Phúc (Dạng demo) 49 3.1.1 Giới thiệu CSDL trƣờng Cao đẳng kinh tế - kỹ thuật Vĩnh Phúc 49 3.1.2 Cực tiểu hóa chi phí phân mảnh lại CSDL mục 3.1.1 .62 3.2 Kết luận chƣơng 66 KẾT LUẬN VÀ HƢỚNG PHÁT TRIỂN CỦA LUẬN VĂN 67 TÀI LIỆU THAM KHẢO 68 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn v DANH MỤC CÁC KÝ HIỆU, VIẾT TẮT DBMS (Database management system) ESPS (Executor Sever Process) JOQR (Join Ordering and Query Rewriting) LAN (Local Area Network) QEP (Query Execution Plan) SPJ (Selection Projection Joint) SQL (Structured Query Language) WAN (Wide area network) TW (Total Work) RT (Response Time) MC (Memory Consumption) Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn vi DANH MỤC CÁC BẢNG Bảng 1-1 Bảng chân trị phép toán mệnh đề Bảng 1-2 Thứ tự ưu tiên phép toán Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn vii DANH MỤC CÁC HÌNH VẼ Hình 1-1 Q trình tối ưu hoá vấn tin .9 Hình 1-2 Sơ đồ kết nối quan hệ 11 Hình 1-3 Các nối tương đương 12 Hình 1-4 Các loại .13 Hình1–5 Xây dựng tối ưu hoá cách đơn định theo kiểu quy hoạch động 14 Hình 1-6 Hành động thể tối ưu hố chiến lược ngẫu nhiên hố 15 Hình 1-7 Truyền liệu câu vấn tin 17 Hình 2-1 Cây truy vấn tiền xử lý 27 Hình 2-2 Cây tốn tử tương ứng với hình 2-1 31 Hình 2-3 Sơ đồ phân mảnh ngang liệu nút 33 Hình 2-4 Các truy vấn khác phân hoạch liệu, đường nét đứt cho thấy phải phân bố lại quan hệ 33 Hình 2-5 Cây tốn tử tương ứng với câu truy vấn 37 Hình 2-6 Cây gốc phương án tô màu 39 Hình 2-7 Đồ thị vấn tin .42 Hình 2-8 Cây nối đồ thị vấn tin hình 2-7 43 Hình 2-9 Ảnh hưởng thứ tự phép nối đến chi phí phân mảnh ngang .43 Hình 3-1 Sơ đồ kết nối quan hệ 53 Hình 3-2 Màn hình chương trình 54 Hình 3-3 Cây truy vấn ban đầu ví dụ 55 Hình 3-4 Cây sau lại phép nối ví dụ 55 Hình 3-5 Màn hình nhập câu truy vấn 56 Hình 3-6 Câu truy vấn ban đầu sau biểu diễn lại ví dụ 56 Hình 3-7 Kết câu truy vấn ví dụ 57 Hình 3-8 Cây truy vấn ban đầu ví dụ 58 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn viii Hình 3-9 Cây sau lại phép nối ví dụ 58 Hình 3-10 Giao diện câu truy vấn ban đầu sau biểu diễn lại ví dụ .59 Hình 3-11 Kết câu truy vấn ví dụ 59 Hình 3-12 Cây truy vấn ban đầu ví dụ 60 Hình 3-13 Cây sau xếp lại phép nối ví dụ .61 Hình 3-14 Giao diện câu truy vấn ban đầu sau biểu diễn lại ví dụ .61 Hình 3-15 Kết câu truy vấn ví dụ 62 Hình 3-16 Sơ đồ phân mảnh ngang liệu nút ví dụ .62 Hình 3-17 Cây gốc phương án tơ màu ví dụ .63 Hình 3-18 Giao diện pha ví dụ 63 Hình 3-19 Giao diện kết pha ví dụ .64 Hình 3-20 Sơ đồ phân mảnh ngang liệu nút ví dụ .64 Hình 3-21 Cây gốc phương án tơ màu ví dụ .65 Hình 3-22 Giao diện pha ví dụ 65 Hình 3-23 Giao diện kết pha ví dụ .66 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn MỞ ĐẦU Đặt vấn đề Tối ƣu hóa vấn tin trình tìm phƣơng án thực câu vấn tin QEP (Query Execution Plan) tối ƣu (theo nghĩa hạ thấp tối đa hàm chi phí, cực đại hàm lợi ích dạng đó) Tối ƣu câu truy vấn sở liệu song song mơ hình tối ƣu hóa truy vấn hai pha bao gồm: i Sắp xếp lại thứ tự phép nối ii Biểu diễn lại truy vấn Bộ tối ƣu hóa thực hai bƣớc để tạo truy vấn tiền xử lý, xác định yếu tố nhƣ thứ tự thực phép toán chiến lƣợc thực phép toán Bộ tối ƣu triển khai mơ hình giải thuật song song để tìm kiếm phƣơng án tốt cho việc thi hành song song Đối tƣợng phạm vi nghiên cứu Các biểu thức logic Cơ sở liệu phân tán Xử lý song song phân tán Hƣớng nghiên cứu đề tài Các dạng chi phí song song Nghiên cứu mơ hình tối ƣu hóa hai pha Những nội dung nghiên cứu Luận văn đƣợc trình bày chƣơng, có phần mở đầu, phần kết luận, phần mục lục, phần tài liệu tham khảo Chƣơng 1: Cơ sở lý thuyết Chƣơng 2: Mơ hình tối ƣu hóa truy vấn hai pha Chƣơng 3: Chƣơng trình thử nghiệm Kết luận hƣớng phát triển luận văn Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 54 3.1.1.2 Phát biểu, phân tích ứng dụng Giao diện chƣơng trình Hình 3-2 Màn hình chương trình a Ví dụ Xét câu truy vấn sau: " Hãy cho biết tên điểm sinh viên học học phần sở liệu" Câu SQL nhƣ sau: SELECT HOSOSV.hoten, DIEM.diem FROM HOSOSV, DIEM, HOCPHAN WHERE (HOSOSV.Masv = DIEM.Masv) AND (DIEM.Mahp = HOCPHAN.Mahp) AND (HOCPHAN.Tenhp = "cơ sở liệu") Cây truy vấn ban đầu Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 55 HOSOSV.hoten, DIEM.diem HOCPHAN.Tenhp = "cơ sở liệu" HOSO.Masv = DIEM.Masv HOSOSV DIEM.Mahp = HOCPHAN.Mahp DIEM HOCPHAN Hình 3-3 Cây truy vấn ban đầu ví dụ Cây truy vấn sau xếp lại phép nối HOSOSV.hoten, DIEM.diem HOSO.Masv = DIEM.Masv DIEM.Mahp = HOCPHAN.Mahp Tenhp = "cơ sở liệu" Masv, hoten HOSOSV DIEM HOCPHAN Hình 3-4 Cây sau lại phép nối ví dụ Giao diện Pha chương trình Khi nhấn chọn nút Pha ta có hình sau để đƣa thơng tin vào Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 56 Hình 3-5 Màn hình nhập câu truy vấn Thơng tin đƣợc đƣa vào nhƣ hình 3-6 Hình 3-6 Câu truy vấn ban đầu sau biểu diễn lại ví dụ Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 57 Kết thực Nhấn chọn nút Xem kết Kết pha cho kết nhƣ hình 3-7 Hình 3-7 Kết câu truy vấn ví dụ Đánh giá Bằng lý thuyết thấy sau đẩy phép chọn xuống dƣới nối chi phí khơng gian nhớ chi phí phép kết nối giảm loại bớt ghi không thỏa mãn điều kiện Giả sử với bảng liệu số lƣợng ghi quan hệ HOCPHAN, DIEM, HOSOSV nhƣ mục 3.1.1.1 chi phí nhƣ sau Phép tốn Chi phí Chọn quan hệ HOCPHAN Nối HOCPHAN DIEM (TG) Nối TG HOSOSV Tổng chi phí 15 b Ví dụ Xét câu truy vấn sau: "Hãy cho biết tên sinh viên nữ học ngành Kỹ thuật máy tính" Câu SQL nhƣ sau: SELECT HOSOSV.hoten FROM HOSOSV, KHOA, NGANH WHERE (HOSOSV.Makhoa =KHOA.Makhoa) AND (KHOA.Manganh =NGANH.Manganh) AND (NGANH.Tennganh = "Kỹ thuật máy tính") Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 58 AND (HOSOSV.gioitinh = "Nữ") Cây truy vấn ban đầu HOSOSV.hoten NGANH.Tennganh = "Kỹ thuật máy tính" HOSOSV.gioitinh = "Nữ" HOSOSV.Makhoa = NGANH.Makhoa HOSOSV NGANH.Manganh = KHOA.Manganh KHOA NGANH Hình 3-8 Cây truy vấn ban đầu ví dụ Cây truy vấn sau xếp lại phép nối HOSOSV.hoten HOSOSV.Makhoa = NGANH.Makhoa NGANH.Manganh = KHOA.Manganh HOSOSV.gioitinh = "Nữ" HOSOSV KHOA NGANH.Tennganh = "Kỹ thuật máy tính" NGANH Hình 3-9 Cây sau lại phép nối ví dụ Câu truy vấn đƣợc đƣa vào nhƣ hình 3-10 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 59 Hình 3-10 Giao diện câu truy vấn ban đầu sau biểu diễn lại ví dụ Kết thực Nhấn chọn nút Xem kết Kết pha cho kết nhƣ hình 3-11 Hình 3-11 Kết câu truy vấn ví dụ Đánh giá Sau đẩy phép chọn xuống dƣới nối (trọn trước quan hệ HOSOSV, NGANH) chi phí khơng gian nhớ chi phí phép kết nối giảm loại bớt ghi không thỏa mãn điều kiện Giả sử với bảng liệu số lƣợng ghi quan hệ HOCPHAN, KHOA, NGANH nhƣ mục 3.1.1.1 chi phí nhƣ sau Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 60 Phép tốn Chi phí Chọn quan hệ HOSOSV Chọn quan hệ NGANH Nối NGANH KHOA Nối HOSOSV KHOA (TG) Tổng chi phí c Ví dụ Xét câu truy vấn sau: "Hãy cho biết tên sinh viên nam trƣợt học phần PHP" Câu SQL nhƣ sau: SELECT HOSOSV.hoten FROM HOSOSV, DIEM, HOCPHAN WHERE (HOSOSV.Masv = DIEM.Masv) AND (DIEM.Mahp = HOCPHAN.Mahp) AND (HOSOSV.gioitinh = "Nam") AND (HOCPHAN.Tenhp = "PHP") AND (DIEM.diem < 5) Biểu thức F = (HOSOSV.gioitinh = "Nam" "PHP" HOCPHAN.Tenhp = DIEM.diem < 5) Cây truy vấn ban đầu HOSOSV.hoten F HOSO.Masv = DIEM.Masv HOSOSV DIEM.Mahp = HOCPHAN.Mahp DIEM HOCPHAN Hình 3-12 Cây truy vấn ban đầu ví dụ Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 61 Cây truy vấn sau xếp lại phép nối: HOSOSV.hoten HOSO.Masv = DIEM.Masv HOSOSV.gioitinh = "Nam" HOSOSV DIEM.diem < DIEM DIEM.Mahp = HOCPHAN.Mahp HOCPHAN.tenhp = "php" HOCPHAN Hình 3-13 Cây sau xếp lại phép nối ví dụ Giao diện nhập truy vấn Hình 3-14 Giao diện câu truy vấn ban đầu sau biểu diễn lại ví dụ Kết thực Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 62 Hình 3-15 Kết câu truy vấn ví dụ Đánh giá Sau đẩy phép chọn xuống dƣới nối (trọn trước quan hệ HOSOSV, DIEM, HOCPHAN) chi phí khơng gian nhớ chi phí phép kết nối giảm loại bớt ghi không thỏa mãn điều kiện 3.1.2 Cực tiểu hóa chi phí phân mảnh lại CSDL mục 3.1.1 3.1.2.1 Cực tiểu hóa chi phí phân mảnh lại truy vấn phần a Ví dụ Giả sử: Quan hệ HOSOSV đƣợc phân mảnh ngang hai nút theo thuộc tính "hoten" Quan hệ DIEM đƣợc phân mảnh ngang hai nút theo thuộc tính "Mahp" Quan hệ HOCPHAN đƣợc phân mảnh ngang hai nút theo thuộc tính "tenhp" Nút Nút HOSOSV0: Hash(hoten) mod = HOSOSV1: Hash(hoten) mod = DIEM0: Hash(Mahp) mod = DIEM1: Hash(Mahp) mod = HOCPHAN0: Hash(tenhp) mod = HOCPHAN1: Hash(tenhp) mod = Hình 3-16 Sơ đồ phân mảnh ngang liệu nút ví dụ Cây gốc phƣơng án tô màu cho truy vấn Masv Mahp HOSOSV(hoten) DIEM(Mahp) HOCPHAN(tenhp) a) Cây truy vấn ban đầu Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 63 Masv Masv HOSOSV(hoten) DIEM(Mahp) Mahp Mahp HOSOSV(hoten) DIEM(Mahp) HOCPHAN(tenhp) b) Tơ màu với chi phí HOCPHAN(tenhp) c) Tơ màu tối ƣu với chi phí Masv Mahp HOSOSV(hoten) DIEM(Mahp) HOCPHAN(tenhp) d) Tơ màu với chi phí 10 Hình 3-17 Cây gốc phương án tơ màu ví dụ Chi phí tơ màu tổng cạnh đứt nét Việc tô màu sử dụng thuật giải Heuristic, đơn giản tránh phân mảnh ngang lại quan hệ có chi phí cao Từ câu truy vấn ban đầu giả sử chi phí phân mảnh ban đầu Hình 3-18 Giao diện pha ví dụ Khi nhấn vào nút Phân mảnh lại Cho kết phân mảnh lại với chi phí tối ƣu Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 64 Hình 3-19 Giao diện kết pha ví dụ 3.1.2.2 Cực tiểu hóa chi phí phân mảnh lại truy vấn phần b Ví dụ Giả sử: Quan hệ HOSOSV đƣợc phân mảnh ngang ba nút theo thuộc tính "hoten" Quan hệ KHOA đƣợc phân mảnh ngang ba nút theo thuộc tính "Makhoa" Quan hệ NGANH đƣợc phân mảnh ngang ba nút theo thuộc tính "tennganh" Nút Nút HOSOSV0: Nút HOSOSV1: Hash(hoten) mod = KHOA0: HOSOSV2: Hash(hoten) mod = KHOA 1: Hash(Makhoa) mod = Hash(hoten) mod = KHOA 2: Hash(Makhoa) mod = Hash(Makhoa) mod = NGANH0: NGANH 1: NGANH 2: Hash(tennganh) mod = Hash(tennganh) mod = Hash(tennganh) mod = Hình 3-20 Sơ đồ phân mảnh ngang liệu nút ví dụ Cây gốc phƣơng án tô màu cho truy vấn Makhoa Manganh HOSOSV(hoten) KHOA(Makhoa) NGANH(tennganh) a) Cây truy vấn ban đầu Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 65 Makhoa Makhoa HOSOSV(hoten) KHOA(Makhoa) Manganh Manganh HOSOSV(hoten) KHOA(Makhoa) NGANH(tennganh) b) Tơ màu với chi phí NGANH(tennganh) c) Tơ màu với chi phí Makhoa HOSOSV(hoten) KHOA(Makhoa) Manganh NGANH(tennganh) d) Tô màu tối ƣu với chi phí Hình 3-21 Cây gốc phương án tơ màu ví dụ Từ câu truy vấn ban đầu giả sử chi phí phân mảnh ban đầu Hình 3-22 Giao diện pha ví dụ Khi nhấn vào nút Phân mảnh lại Cho kết phân mảnh lại với chi phí tối ƣu Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 66 Hình 3-23 Giao diện kết pha ví dụ 3.2 Kết luận chƣơng Trong chƣơng tác giả áp dụng lý thuyết chƣơng vào sở liệu trƣờng Cao đẳng kinh tế - kỹ thuật Vĩnh Phúc (dạng Demo) Thông qua việc phát biểu phân tích tốn Mỗi ví dụ thể kết hai pha toán, xếp lại thứ tự phép nối cực tiểu hóa chi phí phân mảnh lại thơng qua tốn tơ màu đơn giản sử dụng thuật giải Heuristic, đơn giản tránh việc phân mảnh ngang lại quan hệ có chi phí cao Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 67 KẾT LUẬN VÀ HƢỚNG PHÁT TRIỂN CỦA LUẬN VĂN Kết luận Một vấn đề mà tất Hệ quản trị CSDL cho phép truy vấn khai báo phải giải toán Tối ƣu hố truy vấn Trên mơi trƣờng song song, mơ hình tối ƣu hố truy vấn dựa cách tiếp cận hai pha đƣợc nhiều nhà tin học quan tâm phát triển Luận văn dành phần lớn trình bày để khảo sát giai đoạn đầu cách tiếp cận nhằm cực tiểu hoá khối lƣợng truy vấn Các thuật tốn đƣợc trình bày, dựa kỹ thuật quy hoạch động, có tính đến chi phí phân bố lại, đóng góp bổ sung cho giai đoạn tối ƣu hoá truy vấn Áp dụng mơ hình tối ƣu hóa truy vấn hai pha vào thiết kế hệ thống quản lý sinh viên trƣờng Cao đẳng kinh tế - kỹ thuật Vĩnh Phúc Hƣớng phát triển Tìm hiểu vấn đề lập lịch tối ƣu cho truy vấn song song Bằng cách tiếp cận toán lập lịch tối ƣu cho toán tử nhận đƣợc từ giai đoạn JOQR, nhằm tìm kiếm phân chia hợp lý nút toán tử cho xử lý để thời gian trả lời truy vấn nhỏ Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn 68 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Đoàn Văn Ban, Nguyễn Mậu Hân, “Xử lý song song phân tán”, NXB Khoa học Kỹ thuật, 2006 [2] Đỗ Xuân Lôi, “Cấu trúc liệu giải thuật”, NXB Khoa học Kỹ thuật, 1996 [3] Lê Huy Thập, “Cơ sở lý thuyết song song”, NXB Thông tin Truyền thông, 2010 [4] Lê Huy Thập, “Bài giảng CSDL phân tán” ĐH Sƣ Phạm Hà Nội Học Viện CN Bƣu Chính Viễn Thông Tiếng Anh [5] M.Tamer Ozsu, Patrick Valduriez “Nguyên lý hệ liệu phân tán” Trần Đức Quang biên dịch NXB Thống kê, 1999 [6] Seyed H Roo, “Parallel processing and Parallel Algorithms, Theory and Coputation”, Springer 1999 Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn ... Q trình thực tối ƣu câu truy vấn sở liệu song song mơ hình tối ƣu hóa truy vấn hai pha: Pha đầu: Sắp xếp lại thứ tự phép nối biểu diễn lại câu truy vấn Pha thứ hai: Chuyển truy vấn tiền xử lý... ƣu câu truy vấn sở liệu song song mơ hình tối ƣu hóa truy vấn hai pha bao gồm: i Sắp xếp lại thứ tự phép nối ii Biểu diễn lại truy vấn Bộ tối ƣu hóa thực hai bƣớc để tạo truy vấn tiền xử lý, xác... hợp xử lý 1.2.4.4 Mơ hình chi phí tối ưu hóa truy vấn Chi phí thực phƣơng án tối ƣu câu truy vấn song song tối ƣu hóa truy vấn đƣợc xác định ba thành phần Số hóa Trung tâm Học liệu http://lrc.tnu.edu.vn