Luận văn thạc sĩ rút gọn câu truy vấn và ứng dụng trong cơ sở dữ liệu phân tán

i ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG PHANNOUVONG NISASON RÚT GỌN CÂU TRUY VẤN VÀ ỨNG DỤNG TRONG CSDL PHÂN TÁN LUẬN VĂN THẠC SĨ: KHOA HỌC MÁY TÍNH Số hóa Trung tâm Học liệu - ĐHTNThái Nguyên, 2017http://www lrc.tnu.edu.vn/ ii ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG PHANNOUVONG NISASON RÚT GỌN CÂU TRUY VẤN VÀ ỨNG DỤNG TRONG CSDL PHÂN TÁN LUẬN VĂN THẠC SĨ: KHOA HỌC MÁY TÍNH Mã số: 60 48 01 01 Người hướng dẫn khoa học: TS Vũ Đức Thái Thái Nguyên, 2017 http://www lrc.tnu.edu.vn/ Số hóa Trung tâm Học liệu - ĐHTN iii 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ iv 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 đỡ nhiều mặt chuyên 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 Nguyên 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ v MỤC LỤC LỜI CAM ĐOAN I LỜI CẢM ƠN .IV MỤC LỤC .V DANH MỤC CHỮ VIẾT TẮT VII PHẦN MỞ ĐẦU 1 Đặt vấn đề Đối tượng phạm vi nghiên cứu .1 Những nội dung nghiên cứu Phương pháp nghiên cứu .2 Ý nghĩa khoa học đề tài ́ ́ ̀ ́ CHƯƠNG 1: LY THUYÊT VÊ THAO TAC TRÊN CƠ SỞ ̃ DƯ LIÊỤ 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ vi 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 3.1 Ứng dụng xử lý liệu học tập trường cao đẳng kỹ thuật Viêng Chăn 3.1.1 Lý thuyết kỹ thuật câu lệnh 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 3.1.2 Một số dạng rút gọn câu vấn tin CSDL (tại mục phân mảnh 3.2 Kết luận KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN CỦA LUẬN VĂN TÀI LIÊU THAM KHẢO Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ vii 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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ý Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 tốn ứng dụng CASE STUDY để nghiên cứu nâng cao kỹ kinh nghiệm triển khai cho người đọc Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 = “AC2/1” ∪ σMaLop = “AC2/1” ∪ σMaLop =“ LOPAC LOPAC2/ LOPFN (a) Truy vấn gốc 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 =LOP AC ∪ 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 LOP AC( 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 LOP V1 LOPV2 cho hình 3.7a, sau hố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 LOP V2 Vì phép chiếu cần thực LOPV1 trình bày hình 3.7c πTenLop MaLop LOPV1 (a) Truy vấn tin gốc LOPV1 (c) Truy vấn rút gọn (b) Truy vấn gốc sau hốn vị 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): Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 hố 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 KQHTDX2 = KQHT MaSV MaSV HS-SV1 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 WHERE Số hóa Trung tâm Học liệu - ĐHTN 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 hoá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 ∪ KQHTDX1 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 81 KQHTDX1 Hình 3.11 Truy vấn sau dùng vị từ mâu thuẫn ∪ KQHT DX1 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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) Số hóa Trung tâm Học liệu - ĐHTN MaLop,MaSVKQHTH3 http://www lrc.tnu.edu.vn/ 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 ∪ KQHTH3 σMaLop = “AC3/4” KQHTH1 σMaLop = “AC3/4” KQHTH2 KQHTH2 Hình 3.15 Cây truy vấn gốc 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 84 MaLop, MaSV π MaLop, MaSV, XepLoai σMaLop = “AC3/4 KQHTH2 πMaLop, MaSV, XepLoai σMaLop = “AC3/4 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 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) Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ 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”, Second Edition, Publisher Morgan Kaufmann, 2008 Số hóa Trung tâm Học liệu - ĐHTN http://www lrc.tnu.edu.vn/ ... 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... 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. .. 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