... khóa Vậy ta có tập siêu khóa S = {AB,BC,ABC} Tuy nhiên, AB chứa ABC BC chứa ABC nên loại bỏ siêu khóa ABC khỏi tập siêu khóa Vậy ta có, tập khóa K = {AB,BC} khóa lượt đồquanhệ About these ads (http://en.wordpress.com/aboutthese-ads/) ... siêu khóa S2 = TN U A = AB Ta có AB+ = ABC = Q nên S2 = AB siêu khóa S3 = TN U C = BC Ta có BC+ = ABC = Q nên S3 = BC siêu khóa S4 = TN U AC = ABC Ta có ABC+ = ABC = Q nên S4 = ABC siêu khóa ... = Q Si = TN U Xi Bước : Tìm Khóa( Ki ) cách loại bỏ siêu khóa không tối thiểu Với Si Sj thuộc S Nếu Si chứa Sj loại bỏ Sj khỏi tập siêu khóa Khi đó, tập S lại tập khóa cần tìm Ví dụ : Ta có S...
... phụ thuộc hàm bảo toàn thông tin Bài Cho lượcđồquanhệ R=ABCDE Tập phụ thuộc hàm F={A → C, B → C, C → D, DE → C, CE → A} Phép tách lượcđồ thành lượcđồ con: R1=AD, R2=AB, R3=BE, R4=CDE, R5=AE ... tra phép tách có mát thông tin hay không ? Bài Cho lượcđồquanhệ R=ABCD Tập phụ thuộc hàm F={A→B, B→C, A→D, D→C} Phép tách lượcđồ thành lượcđồ : R1=AB, R2=AC, R3=BD Kiểm tra phép tách có bảo ... có bảo toàn tập phụ thuộc hàm với F ? Bài Cho lượcđồquanhệ R=ABCDEH Tập phụ thuộc hàm F={C →ADEH, A →B, DEH →A} Phép tách lượcđồ thành lượcđồ con: R1=AB, R2 =CDEH, R3=DEHA Kiểm tra phép...
... đối tượng Quanhệ Sự thể lượcđồquanhệ thời điểm gọi quan hệ, rõ ràng lượcđồquanhệ xác định nhiều quanhệQuanhệ tập tích Đề Các nhiều miền Vậy, quanhệ vô hạn, giả thiết quanhệ tập hữu ... ý : - Lượcđồquanhệ sử dụng để mô tả cấu trúc ràng buộc toàn vẹn quanhệ Một quanhệ thay đổi theo thời gian, lượcđồquanhệ dùng để nội dung quanhệ tồn lâu hơn, tính bất biến quanhệ theo ... đến lượcđồquanhệ tập trung vào khía cạnh mô tả cấu trúc quanhệ mà không quan tâm đến ràng buộc ta dùng ký hiệu R(A1, A2, …, An) - Mỗi quanhệ thể lượcđồquan hệ, ký hiệu r(R) quanhệ r lược...
... nhat Tbi dlJ Cho hro'c quan h~ S = ({A, B, G, D}, F = {A Ta co L > B, G > D}) = AG, R = BD, L n R = V~y hro'c quan h~ S co m9t khoa nhat Ia \ R = AG Thf dlJ Cho hro'c quan h~ S = ({A, B, G, ... R = 0, chimg to hroc quan h~ co m9t khoa nhfit Thf d~ Cho hro'c quan h~ = ({A, B, C, D, E, C}, {A Ta co: L = ABCC, + BD, BC + DE, AC + BE}) R = BDE D~ thay la hroc quan h~ thoa cac di"eu ... LUQ'C D!nh ly 2.1 Cho S co mot khoa nhat DOQUAN H¢ CO MQT KHOA DUY NHAT = (0, F) La mqt lu o:c ao quan hf Dieu ki4n can la (0 \ R)+ = O 67 va au at lu o c ao quasi h4...
... thiết kế sở liệu quanhệ dùng hệ thống thông tin, cụ thể là: - Tính bao đóng tập thuộc tính - Tìm khóalượcđồquanhệ - Thu gọn lượcđồquanhệ - Các dạng biểu diễn khóalượcđồquanhệ Phƣơng pháp ... End KeyIntersec 1.5.2 Thuật toán tìm khóa LĐQH Bước 1: Tính giao khóa Bước 2: Lấy M+ Nếu M+ = U Lượcđồ có khóa M M+ U Lượcđồ có khóa Gọi thuật toán Key – Tìm khóa Gọi thuật toán Key – ... thuộc tính 1.5 Khóalượcđồquanhệ 11 1.5.1 Cách tính giao khóa .14 1.5.2 Thuật toán tìm khóa LĐQH 15 1.5.3 Các ví dụ 16 Chƣơng II: THU GỌN LƢỢC ĐỒQUANHỆ Số hóa Trung...
... khóalượcđồquanhệ SC CZ K={SC, CZ} Thuật toán tìm khóalượcđồquanhệ SUNDAY, 31 MAY 2009, 17:05:46 COSODULIEU Mục tiêu : cho lượcđồ U có thuộc tính {A1,A2, An} tập Phụ thuộc hàm F tìm khóa ... siêu khóa SC - SZ+=CZ với Q nên Siêu khóa CZ - SCZ+= với Q nên Siêu khóa CSZ Bước 5: - Vậy tập siêu khóa S={SC, CZ, CSZ} Vì SC chứa CSZ CZ chứa CSZ nên loại bỏ siêu khóa CSZ khỏi tập siêu khóa ... lại bước n lần Bước n: kết K=Kn Ví dụ : cho U={A,B,C,D,E} F={AB->C, AC->B, BC->DE} tìm khóalượcđồquanhệ r xác định U F ? Bước 1: + K=U tức K=ABCDE Bước 2: + Tính Bao đóng (K\A)+ nghĩa tính...
... thành viên để tìm khóalượcđồquanhệ Định nghĩa 3.3 Cho lượcđồquanhệ a = (U ,F ), U tập thuộc tính, F tập PTBD Khóalượcđồquanhệ tập đủ nhỏ thuộc tính xác định không quan hệ, ký hiệu K K⊆U ... t4&t5 0 0 1.3 Lượcđồquanhệ Định nghĩa Lượcđồquanhệ (LĐQH) cặp a = (U, F), U tập hữu hạn thuộc tính, F tập phụ thuộc hàm miền trị (dữ liệu) thuộc tính U Thí dụ Cho lượcđồquanhệ a = (T, F), ... (∀ f ∈ F): R(f) Nếu quanhệ R thỏa PTH f ta nói PTH f quanhệ R Thí dụ Cho lượcđồquan hệ: Q(A, B, C, D, E) tập PTH F={ B → D, DE → A, AB → C} Bảng 1.3 Minh họa lượcđồquanhệ Nhận xét R(ABCDE)...
... thuộc tính 1.5 Khóalượcđồquanhệ 11 1.5.1 Cách tính giao khóa .14 1.5.2 Thuật toán tìm khóa LĐQH 15 1.5.3 Các ví dụ 16 Chƣơng II: THU GỌN LƢỢC ĐỒQUANHỆ Số hóa Trung ... VIẾT TẮT CSDL Cơ sở liệu LĐQH Lượcđồquanhệ PTH Phụ thuộc hàm FD Phụ thuộc hàm Thuộc Là Chứa ╞ Suy dẫn logic ├ Suy dẫn theo quanhệ SAT(F) Là tập toàn thể quanhệ U thỏa tập PTH F X+ Bao ... 2.4 Bổ đề siêu khóa phép thu gọn LĐQH 25 2.5 Hệ siêu khóa phép thu gọn LĐQH 26 2.6 Bổ đề khóa phép thu gọn LĐQH 27 Chƣơng III: CÁC DẠNG BIỂU DIỄN KHOÁ TRONG 29 LƢỢC ĐỒQUANHỆ 3.1 Dạng biểu...
... giao khóa, thuật toán xác định lượcđồquanhệ có khóa nhất… [1, 2, 8] Một nhận xét tự nhiên kích thước lượcđồquanhệ nhỏ thuật toán phát huy hiệu Một số hướng nghiên cứu tinh giản lượcđồ sở ... Quan hệ, thuộc tính, 1.2.2 Đại số quanhệ 10 1.2.3 Phụ thuộc hàm, Hệ tiên đề Armstrong, Lƣợc đồquanhệ 13 1.2.4 Bao đóng tập thuộc tính 18 1.2.5 Phủ tập phụ thuộc hàm 21 1.2.6 Khóa lƣợc đồquan ... chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi lượcđồquanhệ ban đầu số thuộc tính không quan trọng theo nghĩa chúng không làm ảnh hưởng đến kết tính toán đối tượng quan tâm bao đóng, khóa, ...
... LĐQH p = (U,F) gọi lượcđồ dạng chuẩn BCNF p lượcđồ 1NF thuộc tính phụ thuộc trực tiếp vào khoá * A U, K Key (p): K A LĐQH p = (U,F) gọi lượcđồ dạng chuẩn BCNF p lượcđồ 1NF PTH không ... ABCDEH F= {AE D, BC E, E BC } Để tìm tập khoáKey (p) lượcđồ p xây dựng lượcđồ q cách xoá khỏi lượcđồ p thuộc tính A,D,H Ta thu lượcđồ q = (V,G) đó: V = U \ ADH = ABCDEH \ ADH = BCE, ... việc cài đặt CSDL quanhệ đưa lại hiệu cao làm cho CSDL quanhệ chiếm ưu thị trường Mô hình liệu quanhệ đặt trọng điểm hàng đầu khai thác tiềm máy mà mô tả trực quan liệu theo quan điểm người...
... giao khóa, thuật toán xác định lượcđồquanhệ có khóa nhất… [1, 2, 8] Một nhận xét tự nhiên kích thước lượcđồquanhệ nhỏ thuật toán phát huy hiệu Một số hướng nghiên cứu tinh giản lượcđồ sở ... Quan hệ, thuộc tính, 1.2.2 Đại số quanhệ 10 1.2.3 Phụ thuộc hàm, Hệ tiên đề Armstrong, Lƣợc đồquanhệ 13 1.2.4 Bao đóng tập thuộc tính 18 1.2.5 Phủ tập phụ thuộc hàm 21 1.2.6 Khóa lƣợc đồquan ... chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi lượcđồquanhệ ban đầu số thuộc tính không quan trọng theo nghĩa chúng không làm ảnh hưởng đến kết tính toán đối tượng quan tâm bao đóng, khóa, ...
... } quanhệ R = { a1, a2 , , am } Ta đặt f + A r ={a : A r {a}} A+r gọi bao đóng A r 1.7 Khóaquan hệ, sơ đồquan hệ, họ f Định nghĩa 11 Giả sử r = { h1, h2, , hm} quan hệ, s = < R, F > sơ đồquan ... đề liên quan đến dạng chuẩn hệ sở liệu K nhỏ thuật toán hiệu Nó đòi hỏi thời gian đa thức theo |R| CHƯƠNG II DẠNG CHUẨN ĐỐI VỚI QUANHỆ VÀ SƠ ĐỒQUANHỆ Việc chuẩn hoá quanhệ sơ đồquanhệ đóng ... vậy, đưa ví dụ chứng tỏ quanhệ 2NF không 3NF có quanhệ 3NF không BCNF Nói cách khác, lớp quanhệ BCNF lớp thực lớp quanhệ 3NF lớp quanhệ 3NF lại lớp thực lớp quanhệ 2NF Đối với s = < R,...
... tính không khóa, ph thu c b ph n vào khóa tách R thành: R1 (Khóa t o s ph thu c b ph n + thu c tính không khóa ph thu c b ph n vào khóa) Khóa c a R1 "Khóa t o s ph thu c b ph n" R2 (Khóa c a R ... thành: R21(C H) Khóa C ; F21={C → H} Khóa AB ; F22={AB → CD} R22(A B C D) R21 R22 3NF V y t quan h R, ta tách thành quan h : R11(E G) Khóa E ; F11={E → G} R12(B E) Khóa B ; F12={B → E} Khóa C ; F21={C ... th y khóa c a quan h {ABG} Khi chu n hóa R v 3NF, ta tách R thành : F1 = {AB → C} R1(ABC) Khóa AB, F2 = {B → DE} R2(BDE) Khóa B, R3(GH) Khóa G, F3 = {G → H} Quan h R3 không th k t n i t i quan...
... VI Sitemap nội dung website: VI SiteMap Khách tham quan (Index.asp) Khách tham quan (index.asp) Thành công? Đăng nhập thất bại dangnhapthatbai.asp No Yes Hướng ... sanpham.asp Tìm kiếm timkiem.asp Người quản trị nguoiquantri.asp Admin Supervisor Đăng nhập Thành công? No Yes Giao diện dành cho khách tham quan: Trang chủ: + Hiển thị thông tin phim bật nhất, ... Khách hàng gửi nội dung phản hồi đến Người quản trị website Trang liên hệ: + Cung cấp email Người quản trị website địa liên hệ Công ty Trang xem thông tin giỏ hàng: + Hỗ trợ khách hàng xem thông...
... lượcđồ Mối quanhệ dạng chuẩn 41/45 16.2 Thuật toán tìm dạng chuẩn cao lượcđồ Cho lượcđồquanhệ α =( U, F), tìm dạng chuẩn cao lượcđồ α Input: Lượcđồquanhệ α =( U, F) ( ta giả thiết lược ... cao lượcđồ Mối quanhệ dạng chuẩn 3/45 16.1 Một số khái niệm liên quan Chuẩn hóa: Là trình tách lượcđồquanhệ thành tập lượcđồ con, cho trình tách không thông tin lượcđồ tối ưu lượcđồ ban ... chuẩn cao lượcđồ Mối quanhệ dạng chuẩn 26/45 16.2.3 dạng chUẩn (3NF-THiRD normal form) Định nghĩa 1: Cho lượcđồquanhệ α= ( U, F), lượcđồ α gọi dạng chuẩn ( ký hiệu NF), lượcđồ dạng chuản...
... toán tách lượcđồ thành 3NF Tách không thông tin thành lượcđồ dạng BCNF Tổng kết 3/36 17.1 Tách lượcđồquanhệ Định nghĩa: Phép tách lượcđồquanhệ α =( U, F) phép thay tập lượcđồ αi=(Ui, ... dung: Tách lượcđồquanhệ Phép tách bảo toàn phụ thuộc hàm Thuật toán tách lượcđồ thành 3NF Tách không thông tin thành lượcđồ dạng BCNF Tổng kết 2/36 nội dung: Tách lượcđồquanhệ Phép tách ... …, Uk } lượcđồ Phép tách δ gọi nối không thông tin quanhệ R U ta có mδ(R) =R, Ngược lại mδ(R) ≠R phép tách δ phép tách thông tin 5/36 17.1 Tách lượcđồquanhệ Bổ đề: Cho lượcđồquanhệ α =(...
... is known [4] that if K is an arbitrary Sperner system plays the role of the set of minimal keys (antikeys), then this Sperner system is not empty (does't contain U) We also regard the comparison ... (1988) 273-278 ' Demetrovics J., Thi V D., Relations and minimal keys: Acta Cybernetica (3) (1998) 279-285 Demetrovics J., Thi V D., On keys in the relation datamodel, Inform Process Cybern ElK 24 ... Ph D dissertation, MTA-SZTAKI Tanulmanyok, Budapest, 191 (1986) 1-157 ., Thi V D., Minimal keys and antikeys, Acta Cybernetica 1(4) (1986) 361-371 Demetrovics J., Thi V D., Some results about normal...