... 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/) Để lại phản hồi Posted by tltiendat...
... Kiểm tra bảo toàn tập 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, ... 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 toàn thông tin hay không? ... không? Kiểm tra phép tách 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...
... t.X tập thuộc tính X Một quanhệ rỗng, ký hiệu ⊕, quanhệ không chứa Chú ý: Mỗi quanhệ tập nên quanhệ hai trùng lặp 1.2 Phụ thuộc hàm, hệ tiên đề Armstrong, lượcđồquanhệ 1.2.1 Phụ thuộc hàm ... = K then return ⊕ Else return M; Endif End Base 10/29 PHÉP GIẢN LƯỢCCỦALƯỢCĐỒQUANHỆ CHƯƠNG PHÉP GIẢN LƯỢCCỦALƯỢCĐỒQUANHỆ 2.1 Phép biến đổi LĐQH [2] Cho hai LĐQH p = (U,F), q = (V,G) ... giản lượclượcđồquanhệ thuật toán tìm bao đóng theo tiếp cận giản lược, thuật toán tìm sở theo tiếp cận giản lược 3.2 Các chức chương trình: " Tên chương trình "Thu gọn lượcđồquan hệ" có...
... đố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ànvẹnquanhệ 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...
... LƢỢC ĐỒQUANHỆ 1.1 Quanhệ 1.2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồquanhệ 1.2.1 Phụ thuộc hàm 1.2.2 Hệ tiên đề Armstrong 1.2.3 Lƣợc đồquanhệ ... t.X tập thuộc tính X Một quanhệ rỗng, ký hiệu , quanhệ không chứa Chú ý: Mỗi quanhệ tập nên quanhệ hai trùng lặp 1.2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồquanhệ 1.2.1 Phụ thuộc hàm ... liệu quanhệ dùng hệ thống thông tin là: + Tính bao đóng tập thuộc tính, + Tìm sở lƣợc đồquanhệ + Biểu diễn sở dạng thứ hai + Giản lƣợc LĐQH Tên đề tài: "Các thuật toán biến đổi lượcđồquan hệ...
... viên để tìm khóa lượ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óa lượ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)...
... 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 ... 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ở liệu thực thông ... dịch 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...
... 1.2 Phụ thuộc hàm 1.3 Lượcđồquanhệ 1.4 Bao đóng tập thuộc tính 1.5 Phủ tập phụ thuộc hàm 1.6 Khoá lượcđồquanhệ 14 1.7 Chuẩn hoá LĐQH sở ... hiểu kỹ thuật thu gọn lượcđồquan hệ, định lý phép thu gọn dạng biểu diễn khoá thông qua phép thu gọn Chương 3: Cài đặt chương trình Ứng dụng kỹ thuật thu gọn lượcđồquanhệ thiết kế sở liệu ... 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...
... 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 ... 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ở liệu thực thông ... dịch 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...
... đề 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, ... trước tồn quanhệ r quanhệ Armstrong s Mệnh đề S sơ đồquanhệ Khi Ks-1 = Ts Định lý Hoàng Văn Thủy 45 Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu Cho s = < R, F > sơ đồquanhệ Đặt F n...
... n v n đ đó, ta ch vi c thêm m t quan h m i mà quan h ch ch a thu c tính khóa c a R Quan h m i t p ph thu c hàm đóng vai trò làm c u n i quan h b tách r i v i quan h l i Ví d : Cho R(U, F) : U ... n ý : [1] S quan h thu đư c sau chu n hóa không ph i nh t [2] Sau tách c n ki m tra đ ch c ch n m i quan h đ u có th k t n i t nhiên v i N u có m t quan h không k t n i đư c v i quan h l i vi ... Tìm m t khoá t i thi u c a quan h R b Ki m tra tính m t mát thông tin tách R thành quan h : R1(AC); R2(BDE); R3(ABGH) c Chu n hoá quan h R v d ng chu n 3NF Bài 9: Cho quan h R(U, F): U = {A, B,...
... 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 ... cao lượcđồ Mối quanhệ dạng chuẩn 34/45 16.2.4 dạng chUẩn BCNF (Boyce Codd normal form) Định nghĩa 1: Cho lượcđồquanhệ α= ( U, F), lượcđồ α gọi dạng chuẩn Boyce Codd, ký hiệu BCNF, lược đồ...
... 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 bảo toà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, ... …, 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ệ α =(...
... 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...
... 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 ... 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ở liệu thực thông ... dịch 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...