Bối cảnh và vấn đề nghiên cứu
Khóa luận tốt nghiệp đại học ngành Công nghệ Thông tin với đề tài "Khai phá dữ liệu với luật kết hợp và ứng dụng trong trợ giúp ra quyết định" được thực hiện bởi sinh viên Anoulak Sidaralak (MSSV: 2113011029), dưới sự hướng dẫn của ThS. Lê Thị Nguyên An tại Khoa Công nghệ Thông tin, Trường Đại học Quảng Nam (tháng 5 năm 2017).
Trong bối cảnh hoạt động sản xuất và kinh doanh hiện đại, việc nắm bắt và xử lý thông tin được xác định là cơ sở nền tảng cho sự thành công của các cá nhân và tổ chức. Sự gia tăng vượt bậc về dung lượng và quy mô của các hệ thống cơ sở dữ liệu thương mại, quản lý và khoa học đã làm bộc lộ rõ hạn chế của các phương pháp xử lý truyền thống như thống kê cổ điển hay các phép đếm đơn giản. Thực tiễn đòi hỏi phải có những giải pháp thông minh hơn nhằm trích xuất tri thức tiềm ẩn từ các kho dữ liệu lớn, phục vụ công tác điều hành và hỗ trợ ra quyết định. Tại Việt Nam vào thời điểm nghiên cứu (năm 2017), kỹ thuật khám phá tri thức và khai phá dữ liệu (KDD/DM) nói chung và khai phá luật kết hợp nói riêng vẫn còn tương đối mới mẻ nhưng có tiềm năng ứng dụng thực tế rất lớn.
Tác giả xác định mục tiêu và nhiệm vụ nghiên cứu của đề tài gồm 3 nội dung chính:
- Hiểu rõ được những khái niệm cơ bản của luật kết hợp.
- Nắm vững một số thuật toán phát hiện luật kết hợp.
- Xây dựng ứng dụng thuật toán Apriori và FP-growth để trợ giúp ra quyết định trong thực tế.
Đối tượng và phạm vi nghiên cứu của khóa luận được phân định cụ thể:
- Đối tượng nghiên cứu: Khung lý thuyết tổng quan về khai phá dữ liệu và các thuật toán phát hiện luật kết hợp trong cơ sở dữ liệu.
- Phạm vi nghiên cứu: Tập trung phân tích chuyên sâu hai giải thuật tiêu biểu là Apriori và FP-growth; phạm vi thực nghiệm ứng dụng được định vị trên bài toán phân tích giao dịch mua sắm tại hệ thống siêu thị bán lẻ (khảo sát mô hình vận hành của Siêu thị Metro Cash & Carry Việt Nam) và thực nghiệm xử lý bộ dữ liệu hàng hóa trên môi trường phần mềm khai phá dữ liệu Weka.
Cơ sở lý thuyết và phương pháp
Khóa luận xây dựng hệ thống cơ sở lý thuyết dựa trên khung tiến trình khám phá tri thức từ cơ sở dữ liệu (Knowledge Discovery in Databases - KDD) do Fayyad, Piatetsky-Shapiro và Smyth đề xuất năm 1989. Tác giả tổng hợp các quan điểm định nghĩa học thuật về khai phá dữ liệu của Ferruzza, Parsaye và Fayyad; trong đó khẳng định khai phá dữ liệu là một bước cốt lõi trong toàn bộ tiến trình KDD, đóng vai trò chiết xuất các mẫu và mô hình tiềm ẩn, có giá trị, mới lạ và có thể hiểu được từ các tập dữ liệu quy mô lớn.
Cơ sở toán học của luật kết hợp được xây dựng trên không gian giao dịch:
- Cho tập các mục dữ liệu (items) $I = {I_1, I_2, ..., I_m}$ và cơ sở dữ liệu giao dịch $D$, trong đó mỗi giao dịch $T$ là một tập con của $I$ ($T \subseteq I$) có định danh duy nhất (TID).
- Một luật kết hợp là một biểu thức có dạng $R: X \Rightarrow Y$, với $X, Y \subset I$ và $X \cap Y = \emptyset$. Trong đó $X$ là tiền đề (antecedent) và $Y$ là hệ quả (consequent).
- Hai độ đo cơ bản xác định độ giá trị của luật là Độ hỗ trợ (Support) và Độ tin cậy (Confidence):
- $\text{Support}(X) = \frac{|{T \in D \mid X \subseteq T}|}{|D|}$ (Tỷ lệ phần trăm số giao dịch chứa tập mục $X$ trên tổng số giao dịch).
- $\text{Confidence}(X \Rightarrow Y) = \frac{\text{Support}(X \cup Y)}{\text{Support}(X)} = P(Y \subseteq T \mid X \subseteq T)$.
- Bài toán phát hiện luật kết hợp được chia thành hai bài toán con: (1) Tìm tất cả các tập mục phổ biến có độ hỗ trợ thỏa mãn ngưỡng tối thiểu $\text{minsup}$; (2) Sinh ra các luật kết hợp từ các tập mục phổ biến có độ tin cậy thỏa mãn ngưỡng tối thiểu $\text{minconf}$.
Phương pháp nghiên cứu thực tế được tác giả triển khai bao gồm:
- Phương pháp phân tích, tổng hợp tài liệu chuyên khảo: Thu thập, hệ thống hóa các tài liệu lý thuyết trong và ngoài nước liên quan đến khai phá dữ liệu, luật kết hợp, cấu trúc dữ liệu cây tiền tố (prefix-tree) và thuật toán phân tích mẫu thường xuyên.
- Phương pháp so sánh - đối chiếu thuật toán: Phân tích cơ chế hoạt động, độ phức tạp tính toán và chi phí bộ nhớ giữa thuật toán sinh ứng viên lặp (Apriori) và thuật toán khai phá nén không sinh ứng viên (FP-growth).
- Phương pháp thực nghiệm: Sử dụng bộ công cụ phần mềm Weka (Waikato Environment for Knowledge Analysis) để cài đặt, thiết lập tham số và kiểm thử thuật toán Apriori trên tập dữ liệu giao dịch bán lẻ.
Nguồn dữ liệu nghiên cứu được tác giả tiếp cận từ hai nguồn: dữ liệu mô tả cấu trúc quản lý hóa đơn của Siêu thị Metro Cash & Carry Việt Nam và bộ dữ liệu giao dịch chuẩn supermarket.csv được tích hợp trong môi trường thử nghiệm Weka.
Nội dung chính theo từng chương
Chương 1: Tổng quan về khai phá dữ liệu
Chương này trình bày toàn diện các khái niệm, quy trình và các bài toán cốt lõi của công nghệ khai phá dữ liệu trong tiến trình KDD. Tác giả làm rõ quy trình KDD gồm 5 bước lặp:
- Hình thành, xác định và định nghĩa bài toán: Tìm hiểu lĩnh vực ứng dụng, xác định mục tiêu và chọn phương pháp khai thác phù hợp.
- Thu thập và tiền xử lý dữ liệu: Làm sạch dữ liệu (loại bỏ nhiễu), làm giàu dữ liệu (xử lý dữ liệu khuyết), biến đổi và rút gọn dữ liệu. Tác giả nhấn mạnh đây là bước chiếm nhiều thời gian nhất trong toàn bộ quy trình.
- Khai phá dữ liệu: Trích xuất các mẫu hoặc mô hình ẩn dưới dữ liệu (gồm bài toán mô tả và bài toán dự báo).
- Hiểu tri thức: Đánh giá, làm sáng tỏ các mô tả và dự đoán thu được.
- Sử dụng tri thức: Tích hợp các tri thức phát hiện được vào các hệ thống hỗ trợ ra quyết định.
Về mặt giải thuật, tác giả phân tích 3 thành phần chính cấu thành một giải thuật khai phá dữ liệu: biểu diễn mô hình, kiểm định mô hình (sử dụng đánh giá chéo - cross validation theo logic hoặc thống kê) và phương pháp tìm kiếm (tìm kiếm tham số và tìm kiếm mô hình bằng các kỹ thuật heuristic).
Chương 1 cũng hệ thống hóa các phương pháp và nhiệm vụ khai phá dữ liệu điển hình:
- Các phương pháp tiếp cận: Suy diễn/quy nạp, phương pháp K-láng giềng gần (KNN - có độ phức tạp lũy thừa bậc 2 theo số bản ghi), phương pháp cây quyết định và luật, phương pháp phát hiện luật kết hợp.
- 6 nhiệm vụ chính: Phân lớp (classification), hồi quy (regression), phân nhóm (clustering), tổng hợp (summarization), mô hình hóa sự phụ thuộc (dependency modeling), phát hiện sự biến đổi và độ lệch (change and deviation detection).
- Các dạng dữ liệu có thể khai phá: CSDL quan hệ, CSDL đa chiều, CSDL giao dịch, CSDL hướng đối tượng, dữ liệu không gian - thời gian, chuỗi thời gian, đa phương tiện, dữ liệu văn bản và Web.
- Phân loại và xu hướng nghiên cứu: Phân loại hệ thống theo dữ liệu, theo loại tri thức, theo kỹ thuật và theo lĩnh vực ứng dụng. Xu hướng nghiên cứu tập trung vào tăng hiệu suất, giảm độ phức tạp tính toán, xử lý dữ liệu nhiễu, khai thác song song - phân tán, phát triển ngôn ngữ truy vấn khai phá dữ liệu (DMQL) và trực quan hóa tri thức.
Chương 2: Luật kết hợp trong khai phá dữ liệu
Chương 2 là phần trọng tâm lý thuyết của khóa luận, đi sâu vào cấu trúc toán học của luật kết hợp, các tính chất cơ bản và cơ chế vận hành chi tiết của hai giải thuật kinh điển: Apriori và FP-growth.
Tác giả tổng hợp các tính chất đại số quan trọng chi phối quá trình tìm kiếm luật kết hợp:
- Tính chất tập mục phổ biến: Nếu $A \subseteq B$ thì $\text{sup}(A) \ge \text{sup}(B)$. Mọi tập con của một tập mục phổ biến đều là tập mục phổ biến (tính chất Apriori). Ngược lại, một tập mục chứa một tập con không phổ biến thì bản thân nó cũng là tập không phổ biến.
- Tính chất của luật kết hợp: Luật kết hợp không có tính hợp luật (từ $X \Rightarrow Z$ và $Y \Rightarrow Z$ không suy ra được $X \cup Y \Rightarrow Z$); không có tính tách luật; không có tính bắc cầu (nếu $X \Rightarrow Y$ và $Y \Rightarrow Z$ thì không thể suy ra $X \Rightarrow Z$ do độ tin cậy bị nhân suy giảm: $\text{conf}(X \Rightarrow Z) \le \text{minconf}^2 < \text{minconf}$).
Tác giả phân loại các hướng tiếp cận luật kết hợp hiện đại: luật kết hợp nhị phân (Boolean), luật kết hợp với thuộc tính số và định danh (dùng kỹ thuật rời rạc hóa), luật kết hợp dựa trên tập thô, luật kết hợp nhiều mức, luật kết hợp mờ, luật kết hợp có trọng số (cho phép khai thác các luật hiếm nhưng có giá trị cao) và luật kết hợp song song.
Khóa luận phân tích chi tiết thuật toán Apriori (Rakesh Agrawal et al., 1993, 1996):
- Cơ chế vận hành: Sử dụng nguyên lý cắt tỉa không gian tìm kiếm dựa trên độ hỗ trợ. Thuật toán duyệt CSDL nhiều lần; lần duyệt thứ $k$ sử dụng tập các tập $(k-1)$-mục phổ biến ($L_{k-1}$) để sinh ra tập ứng viên $k$-mục ($C_k$) thông qua hai bước: Bước kết nối (Join step) và Bước tỉa (Prune step - hàm
has_infrequent_subset). Sau đó quét toàn bộ CSDL để đếm tần suất xuất hiện thực tế của các ứng viên trong $C_k$ bằng cấu trúc cây băm (hash tree) nhằm chọn ra $L_k$.
- Công thức số luật tối đa: Với tập gồm $d$ hạng mục, tổng số luật kết hợp tiềm năng tối đa có thể sinh ra được xác định bởi công thức:
$$R = 3^d - 2^{d+1} + 1$$
Tác giả đưa ra minh chứng: khi $d = 6$, số lượng luật tối đa có thể lên tới $R = 602$ luật.
Khóa luận phân tích thuật toán FP-growth (Frequent Pattern Growth - Jiawei Han, Jian Pei, Yiwen Yin, 2000):
- Ý tưởng cốt lõi: Khắc phục triệt để nhược điểm sinh tập ứng viên khổng lồ và việc phải quét CSDL nhiều lần của Apriori bằng cách nén toàn bộ cơ sở dữ liệu vào một cấu trúc cây gọi là FP-tree (Frequent Pattern Tree).
- Quy trình thực hiện: Quét CSDL lần 1 để đếm tần suất và xác định các 1-mục phổ biến, sắp xếp giảm dần theo độ hỗ trợ; quét CSDL lần 2 để chèn các giao dịch vào cây FP-tree thông qua các tiền tố chung (prefix paths). Sau đó, thuật toán áp dụng chiến lược chia để trị (divide-and-conquer) để khai phá đệ quy các cây FP-tree điều kiện (conditional FP-tree) từ các cơ sở mẫu điều kiện (conditional pattern base).
- Đánh giá thuật toán: FP-growth chỉ quét cơ sở dữ liệu đúng 2 lần; thời gian xây dựng cây và độ phức tạp không gian bộ nhớ đều ở mức tuyến tính $O(n)$ với $n$ là số lượng giao dịch; chiều cao của cây bị chặn bởi độ dài của giao dịch lớn nhất.
| Tiêu chí so sánh |
Thuật toán Apriori |
Thuật toán FP-growth |
| Tác giả & Năm công bố |
Rakesh Agrawal et al. (1993, 1996) |
Jiawei Han, Jian Pei, Yiwen Yin (2000) |
| Cơ chế khai phá |
Sinh tập ứng viên lặp ($C_k$) từ $L_{k-1}$ |
Khai phá đệ quy trên cây tiền tố (FP-tree) |
| Số lần quét CSDL |
Quét lặp nhiều lần (bằng độ dài tập mục lớn nhất) |
Quét cố định đúng 2 lần |
| Sinh tập ứng viên |
Có (chi phí sinh và kiểm tra rất lớn) |
Không sinh tập ứng viên |
| Cấu trúc dữ liệu chính |
Cây băm (Hash tree) |
Cây mẫu thường xuyên (FP-tree) & Header table |
| Độ phức tạp thời gian |
Rất cao khi dữ liệu lớn hoặc ngưỡng hỗ trợ thấp |
$O(n)$ - Tuyến tính theo số giao dịch |
| Khả năng mở rộng |
Bị hạn chế khi tập mục phổ biến dài |
Tốt trên cả mẫu phổ biến ngắn và dài |
Chương 3: Thử nghiệm khai phá luật kết hợp
Chương 3 trình bày bài toán ứng dụng thực tế tại Siêu thị Metro (thuộc Công ty TNHH Metro Cash & Carry Việt Nam). Mô hình vận hành của Metro có đặc thù: khách hàng là hội viên có đăng ký kinh doanh, lượng khách mua sắm bình quân đạt từ 4.000 đến 5.000 lượt/ngày, giá trị thanh toán trung bình trên mỗi hóa đơn đạt 500.000 VNĐ.
Cơ sở dữ liệu hóa đơn của siêu thị ghi nhận các trường thông tin phong phú: số hóa đơn, mã khách hàng, tên khách hàng, địa chỉ, người đại diện, thời gian (ngày, giờ), mã thu ngân, quầy, mã hàng hóa, tên hàng, số lượng đóng gói, đơn vị tính, đơn giá, thành tiền trước và sau thuế VAT. Tác giả chỉ ra các yêu cầu cấp thiết của nhà quản trị siêu thị gồm:
- Phân tích sức mua sắm theo nghề nghiệp (công ty, cửa hàng, nhà máy).
- Phân tích sức mua theo khu vực địa lý (thành thị, nông thôn, ngoại tỉnh).
- Xác định chu kỳ mua sắm theo thời gian (ngày thường, ngày lễ, tết).
- Phát hiện các quy luật kết hợp giữa các mặt hàng trong cùng một giỏ hàng để phục vụ bài toán xếp đặt kệ hàng (product placement), bán chéo (cross-selling), lên kế hoạch nhân sự và liên kết cung ứng.
Khóa luận thiết lập quy trình thử nghiệm qua 2 giai đoạn:
- Giai đoạn tiền xử lý: Trích xuất bảng dữ liệu bán hàng (
LoaiHang), đưa dữ liệu về định dạng văn bản (text), ánh xạ các thuộc tính danh mục sản phẩm thành các số tự nhiên để xử lý tính toán.
- Giai đoạn khai phá: Cài đặt và thực thi thuật toán trên phần mềm Weka.
Trong phần mềm Weka, tác giả nạp tập dữ liệu supermarket.csv gồm 10 đối tượng giao dịch và 4 thuộc tính. Tác giả cấu hình tab Associate với thuật toán Apriori và giải thích rõ vai trò của các tham số điều khiển:
lowerBoundMinSupport: Ngưỡng cận dưới của độ hỗ trợ tối thiểu.
upperBoundMinSupport: Ngưỡng cận trên của độ hỗ trợ tối thiểu (thuật toán sẽ lặp giảm dần từ cận trên xuống cận dưới).
metricType: Loại độ đo đánh giá luật, Weka hỗ trợ 4 loại: Confidence (độ tin cậy), Lift (độ nâng), Leverage và Conviction.
minimum metric score: Điểm ngưỡng tối thiểu của độ đo đã chọn để lọc luật.
numRules: Số lượng luật tối ưu cần tìm và xuất ra màn hình (sắp xếp giảm dần theo metric).
significanceLevel: Mức ý nghĩa thống kê của luật (áp dụng khi metricType là confidence).
Khi thiết lập ngưỡng độ hỗ trợ tối thiểu minsup = 0.5, thuật toán Apriori trong Weka đã tự động lọc và xuất ra 4 luật kết hợp tốt nhất, được sắp xếp giảm dần theo độ tin cậy (confidence).
Kết quả và đóng góp
Khóa luận đã trích xuất và phân tích cụ thể các kết quả định lượng thu được từ cả tính toán lý thuyết lẫn thử nghiệm phần mềm:
- Về mặt số liệu thực nghiệm trên Weka: Với tập dữ liệu giao dịch hàng hóa
supermarket.csv ở ngưỡng độ hỗ trợ minsup = 0.5 (tương đương tần suất xuất hiện tối thiểu trong 50% số giao dịch), hệ thống đã lọc và xuất ra 4 quy tắc kết hợp có độ tin cậy cao nhất. Kết quả minh chứng thuật toán đã tự động loại bỏ các tổ hợp không đạt ngưỡng hỗ trợ ngay từ các bước lặp đầu tiên, giảm thiểu số lượng phép duyệt cơ sở dữ liệu.
- Về giải pháp quản lý thực tiễn: Dựa trên các luật kết hợp phát hiện được từ giỏ hàng siêu thị, tác giả đề xuất các giải pháp hỗ trợ ra quyết định kinh doanh:
- Bố trí mặt hàng: Sắp xếp các cặp mặt hàng có quan hệ phụ thuộc cao ở các vị trí liền kề hoặc bố trí ở các quầy đối diện để kích thích nhu cầu mua sắm đồng thời.
- Xúc tiến thương mại: Thiết kế các gói khuyến mãi kết hợp (combo) giữa sản phẩm chính và sản phẩm đi kèm nhằm gia tăng giá trị đơn hàng.
- Quản trị chuỗi cung ứng: Lập kế hoạch nhập kho đồng bộ các nhóm hàng hóa có độ kết hợp cao, đặc biệt theo chu kỳ ngày lễ tết.
- Phân bổ nhân sự: Bố trí số lượng nhân viên thu ngân và kiểm soát viên tương ứng với mật độ mua sắm theo khung giờ và chu kỳ tiêu dùng.
Về đóng góp học thuật so với các tài liệu trước, khóa luận đã tự nêu:
- Cung cấp một tài liệu hệ thống hóa đầy đủ, chi tiết và có tính sư phạm cao về lý thuyết khai phá luật kết hợp, tổng hợp từ các định nghĩa toán học đến các bước biến đổi thuật toán.
- Làm rõ sự cải tiến vượt bậc về cấu trúc dữ liệu và hiệu năng tính toán của thuật toán FP-growth so với Apriori (giảm số lần quét CSDL từ $k$ lần xuống cố định 2 lần, tối ưu bộ nhớ ở mức tuyến tính $O(n)$).
- Minh họa trực quan quy trình ứng dụng công cụ phần mềm Weka vào việc giải quyết bài toán phân tích dữ liệu bán lẻ thực tế.
Hạn chế và hướng nghiên cứu tiếp
Khóa luận tự xác định các hạn chế và đề xuất các hướng mở nghiên cứu dựa trên nội dung báo cáo:
- Hạn chế:
- Quy mô dữ liệu thử nghiệm trong Weka còn hạn chế ở mức dữ liệu mẫu minh họa (
supermarket.csv với 10 đối tượng và 4 thuộc tính), chưa xử lý trực tiếp trên toàn bộ kho dữ liệu thực tế hàng triệu bản ghi của Siêu thị Metro.
- Khóa luận mới chỉ dừng lại ở việc thử nghiệm thuật toán Apriori có sẵn trên phần mềm mã nguồn mở Weka, chưa xây dựng một module phần mềm độc lập để tự động kết nối trực tiếp vào hệ thống cơ sở dữ liệu bán hàng của doanh nghiệp.
- Chưa tiến hành cài đặt kiểm thử thực nghiệm đối đầu giữa thuật toán FP-growth và Apriori trên cùng một bộ dữ liệu lớn để đo đạc thời gian thực thi bằng biểu đồ định lượng.
- Hướng nghiên cứu tiếp:
- Mở rộng nghiên cứu các biến thể nâng cao của luật kết hợp: khai phá luật kết hợp mờ (fuzzy association rules) để xử lý dữ liệu thuộc tính số liên tục, luật kết hợp có trọng số (weighted association rules) nhằm phát hiện các mặt hàng có giá trị sinh lời cao nhưng tần suất mua thấp.
- Nghiên cứu thuật toán khai phá luật kết hợp song song và phân tán trên môi trường tính toán hiệu năng cao để đáp ứng yêu cầu xử lý dữ liệu lớn theo thời gian thực.
- Tích hợp luật kết hợp với các hệ thống phân tích trực tuyến đa chiều (OLAP/ROLAP/MOLAP) và ngôn ngữ truy vấn khai phá dữ liệu (DMQL).
Giá trị tham khảo
Báo cáo khóa luận là tài liệu tham khảo phù hợp cho:
- Sinh viên chuyên ngành Công nghệ Thông tin, Khoa học Máy tính và Hệ thống Thông tin Quản lý đang học tập học phần Khai phá dữ liệu hoặc làm đồ án tốt nghiệp về chủ đề khám phá tri thức từ cơ sở dữ liệu.
- Các nhà nghiên cứu và người phát triển phần mềm đang tìm kiếm tài liệu giải thích chi tiết cơ chế hoạt động, các bước kết nối (join) và tỉa bớt (prune) của giải thuật Apriori, cũng như nguyên lý xây dựng cây FP-tree và khai phá trên cây điều kiện.
- Các chuyên viên phân tích dữ liệu bán lẻ (Retail Analytics / Market Basket Analysis) cần tài liệu hướng dẫn cấu hình và giải thích các tham số khai phá luật kết hợp trên môi trường phần mềm Weka.
Phần đáng giá nhất để tham khảo trong tài liệu là Chương 2 với hệ thống ví dụ tính toán thủ công từng bước cho thuật toán Apriori, bảng tính minh họa cơ chế sinh mẫu của thuật toán FP-growth trên tập dữ liệu AllElectronics và phần diễn giải chi tiết các tham số điều khiển của Weka trong Chương 3.
Câu hỏi thường gặp
1. Bài toán khai phá luật kết hợp được chia thành hai bài toán con nào?
Theo văn bản, khai phá luật kết hợp được chia thành hai bài toán con độc lập:
- Bài toán 1: Tìm tất cả các tập mục có độ hỗ trợ lớn hơn hoặc bằng ngưỡng hỗ trợ tối thiểu ($\text{minsup}$) do người dùng xác định; các tập mục này được gọi là các tập mục phổ biến (frequent itemsets).
- Bài toán 2: Sử dụng các tập mục phổ biến tìm được ở bài toán 1 để sinh ra các luật kết hợp thỏa mãn ngưỡng độ tin cậy tối thiểu ($\text{minconf}$) do người dùng thiết lập.
2. Vì sao luật kết hợp không có tính chất bắc cầu?
Văn bản chứng minh rằng nếu có hai luật $X \Rightarrow Y$ và $Y \Rightarrow Z$ cùng đạt ngưỡng tin cậy tối thiểu $\text{minconf}$, ta không thể suy ra luật $X \Rightarrow Z$ cũng đạt độ tin cậy đó. Lý do là độ tin cậy của luật bắc cầu bị suy giảm theo tích xác suất điều kiện:
$$\text{conf}(X \Rightarrow Z) \le \text{minconf} \times \text{minconf} = \text{minconf}^2$$
Vì $\text{minconf} < 1$ (tương đương nhỏ hơn 100%) nên $\text{minconf}^2 < \text{minconf}$, dẫn đến luật $X \Rightarrow Z$ không đảm bảo đủ ngưỡng độ tin cậy tối thiểu.
3. Công thức tính số lượng luật kết hợp tối đa từ một tập gồm $d$ hạng mục là gì?
Với một cơ sở dữ liệu có $d$ hạng mục dữ liệu, tổng số tập mục ứng cử có thể tạo ra là $2^d$. Khi đó, tổng số luật kết hợp tiềm năng tối đa có thể sinh ra được tính bằng công thức:
$$R = 3^d - 2^{d+1} + 1$$
Ví dụ cụ thể được tác giả đưa ra trong văn bản: khi số mục dữ liệu $d = 6$, số lượng luật kết hợp tối đa sinh ra có thể lên đến 602 luật.
4. Thuật toán FP-growth giải quyết những nhược điểm nào của thuật toán Apriori?
FP-growth khắc phục hai nhược điểm lớn nhất của Apriori:
- Loại bỏ hoàn toàn chi phí sinh tập ứng viên khổng lồ ($C_k$): Apriori phải sinh ra một lượng rất lớn các tập ứng viên ở mỗi bước lặp và kiểm tra sự tồn tại của chúng, trong khi FP-growth khai phá trực tiếp từ cây mẫu thường xuyên mà không cần sinh ứng viên.
- Giảm thiểu số lần quét CSDL: Apriori phải quét lại toàn bộ cơ sở dữ liệu sau mỗi bước tăng kích thước $k$ của tập mục, trong khi FP-growth nén dữ liệu vào cây FP-tree và luôn chỉ cần quét cơ sở dữ liệu đúng 2 lần, đạt độ phức tạp thời gian tuyến tính $O(n)$.
5. Trong phần mềm Weka, tham số metricType của thuật toán Apriori hỗ trợ những độ đo nào?
Trong giao diện cấu hình thuật toán Apriori của phần mềm Weka (được phân tích tại Chương 3), tham số metricType cho phép người dùng lựa chọn 4 loại độ đo chất lượng luật khác nhau gồm:
- Confidence (Độ tin cậy)
- Lift (Độ nâng)
- Leverage (Độ đòn bẩy)
- Conviction (Độ xác tín)
Kết luận
Khóa luận tốt nghiệp của sinh viên Anoulak Sidaralak đã hệ thống hóa một cách mạch lạc và toàn diện nền tảng lý thuyết về quy trình khám phá tri thức trong cơ sở dữ liệu và khai phá luật kết hợp. Công trình làm rõ bản chất toán học, các tính chất đại số và so sánh chi tiết cơ chế hoạt động giữa hai giải thuật nền tảng là Apriori và FP-growth. Thông qua việc phân tích bài toán thực tế tại hệ thống siêu thị Metro và thực nghiệm cấu hình trên phần mềm Weka, khóa luận đã chứng minh tính khả thi của việc ứng dụng kỹ thuật luật kết hợp trong phân tích hành vi mua sắm và hỗ trợ ra quyết định kinh doanh bán lẻ.