Đề tài mã hóa hệ đa cấp đa kế thừa thay cho phép tính lưới

ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN KHOA CÔNG NGHỆ THÔNG TIN ĐỒ ÁN MÔN HỌC KHAI THÁC DỮ LIỆU VÀ ỨNG DỤNG ĐỀ TÀI : MÃ HOÁ HỆ ĐA CẤP ĐA KẾ THỪA THAY CHO PHÉP TÍNH LƯỚI LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Mã hóa hệ đa cấp kế thừa bội thay cho phép tính lưới Tóm tắt: Sự cập nhật hóa ngày lớn hệ đa cấp kế thừa bội trở nên thông dụng với số lượng gia tăng ứng dụng lâu năm hỗ trợ đối tượng phức tạp Việc tính tóan hiệu phép tính lưới kết hợp thấp với lớn (GLB) cao với nhỏ (LUB), kết hợp bị trích Phương pháp mã hóa chặt chẽ hệ đa cấp bị yêu cầu hỗ trợ phép tóan Một phương pháp lao vào câu lệnh đưa chuyển thành dãy logic với từ nhị phân biểu diễn phép tóan lưới tóan tử logic Một cách nhìn tổng quan tiếp cận đưa vài phương pháp kiểm chứng so sánh Một phương pháp đề nghị , dựa việc mã hóa từ xuống Caseau khơng có u cầu hịan thành lưới, điều cho phép cập nhật hóa hệ đa cấp ngày lớn cách thêm node vào Thuật tóan địi hỏi việc mã hóa đa thức theo không gian thời gian ủng hộ hiệu tính tóan lưới ứng dụng , nơi mà lớp đối tượng lưu trữ mã Những kết thử nghiệm đưa ấn tượng sâu sắc, phân tích cung cấp hiệu việc chèn có thứ tự việc mã hóa Giới thiệu Các hệ đa cấp kế thừa phổ biến nhiều lĩnh vực Những ngơn ngữ lập trình hướng đối tượng C++, Java Smalltalk cho phép định nghĩa lớp mà lớp tổ chức thành hệ đa cấp kế thừa Những đề nghị liệu gần cho phép định nghĩa giản đồ dựa đối tượng phức tạp, vài địi hỏi phép tính lưới để suy lọai đối tượng Mối quan hệ kế thừa xuất LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com việc truy vấn liệu, việc kết hợp thường xuyên sử dụng việc quản lý quan niệm Cuối cùng, hệ thống đại diện cho tri thức cho phép khái niệm tổ chức thành hệ đa cấp phân lớp, với việc thừa kế thành phần khóa thuật tóan lập luận Những hệ thống cho phép hệ đa cấp kế thừa tổ chức đối tượng , mà đối tượng ví dụ lớp kiểu thành phần, điều mơ hình hóa lưới Thao tác đối tượng vận hành phép tính lưới GLB LUB, đại diện cho kết hợp phân rã lọai đối tượng Một tóan tử khóa hệ thống thực hành kiểm tra thử kết hợp, định xem có tồn mối quan hệ kế thừa cặp đối tượng lý thuyết hay không Phần cung cấp tài liệu định nghĩa cần thiết để hiểu vấn đề Một vài phương pháp đề nghị việc mã hóa lưới để ủng hộ phép phép tính lưới theo thời gian không đổi Phần nhắc lại phần 3, với việc phân tích giới hạn lợi ích mối quan hệ chúng Sự phát triển ứng dụng lâu năm tận dụng hệ đa cấp kế thừa, sở tri thức sở liệu Background Một hệ đa cấp kế thừa miêu tả trật tự cục bộ, poset (P, ≤), mối quan hệ nhị phân ≤ , mối quan hệ phan xạ, phản đối xứng, transitive Mối quan hệ a ≤ b ngụ ý a b lớp, a trực tiếp b, a trực tiếp vài lớp c, c ≤ b Hai phần tử a b poset P cho so sánh a ≤ b b ≤ a Xem xét poset (P, ≤), A P Phần tử b ∈ P đđược gọi ràng buộc A a ≤ b tất a ∈ A Ngòai b gọi ràng buộc nhỏ (LUB) A trường hợp b ≤ a a ràng buộc A Ngược lại, phần tử b ∈ P đđược gọi ràng buộc A b ≤ a LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com tất a ∈ A, ràng buộc lớn (GLB) A trường hợp a ≤ b a ràng buộc A Một lattice poset mà cặp phần tử có LUB GLB LUB hai phần tử {a,b} có nghĩa a ∨ b gọi hợp a b Tương tự, GLB {a,b} có nghĩa a ∧ b gọi giao a b Một semilattice thấp poset mà cặp phần tử có GLB Một thảo luận chi tiết poset lattice tìm thấy chủ đề chuẩn mơn tóan riêng biệt ví dụ [4] Nói chung, hệ đa cấp kế thừa khơng có cấu trúc lattice; hợp giao cặp phần tử định nghĩa Trong trường hợp thế, GLB LUB phần tử định nghĩa Để phân biệt trường hợp này, từ GCS LCS sử dụng định nghĩa sau Trong poset (P, ≤) hệ đa cấp kế thừa, siêu lớp chung nhỏ (LCS) subset A P nhỏ phần tử B có tồn b ∈ B điều kiện b ≤ a, phần tử a ràng buộc A Ngược lại, siêu lớp chung lớn (GCS) subset A P nhỏ củ phần tử B có tồn b ∈ B điều kiện a ≤ b, phần tử a ràng buộc của A Được đưa poset (P, ≤,∧,∨ ), lattice poset lattice (L, ⊇,∩,∪ ), GLB LUB tính tóan cách hiệu quả, giả định có tồn hàm số γ từ P đến L thế, phần tử a b P , γ (a ∧ b) = γ (a) ∩ γ (b), γ (a ∨ b) = γ (a) ∪ γ (b), Đó là, γ đồng dạng lattice Ngịai ra, cho γ đảo ngược; là, có tồn hàm số γ -1 từ L đến P thế, a P , γ -1( γ (a)) = a.Sau đó, cách tính tóan GLB LUB phần tử a b P nối mệnh đề nhau, đưa LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com a ∧ b = γ -1( γ (a) ∩ γ (b)), a ∨ b = γ -1( γ (a) ∪ γ (b)) Đối với poset (P, ≤) khơng phải lattice, sử dụng gắn vào lattice, phép tính phức tạp Trước tiên, phép tóan trần sàn phải định nghĩa Đối với subset A P , trần A kí hiệu ⎡ A⎤ subset B nhỏ A điều kiện tất a ∈ A, tồn a b ∈ B , a ≤ b Sàn A kí hiệu ⎣ A⎦ subset C nhỏ A điều kiện tất a ∈ A, tồn a c ∈ B , c ≤ a Bây định nghĩa phép tóan GCS LCS Đối với poset (P, ≤) subset A = {a1, …,ak}của P , GCS tính tóan sau: ⎡⎧ k ⎫⎤ ⎢⎩ i =1 ⎭⎥ GCS(A) = ⎢⎨ x ∈ P | γ ( x) ⊇ I γ (ai)⎬⎥ Cách khác, GCS phần tử lớn poset mà mã mã GLB phần tử tương ứng semilattice gắn vào Tương tự, LCS tính tóan sau: ⎢⎧ k ⎫⎥ ⎣⎩ i =1 ⎭⎦ LCS(A) = ⎢⎨ x ∈ P | U γ (ai) ⊇ γ ( x)⎬⎥ 2.1 Vấn đề Xem xét poset (P, ≤) Để Anc(x) = { y ∈ P |y < x} Desc(x) = { y ∈ P |y > x} Một phần tử j ∈ X nói giao khơng thể tối giản tồn x ∈ X chẳng hạn x ∉ Desc(j) Anc(j) ⊂ Anc(x) ∪ {x} Tương tự, xác định hội khơng thể tối giản Để J(P) biểu rõ phần tất yếu tố giao tối giản M(P) biểu rõ phần tất yếu tố hợp tối giản Markowsky [5] mã hóa tối ưu dành cho tóan tử giao (hội) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com lưới đạt liên kết số hay bit khác đến yếu tố giao tối giản (hội tối giản) Để (P, ≤) poset, χ : J ( P ) → S = {1, , k } Habib et al [6] cung cấp định nghĩa sau Một mã hóa đơn giản xếp ϕ ( x) : X → S với ϕ ( x) = U j∈Anc( x ) χ ( j ) ϕ kết hợp từ P lên 2S ; là, x ≤ py iff ϕ ( x) ⊂ ϕ ( y ) Sau vấn đề định thỏa thuận tốt mã hóa Thật khơng may mắn, Caseau et al [7] chứng tỏ mã hóa đơn giản cân đa thức đến vẽ đồ thị màu lần lượt, vấn đề NP-hard Thật vậy, vấn đề mã hóa thường (cũng biết vấn đề hai chiều) tìm thấy số k nhỏ tồn xếp ϕ ( x) : X → {1,…,k} ϕ ( x) → S với ϕ ( x) = U j∈Anc( x ) χ ( j ) kết hợp từ P lên 2S ; là, x ≤ py iff ϕ ( x) ⊂ ϕ ( y ) Rõ ràng, vấn đề NPhard Những phương pháp trước Một số phương pháp đề nghị để giải phép tóan poset lattice Thật khơng may mắn, phép tóan có giới hạn khơng hiệu kích thước giải hệ đa cấp động phép tóan lattice 3.1 Transitive closure Một phương pháp thường để lưu trữ poset bao gồm ma trận transitive closure Để cho x1, x2, …,xn phần tử poset Một ma trận transitive closure ma trận n x n 1, mà phần tử thứ (i, j) ma trận iff xi cha xj Một ma trận liền kề đối xứng A1 định nghĩa hợp ma trận liền kề A ma trận định dạng n x n Inxn nơi mà phần tử thứ ( i, j) ma trận liền kề iff xi cha xj LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Ma trận transitive closure đạt phép tóan ma trận A0 = Inxn , A1 = A x A0 , Ak = Ak-1 x Ak-1 , Ak = Ak-1 = A* Sự tính tóan hội tụ hầu hết phép nhân ⎡log 2n ⎤ ma trận logic n x n Phương pháp đòi hỏi O(n2) bit để lưu trữ Để tìm GLB LUB phần tử, cần O(n) phép tóan vectơ n bit, với nỗ lực cần để tìm thấy phần tử nhỏ [8] Những người Ait-Kaci [9] đưa thuật tóan pidgin-code để để định mã trancitive closure đến phần tử hệ đa cấp bắt đầu phần tử bên tiến hành theo hướng lên lớp lớp Mỗi nút mã nhị phân mã 2p với p số nút viếng thăm phạm vi Hai mẫu giải mã transitive closure biểu diễn hình 1, bên cột đặt tên “transitive” Giải mã phía sử dụng tối thiểu bit mã phần tử hệ đa cấp (a-g), hình thành cấu trúc Giải mã phía tất 15 phần tử hệ đa cấp (ngọai trừ nút q , nút ảo thay cho giao nút e f cho giải mã sau này) Việc giải mã đòi hỏi tối thiểu chiều dài mã 15 bit, tổng chiều dài 120 bit không ý đến số đầu 3.2 Giải mã từ phía bên lên Những người Ait-Kaci [9] cải tiến thuật tóan pidgin-code transitive closure cách tăng chiều dài nút cần thiết Vịêc gia tăng xảy LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com thuật tóan họ nút nút đơn (để phân biệt với 2) mã phân biệt tính tóan so sánh với mã thuộc tính đến phần tử biết khơng thể so sánh Đó là, mã làm tốt tất mã ràng buộc bên nó, khơng thể so sánh với mã phần tử so sánh Hai mẫu mã hóa biểu diễn hình bên cột có tên Bottom-Up Việc mã hóa bên sử dụng tối đa bit mã phần tử hệ thống hình Việc mã hóa bên cho tất 15 phần tử hệ thống đòi hỏi chiều dài mã tối đa 10 bit, quan trọng nhỏ 15 transitive closure Tổng chiều dài mã hóa 18 bit bit đầu phớt lờ Mặc dù phương pháp kết mã dày transitive closure, tạo mã dài Thật vậy, việc mã hóa chuỗi (1 với nhánh) chiều dài mã n-1 Mỗi gia tăng chiều dài từ thêm vào chiều dài tất bit việc sử dụng lại bit không gây mâu thuẫn Một giải pháp để giải vấn đề đề nghị Ait-Kaci điều chỉnh hệ thống; là, tạo nhóm có nút kết nối đặc có vài liên kết kế thừa với nhóm khác Sau đó, nhóm mã hóa cách riêng biệt, mã nhóm định để phân biệt phần tử nhóm khác Điều sử dụng lại vị trí bit nhóm, việc thêm số bit cho mã nhóm Trường hợp tốt có thể, khơng gian sử dụng mã hóa điều chỉnh O(nlogn), hệ đa cấp hoàn tồn mơ hình hóa mức Đối với hệ đa cấp khơng có cấu trúc mơ hình, chuỗi, mã hóa cần O(n2) bit Nỗ lực thêm địi hỏi điều chỉnh khơng gian để lưu trữ cấu trúc điều chỉnh không phân tích, tranh luận Ganguly et al [8] địi hỏi O(n2) thời gian O(nd) khơng gian, điều kiện d độ lớn đồ thị nhóm LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Trong ví dụ hệ đa cấp hình 1, điều chỉnh khơng thể, khơng có tiết kiệm chịu Đối với yếu tố đầu, tiết kiệm chiều dài mã điều chỉnh xác offset nhu cầu cho mã nhóm LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Thủ tục truyền đề cập ResolveConflicts địi hỏi thêm vị trí bit cho mã cho nut tất yếu tố liên quan Truyền( x: nut ; c: mã) Với yy, γ ( y ) ⊇ γ ( x) bổ đề 2, γ ( y ) ≠ γ ( x) bổ đề 3, phải có bit y mà không x, bổ đề Mặt khác x y so sánh Nếu mã cho y chứa đựng bit khơng tìm thấy mã x, bổ đề Mặt khác, thừa nhận γ ( x) ⊇ γ ( y ) , để LCS{x,y}={ a1 , , a k } Trong điều sau đây, điều chứng minh sai phản chứng Trước tiên xem tình trạng mã cách trực tiếp sau mã hố x y, sau Bằng bổ đề 2, γ ( x) ⊇ γ ( y ) ⊇ với i, ≤ i ≤ k Thừa nhận mã y mã hố sau x Nếu y nut chính, mã cho y tạo với số gia mã cha nó, định bit trống không x sử dụng, trái ngược Nếu y khơng chính, ResolveConflicts gọi Nếu mã cho y không chứa đựng mã khơng có x, lúc gọi γ ( x) ⊇ γ ( y ) , mã cho y gia tăng với bit không thuộc mã x, mâu thuẫn 21 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Bây cho nut x mã hoá sau mã y Nếu nut x chính, mã số gia mã cha w Rõ ràng, LCS({x,y})=LCS({w,y}) Có khả chứng minh mã cha khơng chứa đựng bit tìm thấy mã y việc mã hố x không cộng bit vào mã cha bit khơng dùng Nếu y mã hố sau w, tranh luận giữ cho w y1) Việc mã hoá cho a số nhị phân mã cha nó, giải mâu thuẫn Nếu x ≠ a y ≠ a , γ ' ( x) ⊇ γ ' ( y ) γ ( x) ⊇ γ ( y ) , x ≤ y giả thuyết quy nạp, γ ' ( x) thay đổi γ (x ) và/ γ ' ( y ) thay đổi γ ( y ) ResolveConflicts Modify Cả trường hợp, FreeBit không cho phép thay đổi bit mà dẫn đến mối liên hệ không Nếu x ≠ a y=a, γ ' ( x)khong ⊃ γ ' ( y ) trừ x ≤ y , ResolveConflicts khơng cho phép điều Nếu x=a, theo bổ đề 4, x ≤ y tồn q chẳng hạn γ ' ( y ) ⊇ q γ ' ( x)khong ⊇ q Theo đó, γ ' ( x)khong ⊇ γ ' ( y ) , mâu thuẫn với giả định Định lý (Gộp chung) Với việc mã hoá γ hệ đẳng cấp, γ ( x) ⊇ γ ( y ) x≤ y 23 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Chứng minh Xảy trực tiếp từ bổ đề 4.4 Năng suất Chìa khố cho bổ sung có hiệu giải thuật khơng tạo hiệu việc mã hố, mà cịn việc lưu trữ số lượng thơng tin hệ đẳng cấu bên ngồi lưu trữ mã chúng Giả định tạo nên phân tích hiệu khơng thơng tin lưu trữ bên ngồi việc mã hố Ranh giới dấu cách tốt đòi hỏi việc mã hoá O(log n) bit nut, nơi mà n số lượng nut hệ đẳng cấu, cho ranh giới toàn O(n log n) Điều xảy hệ đẳng cấp lưới hoàn toàn mã hóa bề ngang trước, nut tồn cho mã nhị phân Trong trường hợp xấu nhất, việc mã hố địi hỏi O(n) bit nut, toàn O( n ), mà xảy hệ đẳng cấp loạt nhánh đơn nhánh, có mức độ Hàm chiếm ưu cho thời gian mã hố cho nut hàm ResolveConflicts Tính tốn tập hợp vơ song cho nut địi hỏi kiểm tra tất nut khác cho liên quan Cho nut tập hợp, mà bao gồm hầu hết tất nut khác, hàm FreeBit hàm Modify gọi FreeBit đòi hỏi phân tích vị trí bit, mà địi hỏi viẹc kiểm tra lại với n bit Modify yêu cầu kiểm trakiểm tra vị trí bit qua FreeBit, sau kiểm tra cho phân lớp phổ biến lớn hình thức nguyên thuỷ nut, thao tác yêu cầu O( n ) thao tác Vì tồn thời gian chạy ReosolveConflicts, theo cách Encode, O( n ) nut, O( n ) toàn Thử nghiệm trước [12] phân tích thực nhiều phương thức mã hoá khác hệ đẳng cấp giới thực, cụ thể hệ đẳng cấp lớp 300-đối tượng LAURE [13] Khi ứng dụng vào hệ đẳng cấp này, phương thức mã hố thấp địi hỏi 860 byte lưu trữ cho mã, với mã dài 32 bit So sánh thuận lợi cho việc mã hoá AitKaci [9], mà đồi hỏi 5280 byte đưa mã dài 281 bit, thừa nhận không điều biến Với điều biến, việc mã hố địi hỏi 1452 24 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com byte, với mã dai 120 bit, sử dụng 30 nhóm Phương pháp nén dãy băng Agrawal [11] đòi hỏi 1336 byte cho hệ đẳng cấp giống Ngay phương pháp mã hố riêng Caseau địi hỏi 1014 byte, với mã dài 33 bit Như trước, kích thước mã tương tự (phụ thuộc vào tính tự nhiên hệ đẳng cấp), nhiều lưu trữ toàn yêu cầu để hoàn thành lưới Thử nghiệm xa hướng dẫn để xác định trật tự việc thêm nut với số sau (của nut ma cha mã hố) dẫn đến gia tăng kich thước tồn việc mã hoá thành 1098 byte việc lưu trữ, với mã lớn 34 bit Hầu hết giảm bớt lưu trữ 848 byte, với 32 bit lớn Để kiểm tra quan điểm việc mã hoá nut với hầu hết đầu tiên, xem hệ đẳng cấp H1 n+1 nut chẳng hạn nut r có n-x nut con, A={ a1 , , a n − x }, với khơng có con, “sự hoàn thành đỉnh” x nut, B={ b1 , , b x } nut khác Chú ý chiều dài mã dài nut “sự hoàn thành đỉnh” chiều dài l=logx +1 tổng bit cần để mã hố x(logx +1) Nó theo sau tổng bit cần để mã hoá H1 ngang với x(logx+1) + (l+1)+…+(l+(n-x)) nut hoàn thành đỉnh đựoc mã hố trứơc tiên, ngang với (1+2+…+(n-x))+ x(n-x+1)+x(logx+1) nut A mã hoá trước tiên Rõ ràng, tốt mã hoá nut B trước tiên Sự khác biệt lớn xảy x ≈ n2 Trong trường hợp này, mã hoá nut với hầu hết nut trước tiên Một ví dụ hệ đẳng cấp cung cấp hình 6, với việc mã hoá khác Tuy nhiên, trật tự mã hố khơng quan trọng thay “ hoàn thành đỉnh ” đồ thị chia đôi đầy đủ với ⎣ n4 ⎦ nut tập hợp chia Trong trường hợp này, toàn kích thước mã hố giống Điều minh hoạ hình 25 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Hơn nữa, tốt không mã hố nut có nhiều cháu cho hệ đẳng cấp theo sau Để thuận lợi, giả định n = k nơi k ≥ Để H2 hệ đẳng cấp n+2 nut chảng hạn nut cao r có ⎣3n8 ⎦ chúng tất có chung mà có ⎣3n8 ⎦ khác, nut cao có “đỉnh đầy đủ” n nut khác Sự khác biệt ( 38n + 1) 28n − (log x + 2)( 68n + 1) >> lớn Một ví dụ tác động thể hình 4.5 Thao tác lưới Với hệ đẳng cấp kế thừa với cấu trúc lưới, thao tác lưới việc xếp, GLB, LUB có liên quan Chẳng hạn hệ đẳng cấp, có lợi việc mã hố c đảo ngược, dồng hình lưới Khi hệ đẳng cấp mã hố hàm đưa viết khơng địi hỏi phải lưới, việc mã hố khơng dễ thay đổi, nhiều nổ lực đòi hỏi để định lớp tập hợp lớp bao phủ mã Đây kết thao tác GCS LCS tập hợp lớp, phụ thuộc vào tính khơng lưới hệ đẳng cấp Thao tác sau minh họa tác động 26 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 27 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Xem thao tác GLB(h,m) hệ đẳng cấp hình Thao tác điện toán γ (h) ∪ γ (m) = 100010001 ∪ 000011010 = 100011011 = γ (o) dễ dàng xác định GLB(h,m)=o Tương tự, với LUB(f,g), γ ( f ) ∩ γ ( g ) = 001000010 ∩ 000001010 = 000000010 = γ (c) Với thao tác phức tạp GCS({d,g}), thao tác điện toán γ (d ) ∪ γ ( g ) = 100000001 ∪ 000001010 = 100001011 mà mã lớp đơn Việc sử dụng xếp kiểm tra a ≤ b ⇔ γ (a ) ∪ γ (b) = γ (a ) , việc tìm thấy tất mã xếp mã γ (d ) ∪ γ ( g ) , cho tập hợp mã {100101111,100011011}, tìm thấy tập mã tối thiểu phần kiểm tra mà xếp khác cho tập hợp, Việc trình bày mã cảu lớp n o, GCS cho lớp d g Trong việc xác định lớp xác bao gồm thao tác GCS LCS q trình tương đối tốn kém, nên ghi trình giữ nguyên ứng dụng đích 28 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Ví dụ như, xem hệ thống sở liệu dựa đối tượng phức tạp nơi mà đối tượng thuộc lớp đơn Nếu có xác nhận đựơc thực hệ thống mà đối tượng biết tồn hai hay nhiều lớp, phải xác định lớp thực lớp mà thật thuộc về, xã định với thao tác GCS Để xác định lớp thật sự, mã đạt phải giải mã, Thật ra, việc giải mã làm hết, mã đạt thao tác GCS nhiều thơng tin, chí nhiều hơn, thông tin biết lớp thật đối tượng , lưu trữ với đối tuợng 29 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Phương pháp lưu mã cho phép xác nhận xa lớp đối tượng dễ dàng giải Theo đối tượng ứng dụng sở liệu liên tục kết hợp với mã chúng, khơng với tên lớp Có thể nói tương tự với kiển thức sở hệ thống Điều giảm xa việc lưu trữ tonà có mã phải kết hợp với lớp, khơng tập hợp định nghĩa lớp Vì suy nghĩ lưu trữ mã độ dài biến số đòi hỏi nhiều lưu trữ trỏ lớp đơn, khơng địi hỏi nhiều đơid tượng giải với lớp đơn, phải lưu trữ với tập hợp lớp trỏ 5.Tóm tắt Giải thuật space-and-time-efficient mã hố lưới thành tập hợp vec tơ nhị phân đề xuất, giải thuật có hiêu cho việc tính tốn GLB, LUB, mối liên hệ hai nut nét Giải thuật, cho phép chức năg thêm lớp với thay đổi tối thiểu tồn mã, đòi hỏi O( n ) thời gian tệ O( n ) khơng gian cho việc mã hố hệ đẳng cấp tồn bộ, cho phép thao tác điện tốn lưới có hiệu Dựa vào kết minh hoạ liên quan phương pháp Ứng dụng liên tục chẳng hạn sớ liệu kiến thức tren sở hệ thống đòi hỏi hiệu việc mã hoá cho phép thay đổi để thực hệ đẳng cấp với biên tập lại việc mã hố Lưu trữ mã đơn cho đối tượng nhận tồn tập hợp lớp cha cải tiến xa việc lưu trữ toàn đòi hỏi nhiều hệ thống nơi mà lớp thật đối tượng chưa giải Lời cảm ơn Tác giả muốn cảm ơn Tim Beck việc làm ông suốt thời gian đầu công việc này, bao gồm phát triển phần mềm sử dụng cho nghiên cứu Gratitude mở rộng với tham khảo cho giải có ích chúng, đặc biệt vấn đề với bảng đề nghị phân tích trật tự thêm vào Cảm ơn Yves Caseau 30 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com việc cung cấp hệ đẳng cấp lớp LAURE cho việc kiểm tra Cuối cùng, cảm ơn trường sinh viên thông tin phản hồi Tham khảo [1] R.G.G Cattell et al (Eds.), The Object Data Standard: ODMG 3.0, Morgan Kaufmann, San Francisco, CA, 2000 [2] I.F Cruz, A.O Mendelzon, P.T Wood, A graphical query language supporting recursion, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1987, pp 323–330 [3] A Borgida, R.J Brachman, D.L McGuinness, L.A Resnick, Classic: a structural data model for objects, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1989, pp 58–67 [4] B Kolman, R Busby, S Ross, Discrete Mathematical Structures, third ed., Prentice Hall, New Jersey, 1996 [5] G Markowsky, The representation of posets and lattices by sets, Algebra Universalis 11 (1980) 173–192 [6] M Habib, L Nourine, O Raynaud, A new lattice-based heuristic for taxonomy encoding, in: International KRUSE Symposium on Knowledge Retrival, Use and Storage for Efficiency, 1997, pp 60–71 [7] Y Caseau, M Habib, L Nourine, O Raynaud, Encoding of multiple inheritance hierarchies and partial orders, Computational Intelligence 15 (1) (1999) 50– 62 [8] D Ganguly, C Mohan, S Ranka, A space-and-time efficient coding algorithm for lattice computations, IEEE Transactions on Knowledge and Data Engineering (5) (1994) 819–829 31 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com [9] H Ait-Kaci, R Boyer, P Lincoln, R Nasr, Efficient implementation of lattice operations, ACM Transactions on Programming Languages and Systems 11 (1) (1989) 115–146 [10] Y Caseau, Efficient handling of multiple inheritance hierarchies, in: Proceedings of the International Conference on Object-Oriented Systems, Languages, and Applications, 1993, pp 271–287 [11] R Agrawal, A Borgida, J.V Jagadish, Efficient management of transitive relationships in large data and knowledge bases, in: Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1989, pp 253–262 M.F van Bommel, P Wang / Data & Knowledge Engineering 50 (2004) 175–194 [12] M.F van Bommel, T.J Beck, Incremental encoding of multiple inheritance hierarchies supporting lattice operations, Linkoping Electronic Articles in Computer and Information Science 5(1) [13] Y Caseau, An object-oriented deductive language, Annals of Mathematics and Artificial Intelligence (2) (1991) 211–258 Martin van Bommel is an Associate Professor in the Department of Mathematics, Statistics and Computer Science, St Francis Xavier University He received his B.Sc degree from St Francis Xavier University; and received his Masters of Mathematics and Ph.D degrees in Computer Science in 1990 and 1996, respectively, from the University of Waterloo His research interests include object-oriented database design, schema management, query optimization, and complex object database constraints He has published in the following topics: database design, database constraints, document indexing, and information science He is a member of the Association for Computing Machinery and the ACM Special Interest Group on the Management of Data Ping Wang is an Associate Professor in the Department of Mathematics, Statistics and Computer science, St Francis Xavier University He received his B.Sc degree from Beijing Normal University, P.R China, in 1989; and received his M.Sc and Ph.D in 32 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Mathematics in 1989 and 1993, respectively, from the University of Regina, Saskatchewan, Canada His research interests include graph theory and algorithms He has published in the following topics: construct cages, total graph coloring, simulated annealing, and genetic algorithms 33 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ... CHAT LUONG download : add luanvanchat@agmail.com Mã hóa hệ đa cấp kế thừa bội thay cho phép tính lưới Tóm tắt: Sự cập nhật hóa ngày lớn hệ đa cấp kế thừa bội trở nên thông dụng với số lượng gia tăng... thống đại diện cho tri thức cho phép khái niệm tổ chức thành hệ đa cấp phân lớp, với việc thừa kế thành phần khóa thuật tóan lập luận Những hệ thống cho phép hệ đa cấp kế thừa tổ chức đối tượng ,... bit thiếu cấu trúc hệ đa cấp Cuối cùng, thay đổi vị trí bit nút kế thừa bội dẫn đến mã dài phần tử gần phía hệ đa cấp mà chúng kế thừa lớp chúng 3.4 Mã hóa tĩnh Phương pháp mã hóa thứ ba đưa Ganguly,