PHỤ THUỘC hàm xấp xỉ và ỨNG DỤNG TRONG KHAI PHÁ dữ LIỆU

1 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN MINH HUY PHỤ THUỘC HÀM XẤP XỈ VÀ ỨNG DỤNG TRONG KHAI PHÁ DỮ LIỆU LUẬN VĂN THẠC SĨ Hà Nội – 2011 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỤC LỤC Lời cam đoan Mục lục Danh mục từ viết tắt Danh mục bảng biểu Danh mục phụ lục MỞ ĐẦU Chương - Phụ thuộc hàm phụ thuộc hàm xấp xỉ 1.1 Khai phá liệu 1.1.1 Phát tri thức khai phá liệu 1.1.2 Các phương pháp khai phá liệu 1.2 Phụ thuộc hàm .7 1.2.1 Định nghĩa .7 1.2.2 Hệ tiên đề Armstrong 1.2.3 Định nghĩa hai tập phụ thuộc hàm tương đương 10 1.2.4 Định nghĩa phủ tối thiểu 11 1.2.5 Khoá quan hệ 13 1.3 Phụ thuộc hàm xấp xỉ 14 1.3.1 Phụ thuộc hàm xấp xỉ loại 14 1.3.2 Phụ thuộc hàm xấp xỉ loại 16 1.3.3 Bao đóng xấp xỉ 20 1.3.4 Khoá xấp xỉ 21 Chương - Xây dựng định 24 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 2.1 Đặt vấn đề 24 2.2 Bảng định 24 2.2.1 Hệ thống thông tin .24 2.2.2 Bảng định 27 2.3 Cây định .30 2.4 Ảnh hưởng phụ thuộc hàm, phụ thuộc hàm xấp xỉ xây dựng định 36 Chương - Thử nghiệm đánh giá .37 3.1 Thuật toán TANE .37 3.1.1 Mơ tả thuật tốn .37 3.1.2 Độ phức tạp 38 3.2 Thuật toán AFDMCEC .38 3.2.1 Phân tích thử nghiệm 39 3.2.2 Những so sánh độ phức tạp thời gian 40 KẾT LUẬN 41 TÀI LIỆU THAM KHẢO 42 PHỤ LỤC 43 a) Giao diện chương trình b) Thủ tục tính phụ thuộc hàm xấp xỉ c) Thủ tục phân hoạch LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ‘ DANH MỤC CÁC CHỮ VIẾT TẮT CSDL : Cơ sở liệu FDs : Các phụ thuộc hàm AFDs : Các phụ thuộc hàm xấp xỉ AFDMCEC : Khai phá phụ thuộc hàm xấp xỉ sử dụng phủ tối thiểu lớp tương đương LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com DANH MỤC CÁC BẢNG BIỂU Bảng 1.1 Quy trình phát tri thức Bảng 1.2 Bảng sở liệu quan hệ Bảng 1.3 Cây khai phá AFDs(ví dụ với thuộc tính) Bảng 1.4 Bảng sở liệu quan hệ số Bảng 1.5 Bảng sở liệu kiểm tốn(ví dụ tháng) Bảng 2.1 Bảng liệu đồ chơi Bảng 2.2 Bảng triệu chứng bệnh nhân Bảng 2.3 Bảng định cúm Bảng 2.4 Bảng rút gọn thứ bảng định cúm Bảng 2.5 Bảng rút gọn thứ hai bảng định cúm Bảng 2.6 Bảng chọn ứng cử viên vào ngạch giảng dạy Bảng 2.7 Bảng liệu điều tra khách hàng mua ôtô Bảng 2.8 Cây định bước thuộc tính phụ cấp Bảng 2.9 Cây định bước LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỞ ĐẦU Cơ sở liệu (CSDL) lĩnh vực tập trung nghiên cứu phát triển công nghệ thông tin, nhằm giải tốn quản lý, tìm kiếm thơng tin hệ thống lớn, đa dạng, phức tạp cho nhiều người sử dụng máy tính điện tử Mơ hình liệu quan hệ đặt trọng điểm hàng đầu khác thác tiềm máy mà mô tả trực quan liệu theo quan điểm người dùng, cung cấp mơ hình liệu đơn giản, sáng, chặt chẽ, dễ hiểu tạo khả tự động hố thiết kế CSDL quan hệ Có thể nói lý thuyết thiết kế cài đặt CSDL, mơ hình liệu quan hệ phát triển mức độ cao đạt kết sâu sắc Ngày việc khai phá liệu coi việc khai phá tri thức từ liệu (knowlegde mining from databases), trích lọc tri thức(knowlegde extraction), phân tích liệu mẫu (data-partent analysis), khảo cứu liệu(data archaeology), đào xới nạo vét liệu(data dredging) Với ngành khoa học, kinh tế - xã hội nơi có kho liệu khổng lồ việc tìm kiếm, truy xuất đưa thơng tin cần thiết phù hợp với thời gian yêu cầu khơng dễ dàng hế hệ phương pháp tiếp cận, phương pháp nghiên cứu, kỹ thuật, công cụ cho phép phân tích, tổng hợp, khai phá tri thức từ liệu cách thông minh hiệu nhà khoa học quan tâm nghiên cứu Trong năm gần đây, việc tìm kiếm thuật tốn cho phép khai phá phụ thuộc hàm xấp xỉ quan tâm nghiên cứu, hững thuật tốn TANE - thuật toán tương đối hiệu khai phá phụ thuộc hàm xấp xỉ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com CHƯƠNG 1: PHỤ THUỘC HÀM VÀ PHỤ THUỘC HÀM XẤP XỈ 1.1 Khai phá liệu 1.1.1 Phát tri thức khai phá liệu Phát tri thức sở liệu qui trình nhận biết mẫu mơ hình liệu với tính năng: hợp thức, mới, khả ích, hiểu Còn khai thác liệu bước qui trình phát tri thức gồm có thuật toán khai thác liệu chuyên dùng số qui định hiệu tính tốn chấp nhận để tìm mẫu mơ hình liệu Nói cách khác, mục đích phát tri thức khai phá liệu tìm mẫu và/hoặc mơ hình tồn sở liệu bị che khuất hàng núi liệu Qui trình phát tri thức Qui trình phát tri thức mơ tả tóm tắt : Bảng 1.1 Quy trình phát tri thức - Bước thứ tìm hiểu lĩnh vực ứng dụng hình thành toán, bước định cho việc rút tri thức hữu ích cho phép chọn phương pháp khai phá liệu thích hợp với mục đích ứng dụng chất liệu LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com - Bước thứ hai thu thập xử lý thô, gọi tiền xử lý liệu nhằm loại bỏ nhiễu, xử lý việc thiếu liệu, biến đổi liệu rút gọn liệu cần thiết, bước thường chiếm nhiều thời gian tồn qui trình phát tri thức - Bước thứ ba khai phá liệu, hay nói cách khác trích mẫu hoặc/và mơ hình ẩn liệu - Bước thứ tư hiểu tri thức tìm được, đặc biệt làm sáng tỏ mơ tả dự đốn Các bước lặp lặp lại số lần, kết thu được lấy trung bình tất lần thực 1.1.2 Các phương pháp khai phá liệu Với hai đích khai phá liệu Dự đốn Mơ tả , người ta thường sử dụng phương pháp sau cho khai phá liệu: - Phương pháp quy nạp - Phát luật kết hợp - Sử dụng định - Các phương pháp phân lớp hồi quy phi tuyến: - Phân nhóm phân đoạn - Các phương pháp dự mẫu - Mơ hình phụ thuộc dựa đồ thị xác suất - Mô hình học quan hệ - Mạng neuron - Thuật giải di truyền 1.2 Phụ thuộc hàm 1.2.1 Định nghĩa Trong CSDL tồn nhiều mối liên hệ thuộc tính, bộ; liên hệ xảy quan hệ quan hệ lược đồ CSDL Các mối liên hệ điều kiện bất biến mà tất quan hệ có liên quan CSDL phải thoả mãn thời điểm Những điều kiện bất biến gọi buộc toàn vẹn Phụ thuộc hàm cơng cụ dùng để biểu diễn cách hình thức số buộc toàn vẹn LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Các phụ thuộc hàm tương quan thuộc tính quan hệ: Một phụ thuộc hàm giá trị thuộc tính xác định số thuộc tính khác Vấn đề phát phụ thuộc hàm từ quan hệ nhận mối quan tâm đáng kể Việc phân tích CSDL tự động, đương nhiên, thú vị cho mục tiêu khai phá tri thức khai phá liệu , phụ thuộc hàm có nhiều ứng dụng lĩnh vực quản lý CSDL, tối ưu hóa truy vấn… Một cách hình thức, phụ thuộc hàm lược đồ quan hệ R biểu diễn XA với X  R A  R.Phụ thuộc quan hệ r R cho trước với cặp hàng t,u  R, ta có t[B] = u[B] B  X t[A] = u[A] (ta nói t u thoả X A) Ví dụ : Mã Sinh viên Họ tên Số chứng minh Năm sinh Quê quán 00001 Nguyễn Văn A 1247237 1987 Hà Nội 00002 Nguyễn Văn B 1211445 1988 Lạng Sơn Ta có phụ thuộc hàm sau AB, AC, AD, AE,CB,CD, CE Phụ thuộc hàm X  A tối thiểu r A không phụ thuộc hàm vào tập thực X Ví dụ Y  A không thoả r với Y  X Phụ thuộc hàm X  A tầm thường A  X 1.2.2 Hệ tiên đề Armstrong Gọi F tập tất phụ thuộc hàm lược đồ quan hệ r(U) X -> Y phụ thuộc hàm với X, Y  U, ta nói X -> Y suy diễn logic từ F quan hệ r(U) thỏa mãn phụ thuộc hàm F thỏa X -> Y Sau tập quy tắc hệ tiên đề Armstrong đề xuất vào năm 1974, gọi hệ tiên đề Armstrong Hệ tiên đề Armstrong LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 10 Gọi R(U) lược đồ quan hệ với U = (A1, A2, , An) tập thuộc tính: giả sử X, Y, Z  U, hệ tiên đề Armstrong bao gồm: * Tính phản xạ: Nếu Y  X X -> Y * Tính tăng trưởng: Nếu Z  U, X->Y ZX -> ZY Trong ZX=Z U * Tính bắc cầu: Nếu X -> Y Y -> Zthì X -> Z Ví dụ: Cho AB -> C, C -> A, chứng minh BC -> ABC (1) C -> A (theo giả thiết) (2) BC -> AB (áp dụng luật tăng trưởng tăng (1) lên B) (3) AB -> C (theo giả thiết) (4) AB -> ABC (tăng (3)AB) (5) BC -> ABC (bắc cầu (1), (2)) Bổ đề 1: Hệ tiên đề Armstrong đầy đủ, có nghĩa F tập phụ thuộc hàm quan hệ r f : X -> Y phụ thuộc hàm suy dẫn từ F nhờ hệ tiên đề Armstrong f r Bổ đề 2: Tính hợp : X -> Y X -> Z X -> YZ Tính tựa bắc cầu : Nếu X -> Y WY -> Z XW -> Z Tính tách: Nếu X -> Y Z  Y X -> Z Bao đóng F kí hiệu F+, tập tất phụ thuộc hàm suy diễn logic nhờ tiên đề Armstrong, bổ đề từ F, F = F+ F họ đầy đủ phụ thuộc hàm Bao đóng tập thuộc tính (X+) X -> Y phụ thuộc hàm suy từ F Khi X+ gọi bao đóng tập thuộc tính X X+ tập tất thuộc tính U suy dẫn tập X X+F = { A | X -> A  F+ } Thuật tốn tìm bao đóng tập thuộc tính: INPUT: X, F,U OUTPUT: X+ LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 36 Hình : Cây định sau bước Bảng 2.9: Cây định bước Kết luận định giúp ta biến biểu diễn liệu phức tạp thành cấu trúc đơn giản nhiều 2.3.2 Ưu điểm định So với phương pháp khai phá liệu khác, định phương pháp có số ưu điểm: Cây định dễ hiểu Người ta hiểu mơ hình định sau giải thích ngắn Việc chuẩn bị liệu cho định khơng cần thiết Các kỹ thuật khác thường địi hỏi chuẩn hóa liệu, cần tạo biến phụ (dummy variable) loại bỏ giá trị rỗng Cây định xử lý liệu có giá trị số liệu có giá trị tên thể loại Các kỹ thuật khác thường chuyên để phân tích liệu gồm loại biến Chẳng hạn, luật quan hệ dùng cho biến tên, mạng nơ-ron dùng cho biến có giá trị số Cây định mơ hình hộp trắng Nếu quan sát tình cho trước mơ hình, dễ dàng giải thích điều kiện logic Boolean Mạng nơ-ron ví dụ mơ hình hộp đen, lời giải thích cho kết q phức tạp để hiểu Có thể thẩm định mơ hình kiểm tra thống kê Điều làm cho ta tin tưởng vào mơ hình Cây định xử lý tốt lượng liệu lớn thời gian ngắn Có thể dùng máy tính cá nhân để phân tích lượng liệu lớn thời gian LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 37 đủ ngắn phép nhà chiến lược đưa định dựa phân tích định Mở rộng định thành đồ thị định Trong định, đường từ nút gốc đến nút tiến hành phép hội (AND) Trong đồ thị định, dùng phép tuyển (OR) để kết nối ghép hai hay nhiều đường lại với Phần bù định phân tích hình thái học (Morphological Analysis) 2.4 Ảnh hưởng phụ thuộc hàm, phụ thuộc hàm xấp xỉ xây dựng định Cho mẫu huấn luyện M gồm có m thuộc tính, n Mỗi thuộc tính X  M có giá trị {x1, x2, ,xn} Thuộc tính định mẫu đánh dấu Y thuộc tính cịn lại gọi thuộc tính dự đốn Với thuộc tính X = {x1, x2, ,xn}, ta ký hiệu |X| số giá trị khác của tập {x1, x2, ,xn} gọi lực lượng X; số lần xuất giá trị xi X ký hiệu |xi| Giá trị r thuộc tính X ký hiệu r|X Mệnh đề Trên mẫu M với thuộc tính định Y, có phụ thuộc hàm X1 -> X2 chọn X1 làm nút phân tách nút khơng nhận X2 làm nút phân tách Mệnh đề Trên mẫu M với thuộc tính định Y, có phụ thuộc hàm X1→ X2 lượng thơng tin nhận X1 khơng nhỏ lượng thông tin nhận X2 Mệnh đề 3: Nếu thuộc tính X khố mẫu M loại X khỏi M để thu định có khả dự đốn tốt LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 38 Chương : Thử nghiệm đánh giá 3.1 Thuật toán TANE 3.1.1 Mơ tả thuật tốn Với L cần khai phá AFD L1:= {{A} | A  R}, L2 tính từ L1, L3 tính từ L2 C tất tổ hợp mức Ll C+(X) = { A  R | B  X, X \ {A, B} → B không suy diễn} L0:= {Ө} C+( Ө):= R L1:= {{A} | A  R} ℓ:= while Ll ≠ Ө COMPUTE-DEPENDENCIES(Ll ) PRUNE(Ll) Ll+1:= GENERATE-NEXT-LEVEL(Ll ) ℓ:= ℓ + Giải thích : Giải thích : L0 khởi tạo rỗng C+(0) R L1 tất thuộc tính R ℓ := while Ll # rỗng Tính tốn phụ thuộc hàm (Ll) Prune(Ll) lọc Ll để tìm kiếm xố phụ thuộc hàm ko cần thiết Ll+1 xây dựng phụ thuộc hàm cho mức l := l + LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 39 Thủ tục Procedure COMPUTE-DEPENDENCIES(Lℓ ) for each X  Ll C+(X):=∩AX C+(X \ {A}) for each X  Ll for each A  X ∩ C+(X) if X \ {A} → A is valid then output X \ {A} → A remove A from C+(X) remove all B in R \ X from C+(X) Thủ tục Procedure PRUNE(L) for each X  Lℓ if C+(X) = Ө delete X from Lℓ if X is a (super)key for each A  C+(X) \ X if A :=∩ bX C+(X  {A} \ {B}) then output X → A delete X from Lℓ 3.1.2 Độ phức tạp Với bảng sở liệu quan hệ R có |R| thuộc tính |r| ghi Thời gian để khai phá phụ thuộc hàm xấp xỉ theo thuật toán Tane ban đầu đề xuất phụ thuộc vào số thuộc tính |R|, số ghi |r| Độ phức tạp theo hàm mũ O(2| r |) 3.2 Thuật toán AFDMCEC (phát triển từ thuật toán TANE) Thuật toán AFDMCED(Approximate Functional Dependency using Mininal Conver and Equivalent Classes) :Khai phá phụ thuộc hàm xấp xỉ sử dụng Phủ tối thiểu lớp tương đương LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 40 Với bảng sở liệu quan hệ R với |R| thuộc tính tập thuộc tính X, Y tập R Nếu có hàm lỗi g3(XY) < ε phụ thuộc hàm xấp xỉ XY g3(YX) < ε X Y tương đương Ta loại bỏ tập thuộc tính Y Thuật tốn đề xuất qt tồn bảng có kích thước | r | liệu để tìm thấy tất lớp tươg đương cho phức tạp thời gian | r | Sau thuật tốn AFDMCEC có vịng lặp lặp | R | lần Do đó, thể có độ phức tạp thời gian | R | Trong lần lặp vòng lặp này, có gọi cho thủ tục sau đây: ComputeMinimalApproximate_FD()- FD gọi thủ tục có | R | lần lặp lại Trong lặp lặp lại có vịng lặp qt tất ứng cử viên mức độ kích thước = | R | Do tổng thời gian bước s * | R | GeneratNextLevelCandidates (Candidate_Set) thủ tục thực hai vòng lặp lồng nhau, với |R| lặp lặp lại thời gian tổng cộng | R|2 Do đó, tổng thời gian cần thiết thuật toán AFDMCEC yêu cầu là: O( |r| + |R| (s |R|+ |R|2 )) = O(|r| + s |R| + |R|3 ) 3.2.1 Phân tích thử nghiệm Theo kết hai thuật toán chạy (Tane AFDMCEC), đặt AFDs từ liệu UCI tạo Cho thấy kết lần thực tế thay đổi thuật toán cần thiết cho TANE cho FDMCEC thuật toán cho liệu với UCI số thuộc tính khác liệu với ngưỡng khác ε giá trị cho khám phá tất AFDs Bảng 3.1: Thời gian thực tế cho hai thuật toán LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 41 ( TANE AFDMCEC thuật toán) số liệu UCI cho ε ngưỡng khác nhau) Từ Bảng 3.1, AFDs tìm thấy hiệu cách sử dụng thuật toán AFDMCEC với thuật toán Tane 3.2.2 Những so sánh độ phức tạp Thời gian Bảng trình bày so sánh phức tạp thời gian tính tốn trước cho AFDMCEC thuật toán thuật toán TANE Bảng 3.2: Thời gian phức tạp so sánh dựa T (n) cho hai thuật toán Cách tiếp cận dựa xem xét phân vùng mối quan hệ phát sinh phụ thuộc giá trị từ phân vùng tìm kiếm thuật toán cho phụ thuộc vào chiều rộng cách Khơng gian tìm kiếm cắt tỉa cách hiệu làm phân vùng phụ thuộc tính hiệu Thử nghiệm so sánh kết chứng minh thuật tốn nhanh chóng thực tế quy mơ tính chất lên cao phương pháp trước Phương pháp hoạt động tốt với mối quan hệ lên đến hàng trăm ngàn liệu Ngồi cịn có ứng dụng khai thác liệu khác thú vị cho phân vùng Các quy tắc cặp thuộc tính-giá trị tính với thay đổi nhỏ thuật toán Một lớp tương đương tương ứng sau đến kết hợp đặc biệt giá trị thuộc tính thiết lập Bằng cách so sánh lớp học tương đương thay phân vùng đầy đủ, tìm luật kết hợp LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 42 KẾT LUẬN Trong thời đại ngày nay, việc khám phá tri thức Cơ sở liệu hướng quan trọng CNTT giới Nó có khả ứng dụng vào nhiều tốn thực tế khác Bước quan trọng trình Khai phá liệu, người sử dụng thu tri thức hữu ích từ CSDL nguồn khác Chính thế, trước nhu cầu thực tế mà nghiên cứu không ngừng cải tiến phương pháp khai phá liệu nhằm đáp ứng ngày tốt nhằm ứng dụng phương pháp khai phá liệu cho đời sống kinh tế, xã hội Sự phụ thuộc liệu có ảnh hưởng lớn đến việc trích trọn mẫu huấn luyện nhằm xây dựng xây dựng định có hiệu Việc nhận phụ thuộc liệu góp phần làm cải thiện hiệu toán phân lớp Việc khai phá liệu ứng dụng phụ thuộc hàm xấp xỉ quan tâm nghiên cứu nhiều năm trở lại đây, với TANE, ta tìm phụ thuộc hàm xấp xỉ liệu hiệu Một ứng dụng việc tìm phụ thuộc hàm xấp xỉ xây dựng bảng định Từ xây dựng định LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 43 TÀI LIỆU THAM KHẢO [1] Codd E.F(1970),”A relational model for large shared data banks”, Communication ACM12,pp.377-387 [2] Demetrovics J.,Thi V.D Relations and minimal keys Acta Cybernetica 8,3(1988), 279-285 [3] Demetrovics J.,Thi V.D On keys in the Relations Datamodel, Inform.Process Cybern.EIK 24,10 (1988), 515-519 [4] Giannella, Chris and Robertson, Edward, 2004 “On Approximation Measures for Functional Dependencies”, Inform Action Systems Archive 29(6), 483-507 [5] Huhtala, Y., Karkkainen, J., Porkka P., and Toivonen, H., 1999 “Tane: An efficient algorithm for discovering functional and approximate dependencies” The Computer Journal, 42(2):100-111 [6] Kivinen, J., and Mannila, H., 1995 “Approximate Inference of Functional Dependencies From Relations” Theoretical Computer Science, 149:129-149 [7] Kwok-Wa Lam, Victor C.S.Lee, Building Decision Trees Using Functional Dependencies, Processdings, of the International Conference on Information Technology: Coding and Computing(ITCC’04), 2004 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 44 PHỤ LỤC Thủ tục Tính phụ thuộc hàm xấp xỉ double tinh_phuthuochamxapxi() { double tong_phan_hoach = 0; double sobanghi = 0; int [] a = new int [100002]; int vt, j, dem = 0, k, dem_1 = 0, max = 0; string tam = ""; for (int i = 0; i