0

bài 16 chuẩn hóa lược đồ quan hệ

Bài 16. Chuẩn Hóa Lược Đồ Quan Hệ

Bài 16. Chuẩn Hóa Lược Đồ Quan Hệ

Tin học

... đồ Cho lược đồ quan hệ α =( U, F), tìm dạng chuẩn cao lược đồ α Input: Lược đồ quan hệ α =( U, F) ( ta giả thiết lược đồ α chuẩn hóa, tức dạng chuẩn 1) Output: Dạng chuẩn cao lược đồ α Thuật toán: ... 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 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 đồ quan hệ thành tập lược đồ ... U, F), lược đồ α gọi dạng chuẩn Boyce Codd, ký hiệu BCNF, lược đồ dạng chuẩn 1NF X→A∈F+ (A∉X) X phải siêu khóa lược đồ Định ngĩa 2: Cho lược đồ quan hệ α= ( U, F), lược đồ α gọi dạng chuẩn Boyce...
  • 45
  • 2,871
  • 58
Chuẩn hóa lược đồ quan hệ

Chuẩn hóa lược đồ quan hệ

Cơ sở dữ liệu

... 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 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 ... 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...
  • 8
  • 8,976
  • 224
Bài 17. Phép Tách Lược Đồ Quan Hệ

Bài 17. Phép Tách Lược Đồ Quan Hệ

Tin học

... 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ệ α =(...
  • 36
  • 2,950
  • 55
Kiểm tra dạng chuẩn của lược đồ quan hệ pps

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

Cơ sở dữ liệu

... 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, R2=AB, R3=BE, R4=CDE, ... 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 tách có ... 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, R2 =CDEH, R3=DEHA Kiểm tra phép...
  • 13
  • 4,211
  • 81
Tiểu luận môn cơ sở dữ liệu nâng cao CÁC DẠNG CHUẨN CỦA LƯỢC ĐỒ QUAN HỆ

Tiểu luận môn cơ sở dữ liệu nâng cao CÁC DẠNG CHUẨN CỦA LƯỢC ĐỒ QUAN HỆ

Hệ thống thông tin

... đố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 ... 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ì? Bước 1: Tìm tất khóa ... = {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,...
  • 81
  • 2,921
  • 15
bài giảng thiết kế cơ sở dữ k liệu chương 3 phương pháp chuẩn hóa lược đồ csdl - gv. dương khai phong

bài giảng thiết kế cơ sở dữ k liệu chương 3 phương pháp chuẩn hóa lược đồ csdl - gv. dương khai phong

Cơ sở dữ liệu

... http://sites.google.com/site/khaiphong  Chương 3: Phương pháp chuẩn hóa lược đồ CSDL Giới thiệu dạng chuẩn Phân loại dạng chuẩn Phương pháp chuẩn hóa Bài tập chuẩn hóa  Chương 3: Phương pháp chuẩn hóa LĐ CSDL http://sites.google.com/site/khaiphong ... học:  Chương 1: Giới thiệu tổng quan  Chương 2: Mô hình liệu phụ thuộc liệu  Chương 3: Phương pháp chuẩn hóa Lược đồ CSDL  Chương 4: Lý thuyết đồ thị quan hệ  Chương 5: Thiết kế CSDL mức ... Thêm: khóa quan hệ {MsSV, MsMH} {MsSV, TenMH}  thêm sv vào quan hệ sv chưa đăng ký học môn  Chương 3: Phương pháp chuẩn hóa LĐ CSDL http://sites.google.com/site/khaiphong Phân loại dạng chuẩn...
  • 42
  • 372
  • 0
ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Thạc sĩ - Cao học

... 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 ... chuyển lược đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ 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, ... gọn lược đồ quan hệ p thông qua phép dịch chuyển lược đồ quan hệ theo tập thuộc tính X Khảo sát phụ thuộc phép dịch chuyển thông qua tính chất tập thuộc tính X Khảo sát hai dạng biểu diễn khóa lược...
  • 65
  • 1,106
  • 2
Thu gọn lược đồ quan hệ và ứng dụng

Thu gọn lược đồ quan hệ và ứng dụng

Công nghệ thông tin

... thuộc hàm 1.3 Lược đồ quan hệ 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 đồ quan hệ 14 1.7 Chuẩn hoá LĐQH sở 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ệ) ... (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...
  • 66
  • 1,119
  • 3
Luận văn: Ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Luận văn: Ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu

Khoa học tự nhiên

... 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 ... chuyển lược đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ 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, ... gọn lược đồ quan hệ p thông qua phép dịch chuyển lược đồ quan hệ theo tập thuộc tính X Khảo sát phụ thuộc phép dịch chuyển thông qua tính chất tập thuộc tính X Khảo sát hai dạng biểu diễn khóa lược...
  • 65
  • 758
  • 0
Bài 16 - Hình 39 - Lược đồ khởi nghĩa nông dân cuối thế kỷ XII

Bài 16 - Hình 39 - Lược đồ khởi nghĩa nông dân cuối thế kỷ XII

Lịch sử

... Bài 16 Hình 39 - SGK: Lược đồ khởi nghĩa nông dân nửa cuối kỷ XIV Nguyễn Nhữ Cái Phạm Sư Ôn Ngô Bệ Nguyễn Thanh...
  • 2
  • 990
  • 0
Kiểm tra tính mất mát thông tin của phép tách lược đồ quan hệ

Kiểm tra tính mất mát thông tin của phép tách lược đồ quan hệ

Cơ sở dữ liệu

... dÉn «n 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) ... 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...
  • 3
  • 15,704
  • 120
Lược đồ quan hệ

Lược đồ quan hệ

Công nghệ thông tin

... liệu Trang xem danh sách hóa đơn: + Hiển thị danh sách hóa đơn có sở liệu Trang Cập nhật – Xóa hóa đơn: + Giúp admin tìm kiếm hóa đơn dễ dàng, chỉnh sửa thông tin xóa hóa đơn có sở liệu Trang ... 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...
  • 23
  • 933
  • 0
Tìm tất cả các khóa của lược đồ quan hệ

Tìm tất cả các khóa của lược đồ quan hệ

Kỹ thuật lập trình

... 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 đồ quan hệ 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 Vậy ... Tìm Siêu khóa(Si ) cách với X i , (TN U Xi )+ = 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 đó,...
  • 4
  • 19,147
  • 123
Lược đồ quan hệ có một khóa duy nhất. pptx

Lược đồ quan hệ có một khóa duy nhất. pptx

Hóa học - Dầu khí

... 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 DO QUAN 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...
  • 3
  • 739
  • 3
Luận văn:ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu docx

Luận văn:ứng dụng phép dịch chuyển lược đồ quan hệ trong cơ sở dữ liệu docx

Công nghệ thông tin

... 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 ... chuyển lược đồ quan hệ Bản chất kỹ thuật loại bỏ khỏi lược đồ quan hệ 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, ... gọn lược đồ quan hệ p thông qua phép dịch chuyển lược đồ quan hệ theo tập thuộc tính X Khảo sát phụ thuộc phép dịch chuyển thông qua tính chất tập thuộc tính X Khảo sát hai dạng biểu diễn khóa lược...
  • 65
  • 387
  • 0
các dạng biểu diễn khóa trong lược đồ quan hệ

các dạng biểu diễn khóa trong lược đồ quan hệ

Thạc sĩ - Cao học

... thiết kế sở liệu quan hệ dùng hệ thống thông tin, cụ thể là: - Tính bao đóng tập thuộc tính - Tìm 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 ... 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 khóa hay giao khóa tập vế trái cực tiểu Như theo nhận xét tự nhiên dịch chuyển lược đồ quan hệ kích thước ... tính 1.5 Khóa lược đồ quan hệ 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 ĐỒ QUAN HỆ Số hóa Trung tâm...
  • 71
  • 896
  • 1
Các thuật toán biến đổi thuật toán lược đồ quan hệ và ứng dụng

Các thuật toán biến đổi thuật toán lược đồ quan hệ và ứng dụng

Công nghệ thông tin

... 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ệ ... 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 ... liệu quan hệ dùng hệ thống thông tin là: + Tính bao đóng tập thuộc tính, + Tìm sở lƣợc đồ quan hệ + 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ệ...
  • 47
  • 385
  • 0
CÁC THUẬT TOÁN BIẾN ĐỔI LƯỢC ĐỒ QUAN HỆ VÀ ỨNG DỤNG

CÁC THUẬT TOÁN BIẾN ĐỔI LƯỢC ĐỒ QUAN HỆ VÀ ỨNG DỤNG

Cơ sở dữ liệu

... 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 ... giản lược lược đồ quan hệ 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ó ... = K then return ⊕ Else return M; Endif End Base 10/29 PHÉP GIẢN LƯỢC CỦA LƯỢC ĐỒ QUAN HỆ CHƯƠNG PHÉP GIẢN LƯỢC CỦA LƯỢC ĐỒ QUAN HỆ 2.1 Phép biến đổi LĐQH [2] Cho hai LĐQH p = (U,F), q = (V,G)...
  • 31
  • 402
  • 0

Xem thêm