kiểm tra dạng chuẩn của lược đồ quan hệ pps

... R5=AE Kiểm tra phép tách có mát thông tin hay không ? Bài Cho lược đồ quan hệ 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 ... 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 đồ quan hệ 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? 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 đồ quan hệ 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,...

Ngày tải lên: 05/07/2014, 03:20

... toán kiểm tra dạng chuẩn lược đồ quan hệ Dạng chuẩn lược đồ sở liệu dạng chuẩn thấp dạng chuẩn lược đồ quan hệ Input: Lược đồ quan hệ Q, tập phụ thuộc hàm F Output: Khẳng định Q đạt chuẩn gì? ... đối tượng Quan hệ Sự thể lược đồ quan hệ thời điểm gọi quan hệ, rõ ràng lược đồ quan hệ xác định nhiều quan hệ Quan hệ tập tích Đề Các nhiều miền Vậy, quan hệ vô hạn, giả thiết quan hệ tập hữu ... = {A→BC, B →D, AD → E} * Nhận xét: - Lược đồ quan hệ dùng để mô tả cấu trúc quan hệ, thời điểm lược đồ quan hệ quan hệ cụ thể - Có thể ký hiệu lược đồ quan hệ xác định tập thuộc tính U = {A1,...

Ngày tải lên: 10/04/2015, 13:21

... đề 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 QUAN HỆ VÀ SƠ ĐỒ QUAN HỆ Việc chuẩn hoá quan hệ sơ đồ quan hệ đóng ... xác định dạng chuẩn cho quan hệ sơ đồ quan hệ cho trước Thuật toán (kiểm tra quan hệ có 3NF hay không ) Input: r = { h1, h2, , hm} quan hệ R = {a1, a2, , an} Output: Kết luận r có dạng chuẩn 3NF ... phận tên ngoại ngữ trình độ ngoại ngữ Do quan hệ ngoại ngữ chưa dạng chuẩn Định nghĩa (Dạng chuẩn - 2NF) Quan hệ r gọi dạng chuẩn nếu: - Quan hệ r dạng chuẩn - Với khoá tối tiểu K không tồn phụ...

Ngày tải lên: 26/04/2013, 10:08

... 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 ... 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 ... 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,...

Ngày tải lên: 29/09/2013, 04:20

... toán kiểm tra lược đồ dạng chuẩn 3NF, lược đồ dạng 3NF dừng thuật toán kết luận dạng chuẩn cao lược đồ 3NF, ngược lại chuyển qua bước Bước 4: Sử dụng thuật toán kiểm tra lược đồ dạng chuẩn 2NF, lược ... Dạng chuẩn BCNF (Boyce Codd normal form) Thuật toán tìm dạng chuẩn cao lược đồ Mối quan hệ dạng chuẩn 41/45 16.2 Thuật toán tìm dạng chuẩn cao lược đồ Cho lược đồ quan hệ α =( U, F), tìm dạng chuẩn ... nghĩa: Cho lược đồ quan hệ α=(U, F), lược đồ α gọi dạng chuẩn 2( ký hiệu NF) lược đồ dạng chuẩn NF thuộc tình không khóa α phụ thuộc đầy đủ vào khóa Thuật toán kiểm tra lược đồ có dạng chuẩn 2NF...

Ngày tải lên: 14/10/2013, 18:11

... 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 đồ quan hệ About these ads (http://en.wordpress.com/aboutthese-ads/) Để lại phản hồi Posted by tltiendat...

Ngày tải lên: 29/03/2014, 18:54

... Ví d 2: Tµi liÖu tham kh¶o Trang 29 Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ Cho quan h R(U, F): U ={A B C ... Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H-íng dÉn «n tËp CSDL quan hÖ J=1 A B C D E G H R1(ABCD) a1 a2 a3 a4 R2(ABC) a1 a2 a3 R3(CEGH) a5 a6 a7 I=1 a3 B4: Làm ... tËp CSDL quan hÖ Cho quan h R(U, F): U ={A B C D E G H} F = {A → D, B → CE, C → G, E →H} Hãy ki m tra tính m t mát thông tin tách R thành: R1(ABCE), R2(ABDH), R3(CGH) Bài gi i: I=1 R1(ABCE) R2(ABDH)...

Ngày tải lên: 29/09/2013, 04:20

... It is easy to see that K-1 is also a Sperner system over U It 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 ... secsion we show the following result It is a new necessary and sufficient condition for an arbitrary rellation scheme is in BCNF and its set of minimal keys is given Sperner system First we denote ... t;;; B Cie ar ly a E B and A t;;; B - a hold Cor.ccquerit ly, we have (B - a)+ = B This is a contradiction Thus, s is in BCl'iF The proof is complete Clearly, the right-hand side and the left-hand...

Ngày tải lên: 27/02/2014, 06:20

... khóa lược đồ quan hệ - Thu gọn lược đồ quan hệ - Các dạng biểu diễn khóa lược đồ quan hệ 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 đồ quan hệ qua thuật toán thu gọn lược đồ quan hệ theo thuộc tính ... giống hay khác Ở từ kỹ thuật thu gọn lược đồ quan hệ (LĐQH) gọi phép dịch chuyển lược đồ quan hệ 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...

Ngày tải lên: 06/10/2014, 06:22

... 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 đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ ban ... thuật toán xác định lược đồ quan hệ có khóa nhất… [1, 2, 8] Một nhận xét tự nhiên kích thước lược đồ quan hệ 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 ... Quan hệ, thuộc tính, 1.2.2 Đại số quan hệ 10 1.2.3 Phụ thuộc hàm, Hệ tiên đề Armstrong, Lƣợc đồ quan hệ 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...

Ngày tải lên: 10/11/2012, 09:23

... (U,F) gọi lược đồ dạng chuẩ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ạng chuẩn (3NF) p lược đồ 1NF PTH ... 1.7 Chuẩn hóa LĐQH sở PTH 1.7.1 Các dạng chuẩn a Dạng chuẩn (1NF) LĐQH p = (U,F) gọi lược đồ dạng chuẩ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ệ) ... d Dạng chuẩn BCNF (Boyce - Codd) 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...

Ngày tải lên: 23/11/2012, 09:35

... 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 đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ ban ... thuật toán xác định lược đồ quan hệ có khóa nhất… [1, 2, 8] Một nhận xét tự nhiên kích thước lược đồ quan hệ 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 ... Quan hệ, thuộc tính, 1.2.2 Đại số quan hệ 10 1.2.3 Phụ thuộc hàm, Hệ tiên đề Armstrong, Lƣợc đồ quan hệ 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...

Ngày tải lên: 19/03/2013, 15:08

Ngày tải lên: 27/06/2013, 11:44

... dụng hiệu website Trang ý kiến khách hàng: + 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 ... dụng hiệu website Trang ý kiến khách hàng: + 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 ... quốc gia sản xuất… Trang kết tìm kiếm: + Hiển thị danh sách DVD tìm Trang xem danh sách DVD: + Hiển thị danh sách DVD có sở liệu Trang thêm DVD mới: + Giúp admin thêm DVD Trang Cập nhật – Xóa...

Ngày tải lên: 07/10/2013, 00:20

... 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 đồ quan hệ Định nghĩa: Phép tách lược đồ quan hệ α =( U, F) phép thay tập lược đồ αi=(Ui, ... dung: Tách lược đồ quan hệ 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 đồ quan hệ Phép tách ... …, Uk } lược đồ Phép tách δ gọi nối không thông tin quan hệ 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 đồ quan hệ Bổ đề: Cho lược đồ quan hệ α =(...

Ngày tải lên: 14/10/2013, 18:11

Ngày tải lên: 12/03/2014, 05:20

Ngày tải lên: 25/03/2014, 20:22

... 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 ... 2.3 la giiip ta kh!ng dinh duoc hrcc quan h~ co m9t khoa nhat K = \ R ma khong can kie'm tra dhg tlui'c (O \ R)+ = O Djnh ly 2.4 Cho = (0, F) la mqt lu o» ao quan h4 c6 mqt kh6a nhctt Khi a6 chu£n...

Ngày tải lên: 04/04/2014, 04:20

... 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 đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ ban ... thuật toán xác định lược đồ quan hệ có khóa nhất… [1, 2, 8] Một nhận xét tự nhiên kích thước lược đồ quan hệ 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 ... Quan hệ, thuộc tính, 1.2.2 Đại số quan hệ 10 1.2.3 Phụ thuộc hàm, Hệ tiên đề Armstrong, Lƣợc đồ quan hệ 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...

Ngày tải lên: 27/06/2014, 16:20

... LƢỢC ĐỒ QUAN HỆ 1.1 Quan hệ 1.2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồ quan hệ 1.2.1 Phụ thuộc hàm 1.2.2 Hệ tiên đề Armstrong 1.2.3 Lƣợc đồ quan hệ ... lƣợc đồ quan hệ ứng dụng thông qua phép biến đổi lƣợc đồ quan hệ 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 đồ quan hệ Xây dựng hệ trình ... t.X tập thuộc tính X Một quan hệ rỗng, ký hiệu , quan hệ không chứa Chú ý: Mỗi quan hệ tập nên quan hệ hai trùng lặp 1.2 Phụ thuộc hàm, hệ tiên đề Armstrong, lƣợc đồ quan hệ 1.2.1 Phụ thuộc hàm...

Ngày tải lên: 18/11/2014, 22:35