... results about normal forms for functional dependency in the relational datamodel, Discrete Applied Mathematics 69 (1996) 61-74 Received June 1, 1998 Vu duc Thi - Institute of Information Technology ... right-hand side of (*) Based on Proposition we can see that {U} U K-1 ~ » 0" THE ROYCE- CODO NORMALFORM fOR RELATION SCHEME 17 Z~~)- According to definition of BCNF, if s is in BC!-~!? then for ... Database Relationships, Information Processing 74, Holland Publ Co., 580-583, 1974 Beeri C., Bernstein P A., Computational problems related to the design of norrn al form relational schemes, ACM...
... 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...
... khóa Q đạt chuẩn BC ngược lại Q không đạt chuẩn BC Thuật toán kiểm tra dạngchuẩnlượcđồquanhệDạngchuẩnlượcđồ sở liệu dạngchuẩn thấp dạngchuẩnlượcđồquanhệ Input: Lượcđồquanhệ Q, tậ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 ... đế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...
... 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...
... khóa lượcđồquanhệ - Thu gọn lượcđồquanhệ - Các dạng biểu diễn khóa lượcđồquanhệ Phƣơng pháp nghiên cứu Tiếp cận chủ yếu để giải vấn đề đặt phạm vi đề tài tiên đề hóa Cơ sở toán học hệ ... đặc trưng tương quan đối tượng nói Mục tiêu nhiệm vụ luận văn Đề tài tập trung vào tìm hiểu nghiên cứu cách biểu diễn khóa lượcđồquanhệ qua thuật toán thu gọn lượcđồquanhệ theo thuộc tính ... giống hay khác Ở từ kỹ thuật thu gọn lượcđồquanhệ (LĐQH) gọi phép dịch chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi LĐQH ban đầu số thuộc tính không quan trọng theo nghĩa chúng không...
... 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 ... tính 1.5 Khóa lượ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 tâm ... BẢN VỀ CƠ SỞ DỮ LIỆU 1.1 Khái quát sở liệu quanhệ 1.2 Lượcđồquanhệ 1.3 Phụ thuộc hàm .7 1.3.1 Định nghĩa phụ thuộc hàm 1.3.2 Hệ tiên đề Armstrong 1.3.3 Bao đóng...
... 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,...
... liên quan Các dạngchuẩnDạngchuẩn (1NF- Fist normal form) Dạngchuẩn (2NF- Second normal form) Dạngchuẩn (3NF- Third normal form) Dạngchuẩn BCNF (Boyce Codd normal form) Thuật toán tìm dạngchuẩn ... liên quan Các dạngchuẩnDạngchuẩn (1NF- Fist normal form) Dạngchuẩn (2NF- Second normal form) Dạngchuẩn (3NF- Third normal form) Dạngchuẩn BCNF (Boyce Codd normal form) Thuật toán tìm dạngchuẩn ... normal form) Dạngchuẩn BCNF (Boyce Codd normal form) Thuật toán tìm dạngchuẩn cao lượcđồ Mối quanhệdạngchuẩn 13/45 16.2.1 dạngchUẩn (1NF-fist normal form) Định nghĩa: Một lượcđồquanhệ α=(U,...
... MỤC CÁC KÝ HIỆU, VIẾT TẮT 1NF 1st normalform - dạngchuẩn 2NF 2nd normalform - dạngchuẩn 3NF 3rd normalform - dạngchuẩn CSDL Cơ sở liệu LĐQH Lƣợc đồquanhệ PTH phụ thuộc hàm FD phụ thuộc ... hàm dạng thu gọn thu gọn tự nhiên, dạng không dư, dạng tối ưu (chứa ký hiệu nhất)… công bố [3, 5, 6, 7] Trong phép dịch chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi lượcđồquanhệ ban ... 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...
... LĐQH Lượcđồquanhệ LĐCB Lượcđồ cân PTH Phụ thuộc hàm LS(F) Tập vế trái phụ thuộc hàm RS(F) Tập vế phải phụ thuộc hàm 1NF 1st normalform - Dạngchuẩn 2NF 2nd normalform - Dạngchuẩn 3NF 3rd normal ... (U,F) gọi lượcđồdạngchuẩn (3NF) p lượcđồ 1NF thuộc tính không khoá phụ thuộc trực tiếp vào khoá * A U0, K Key (p): K A LĐQH p = (U,F) gọi lượcđồdạngchuẩn (3NF) p lượcđồ 1NF PTH ... 1.7 Chuẩn hóa LĐQH sở PTH 1.7.1 Các dạngchuẩn a Dạngchuẩn (1NF) LĐQH p = (U,F) gọi lượcđồdạngchuẩn (1NF) thuộc tính U thuộc tính phức hợp (điều có nghĩa thuộc tính chia nhỏ phép toán quan hệ) ...
... MỤC CÁC KÝ HIỆU, VIẾT TẮT 1NF 1st normalform - dạngchuẩn 2NF 2nd normalform - dạngchuẩn 3NF 3rd normalform - dạngchuẩn CSDL Cơ sở liệu LĐQH Lƣợc đồquanhệ PTH phụ thuộc hàm FD phụ thuộc ... hàm dạng thu gọn thu gọn tự nhiên, dạng không dư, dạng tối ưu (chứa ký hiệu nhất)… công bố [3, 5, 6, 7] Trong phép dịch chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi lượcđồquanhệ ban ... 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...
... đề liên quan đến dạngchuẩnhệ 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ẠNGCHUẨN ĐỐI VỚI QUANHỆ VÀ SƠ ĐỒQUANHỆ Việc chuẩn hoá quanhệ sơ đồquanhệ đóng ... phận tên ngoại ngữ trình độ ngoại ngữ Doquanhệ ngoại ngữ chưa dạngchuẩn Định nghĩa (Dạng chuẩn - 2NF) Quanhệ r gọi dạngchuẩn nếu: - Quanhệ r dạngchuẩn - Với khoá tối tiểu K không tồn phụ ... xác định dạngchuẩn cho quanhệ sơ đồquanhệ cho trước Thuật toán (kiểm tra quanhệ có 3NF hay không ) Input: r = { h1, h2, , hm} quanhệ R = {a1, a2, , an} Output: Kết luận r có dạngchuẩn 3NF...
... 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...
... 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ệ α =(...
... 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...
... MỤC CÁC KÝ HIỆU, VIẾT TẮT 1NF 1st normalform - dạngchuẩn 2NF 2nd normalform - dạngchuẩn 3NF 3rd normalform - dạngchuẩn CSDL Cơ sở liệu LĐQH Lƣợc đồquanhệ PTH phụ thuộc hàm FD phụ thuộc ... hàm dạng thu gọn thu gọn tự nhiên, dạng không dư, dạng tối ưu (chứa ký hiệu nhất)… công bố [3, 5, 6, 7] Trong phép dịch chuyển lượcđồquanhệ Bản chất kỹ thuật loại bỏ khỏi lượcđồquanhệ ban ... 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...
... 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ệ ... lƣợc đồquanhệ ứng dụng thông qua phép biến đổi lƣợc đồquanhệ theo tập thuộc tính X Tiếp tục phát triển dạng biểu diễn sở thứ khảo sát biểu diễn sở dạng thứ lƣợc đồquanhệ Xây dựng hệ trình ... 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...