Luận văn một số tính chất mở rộng của khóa trong mô hình dữ liệu dạng khối

Bộ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI NGUYỄN VĂN HÂN MỘT SÓ TÍNH CHẤT MỞ RỘNG CỦA KHÓA TRONG MÔ HÌNH DỮ LIÊU DANG KHỐI • • LUẬN VĂN THẠC SĨ MÁY TÍNH Bộ GIÁO DỤC VÀ ĐÀO TẠO • • • TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI • HÀ NỘI, 2014 • • Người hướng dẫn khoa học: PGS.TS Trịnh Đình Thắng HÀ NỘI, 2014 LỜI CẢM ƠN • • Luận văn tốt nghiệp cao học hoàn thành Đại học Sư phạm Hà Nội 2. Có luận văn tốt nghiệp này, tác giả xin bày tỏ lòng biết ơn sâu sắc tới trường Đại học Sư phạm Hà Nội 2, Phòng Sau đại học, đặc biệt PGS.TS Trịnh Đình Thắng trực tiếp hướng dẫn, dìu dắt, giúp đỡ tác giả với dẫn khoa học quý giá suốt trình triển khai, nghiên cứu hoàn thành đề tài “Những tính chất mở rộng khóa mô hình liệu dạng khối”. • Xin chân thành cám ơn Thầy Cô giáo - Các nhà khoa học trực tiếp giảng dạy truyền đạt kiến thức chuyên ngành khoa học máy tính cho thân tác giả năm qua. • Tác giả mong nhận đóng góp, phê bình quý thầy Cô, nhà khoa học, đọc giả bạn đồng nghiệp. • Xin chân trọng cảm ơn! • Hà Nội, ngày 10 tháng 12 năm 2014 Học viên • • • • LỜI CAM ĐOAN Nguyễn Văn Hân Tôi xin cam đoan kết nghiên cứu hướng dẫn khoa học PGS. TS Trịnh Đình Thắng, số liệu, kết nêu luận văn trung thực chưa công bố công trình khác. • • Học viên Nguyễn Văn Hân MUC LUC • • • . • • • •y DANH MỤC CÁC KÝ HIỆU, CHỮ CÁI VIẾT TẮT Trong luận án dùng thống kí hiệu chữ viết tắt sau: Kí hiệu ý nghĩa • CSDL Cơ sở liệu. • LĐQH Lược đồ quan hệ. • PTH • A, B, c Thuộc tính. • X, Y, z Tập thuộc tính. • XY XuY (hợp tập thuộc tính X YỚi Y). • ABC [A, B, C] (tập thuộc tính gồm phần tử A, B, C). • Dom(A) Miền giá trị thuộc tính A. • r r(R) • Phụ thuộc hàm. Khối r lược đồ khối R. x(i)= (x, Ai) Các thuộc tính số lược đồ khối (xeid, i= n id(i) = {x(i) xeid }Tập thuộc tính số lược đồ khối. • |r| Số phần tử khối r. • Ị• C • Là con. Chứa. • • e • Thuộc. • • Tồn tại. • È • Không tồn • Ể • Không • V • Với mọi. • • Rỗng. • n • Phép giao. • u • Phép hợp. tại. thuộc. • • • i Không thuộc tập • DANH MUC CÁC HÌNH VẼ • • • I. MỞ ĐẦU 1. Lý chọn đề tài • Những năm gần đây, việc nghiên cứu tìm mô hình đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc tuyến tính phi tuyến tính nhà nghiên cứu nước quan tâm. Một mô hình mô hình liệu dạng khối. Mô hình liệu xem mở rộng mô hình liệu quan hệ. • Trong quản lý sở liệu(CSDL), khóa yếu tố liên kết (CSDL) với nhau. Nhờ có khóa mà hệ quản trị ( CSDL) quản lý tốt chất lượng liệu • Để góp phần hoàn chỉnh thêm mô hình liệu dạng khối việc sử dụng khóa mô hình liệu mạnh dạn chọn đề tài “Một số tính chất mở rộng khóa mô hình liệu khối” cho luận văn mình. 2. Mục đích nghiên cứu - Tìm hiểu khái quát mô hình sở liệu dạng khối sau sâu nghiên cứu tính chất mở rộng khóa mô hình khối. - Chứng minh số tính chất mở rộng khóa, đặc trưng thuộc tính mở rộng khóa mô hình liệu dạng khối. 3. Nhiệm vụ nghiên cứu - Nghiên cứu lý thuyết mô hình sở liệu dạng khối . Cụ thể tính chất mở rộng khóa mô hình khối, Đặc trưng thuộc tính mở rộng khóa mô hình liệu dạng khối. 4. Đối tượng phạm vỉ nghiên cứu • - *ĐỐỈ tượng nghiên cứu Một số tính chất mở rộng khóa sở liệu cụ thể đặc trưng thuộc tính mở rộng khóa mô hình liệu dạng khối • *Phạm vi nghiên cứu - Một số tính chất mở rộng khóa mô hình liệu dạng khối. 5. Phương pháp nghiền cứu - Phương pháp tổng hợp phân tích vấn đề có liên quan đến đề tài. - Phương pháp lý luận - Phương pháp chứng minh 6. Dự kiến đóng góp đề tài - Nêu lên tính chất mở rộng khóa mô hình liệu dạng khối. 7. Cấu trúc luận văn. - Tương ứng với nhiệm vụ nghiên cứu đặt ra, phần mở đầu phần kết luận, nội dung luận văn triển khai chương. • Chương 1: Các mô hình liệu quan hệ số tính chất khóa • Chương 2: Mô hình liệu dạng khối • Chương 3: Một số tính chất mở rộng khóa mô hình liệu dạng khối. • Sau Phụ lục Tài liệu tham khảo CHƯƠNGI MÔ HÌNH CÁC DỮ LIỆU QUAN HỆ VÀ • MỘT SỐ TÍNH CHẤT VỀ KHÓA 1.1. • Giới thiệu mô hình liệu quan hệ Mô hình liệu quan hệ (Ralational Data Model) gọi tắt mô hình quan hệ, EF.Codd đề xuất năm 1970. Nền tảng lý thuyết khái niệm lý thuyết tập hợp quan hệ, tức tập giá trị. • Mô hình liệu quan hệ mô hình nghiên cứu nhiều nhất, thực tiễn cho thấy có sở lý thuyết vững nhất. Mô hình liệu Yới mô hình thực thể kết hợp sử dụng rộng rãi việc phân tích thiết kế CSDL nay. Các vấn đề sở liệu trình bày [4], [5], [7]. [8]. [9]. • 1.2. • Sau khái niệm mô hình liệu quan hệ. Thuộc tính miền thuộc tính [4], [5] Định nghĩa 1.1 • Thuộc tính đặc điểm riêng đối tượng. Mỗi thuộc tính có tên gọi phải thuộc kiểu liệu định. • Kiểu liêu • Các thuộc tính phân biệt qua tên gọi phải thuộc kiểu liệu định (số, chuỗi, ngày tháng, logic, hình ảnh, .). Kiểu liệu kiểu vô hướng kiểu có cấu trúc. Nếu thuộc tính có kiểu liệu vô hướng gọi thuộc tính đơn hay thuộc tính nguyên tố, thuộc tính có kiểu liệu có cấu trúc ta nói thuộc tính nguyên tố Miền giá trị • Thông thường thuộc tính chọn lấy giá trị tập kiểu liệu tập hợp gọi miền giá trị thuộc tính. Ký hiệu DOM (tên thuộc tính). • Ví dụ , tập ký tự số có chiều dài xác 7, miền thuộc tính số điện thoại. Tích Đe miền Dom(Ai), Dom(A 2) Dom(An ), kí hiệu Dom(Ai) = DA biểu diễn sau: • • D(Ai) X D(A2) X .X D(An) Chẳng hạn thuộc tính NỮ có miền giá trị {nam,nữ}, thuộc tính màu da có miền giá trị {da trắng, da vàng, da đen, da đỏ}, thuộc tính điểm thi số thuộc tập [0; ; 2; .,10]. • Lưu ý không lưu ý đến ngữ nghĩa tên thuộc tính thường ký hiệu chữ in hoa bảng chữ la tinh: A,B,C,D, . Những chữ in hoa X,Y,Z,W, . thường dùng thay cho nhóm nhiều thuộc tính. Đôi dùng ký hiệu chữ với số АьА2,-'Лп để thuộc tính trường hợp tổng quát hay muốn đề cập đến số lượng thuộc tính. Tên thuộc tính phải đặt cách gợi nhớ, không nên đặt tên thuộc tính dài (vì làm cho việc viết câu lệnh truy vấn trở nên Yất vả hơn), không nên đặt tên thuộc tính ngắn (vì không cho thấy ngữ nghĩa thuộc tính), đặc biệt không đặt trùng tên hai thuộc tính mang ngữ nghĩa khác thuộc hai đối tượng khác nhau. 1.3. Quan hệ lược đồ quan hệ [4], [7] Định nghĩa 1.2 • Cho • u= {Ab A2, A n } tập hữu hạn không rỗng thuộc tính. Mỗi thuộc tính Ai (i = 1,2, n) có miền giá trị Dom(Ai). Khi r tập {hb h2, hm} gọi quan hệ R với hj (j=l, 2, m) hàm: • hj = и —> u D A , cho hj(Ai) e DAi(i=l, 2, • Aị eU Ta xem quan hệ bảng mà hàng (phần • tử) cột tương ứng với thuộc tính. Biểu diễn quan hệ r thả nh bảng sau: Ai • A2 • . • An • hi(A0 • hi(A2) • . • hi(An) • h2(Ai) • h2(A2) • . • h2(An) . • . hm(A2) • . . • hJẠĩ) • • • • • • • . hm(An) Bảng 1.1: Bảng ví dụ quan hệ r • Nhân xét: • - Định nghĩa quan trọng, toàn sở liệu dựa định nghĩa này, hạt nhân sở liệu quan hệ. - Vì hi, h2, , hm thành phần tập họp quan hệ r, fíle khác nhau, không chấp nhận có hai ghi trùng fíle liệu. • Ví dụ: Để lưu thông tin mặt hàng, người ta sử dụng bảng sau: MẢT HÀNG • • Mã hàng P1 • P2 • P3 • • P4 • • • • • Tên hàng Gạch men Sơn • Màu săc Trăng • Xanh • 450 • Nâu • 800 • • Kính tăm Bôn • • Trăng • • • Trọng lượng 120 Tỉnh • • 1000 • Hà Nội Ninh Bình Bình Định Thọ Phú • • Bảng 1.2: Bảng sở liệu mặt hàng Chúng ta quy định kích thước cho thuộc tính (các trường) sau: • Tên thuộc tính • Kiểu • Mã hàng • Ký tự • Tên hàng • Ký tự • 30 Màu săc • Ký tự • 15 Sô • 10 Ký tự • 20 • • Trọng lượng • Tỉnh • • • Kích thước • • • • • Có nghĩa quy định: Thuộc tính Mă hàng xâu ký tự có độ dài không Thuộc tính Tên hàng xâu ký tự có độ dài không 30 Thuộc tính Mầu sắc xâu ký tự có độ dài không qúa 15 Trọng lượng số nguyên không 10 Tỉnh xâu ký tự không 20 Như ta có tập thuộc tính • MẶTHÀNG = { Mã hàng, Tên hàng, Màu sắc, Trọng lượng, Tỉnh} • Ở DMã hàng tập xâu ký tự độ dài không Diên hàng tập xâu ký tự độ dài không 30 DMàu sắc tập xâu ký tự độ dài không 15 Dirọng lượng tập xâu ký tự độ dài không 10 Dxình tập xâu ký tự độ dài không 20 • Khi có quan hệ r = {hi, h2, h3,114}, đối YỚi ghi thứ • (dòng thứ nhất) có Ai, A2 A3, A4 ), đó: id = {1/2014, 1/2015 thuộc tính Ai = MCH (mã cửa hàng), A2 • = SĐT (số điện thoại cửa hàng), A3 = DT (doanh thu). i• CH A • A2 • M • SĐT • ị • l) ( • • < • A 3D T V , • • • • (1’ )^ • • • • Hình 3.1. Khối Bán Hàng sim điện thoại. Khi khối R có đặc điểm sau: Tập thuộc tính số: Ịl(1),l(2),l(3),2(1),2(2),2(3)|; Tập phụ thuộc hàm là: • / / F = {l(1) ->1(2),1(1) ->1 \2 ->2(2),2(1) ->2(3),1(2) ->1(3),2(2) ->2(3)} • (3 (1) Từ ta có khóa • khối là: (Kj= 1(1)2(1), K2 = 1(2)2(2), K3 = 1(1)2(2), K = 1(2)2(2)). ->Hệ Spemer khối • bán hàng K = u (Ki, K2, K3, K 4). • Hệ Quả. Cho lược đồ khối R = • (id; Ai, A , .A n ), r khối R. Khi id ={x}thì khối r suy biến thành quan hệ, tập tất khóa khối r tạo • thành tập khóa quan hệ R hệ Spemer mô hình liệu quan hệ => kết có mô hình liệu quan hệ. • • Mệnh đề 3.2 Cho lược đồ khối R = (id; Ab A , A n ), r khối R, Fh Fhx tập phụ thuộc hàm khối lát cắt tương ứng. ín Л • Kr ç^ ỊJ idU) , Kr tập khóa khối r hệ Spemer khối. Khi • • • phụ thuộc hàm Fh => Krn ỊJ JC(0 = к tập tât khóa lát căt rx đôi •V i=i ) • • với Fhx (theo tính chất cần đủ khóa khối) đối YỚi tập phụ thuộc hàm Fh. Do lát cắt rx ta có: V Klx, K2x e Kr ta có Klx сtK2x =>Kr hệ Spemer lát cắt rx. • Mệnh đề 3.3 • Cho lược đồ khối R = (id; Ab A , .A n ), r khối R, V xe id ta ký hiệu Mr hệ Spemer lát cắt rx Mr = ỊJ M hệ Spemer • xsid • khối. • Chứng minh: VMi M2 ỄM[ = ỊJ • M => từ xảy hai khả sau: • 1. xeid Ml, M2 G M với x0 G id. 3xữ G id :M M G м • *0 *0 2. Ml G мг ; М2 G Mr , Xị,X2 s id .,x2 eid;Ml eM ,M2 GMr • xi *1 * Xét trường hop : NeuM b M2 G M ^ M hệ Spemer lát cắt г = > мх ^м2 м2^ M l • * Xét trường hợp 2: Neu Mje мг , м2 e мг => Mi^M2fM2^ Ml • • Như hai trường hợp ta có Mi £ M2 M2 £ Mj nên => Mr hệ Spemer khối. • Định nghĩa 3.2 • Cho lược đồ khối R = (id; Ab A2, , An), r khối R, и = (Jỉdạ), • i =1 К hệ Spener и • tập phản khóa K, ký hiệu K'1 xác định sau : К'1 = { X с U ; Ợ e K r ) = > • ( Y Ợ L X ) a n d ( X cZ)=> (37 G Kr)Ợ Ç Z)j Mênh đề 3.4 • Cho lược đồ khối • R = (id; Ab A , A n ), r khối R, Kr tập khóa khối r, Kr_1 tập phản khóa Kr , K1 hệ Spemer khối. Chứng Minh: • Thật • vậy: V K l t K e K ta có Ki czK2 -^theo định nghĩa phản khóa K e К : K c z К = > mâu thuẫn YỚi định nghĩa phản khóa Kr. • Vậy Ki cxK2 => к;1 hệ Spemer khối. • Mệnh đề 3.5 • Cho lược đồ khối R = (id; Ab A2, , An), r khối R, и = (Jidự), • Kr tập khóa r. Khi đó: uк =í/\nr’ • • • Chứng minh: => Giả sử с G KjK r => 3K G K r cho с G K. Đặt м = к\{с} =>M • không chứa khóa. Từ suy tồn phản khóa В G K~' mà M ŒB. Ta có с Ể в ngược lại => KŒB (vô lý). Vậy ta có : с G u\s Ç u\ní;'. • • {c}u5sẽ chứa khóa Ke к =^> к с ỉuỊcỊ => с e к : vô lý. Vậy ta phải có с ẼUÍ . i =1 Mênh đề 3.6 • Cho lược đồ khối R = (id; • Ab A , .A n ), Fh tập phụ thuộc hàm r khối R, cho к = (Ki K2, ., Km) hệ Spemer, • Kị= jx ị x G ỉ d , j G N ị л:, siêu khóa lược đồ khối а . • • i =1 Mặt khác X K’ с Ki mà K’ idự) (dựa vào tập phụ • thuộc hàm F i=l • cho với tính chất Kị • çtK.yi* j) = > K siêu khóa bé • nhất, khóa lược đồ khối. Vậy • Ka=K. • a • Hệ • Cho lược đồ khối R = (id; Ab A2, , An), r khối R, trường hợp số id gồm điểm nghĩa id = {JC} • • khối suy biến thành quan hệ với K= [Kl,K2, .,K }là hệ Spemer, có lược đồ quan hệ R(Ai, A2, ., Am) với Ki^(A1,A2, .,An),\/i = ì,m,a = (R,F), • A„A2, .,Am К tập 8 khóa nghĩa Ka • =K. Định nghĩa 3.3 Cho lược đồ khối R = (id; Ai, A2, , An), r khối R, K hệ • • Spemer Ư = ỊJi d ( i ) , K = {Kỉ,K2, .,Km}\Y^i = Ịjt khối r Rmaf r đạt chuẩn 3NF K = Kr theo hệ dạng chuẩn khối khối r đạt chuẩn 3NF => r đạt chuẩn 2NF => K đạt chuẩn 2NF. • Vậy ta có K dạt chuẩn 3NF => K đạt chuẩn 2NF. • Mênh đề 3.8 • Cho lược đồ khối R = (id; Ai, A2, ., An), r khối R, Kr hệ Spemer khối r. Khi Kr đạt chuẩn BCNF Kr 3NF. • Chứng minh: • Thật vậy, Kr đạt chuẩn BCNF -> khối r R mà r đạt chuẩn BCNF K = Kr theo hệ dạng chuẩn khối khối r đạt chuẩn BCNF =>r đạt chuẩn 3NF =>K đạt chuẩn 3NF. • Vậy ta có K dạt chuẩn BCNF => K đạt chuẩn 3NF. Định lý 3.1 Cho lược đồ khối R = (id; Al, A2, ., An), r khối R, Kr hệ • • Spemer и, и = (Jid‘ к 2NF к =ф. • • • i =1 Chứng minh: • Nếu Kr 2NF ta cần chứng minh Kn= Ф : • Thật vậy: Từ giả thiết Kr 2NF =>khối r mà có Kr tập khóa đạt • chuẩn 2NF. • Từ =>Kn = Ф К фф nghĩa ЗА,AỂuK • => 3phụ thuộc hàm từ K^A, KeK r ứiấy mâu ứiuẫn với tính chất 2NF r. • • Vậy Кй=ф. г đạt chuẩn 2NF => tập khóa Kr r hệ Spemer đạt chuẩn 2NF. Hệ Cho lược đồ khối R = (id; Ab A2, ., An), r Kr • • • id* Ф. Spemer и, и = ỊJ к 3NF к = i =1 • • Chứng minh: • =^Giả sử ta có Kr 3NF -^r đạt chuẩn 3NF(ứieo định nghĩa tập khóa K r) =>r đạt chuẩn 2NF =>Kr đạt chuẩn 2NF Kr = Ф (theo mệnh đề 3.8). • Vậy từ Kr đạt chuẩn 3NF => Kn = ф. • r đạt chuẩn 3NF(theo định nghĩa) =^r đạt chuẩn 2NF => Krđạt chuẩn 2NF =^>Kn = ệ. • Mênh đề 3.9 • ■ • Cho lược đồ khối a = (R,Fh) với R = (id; Al, A2, A3, .,An), r khóa khối R, Fh tập phụ thuộc hàm khối, Kr к tập khóa r rx tương ứng. Khi Kr đạt 2NF,(3NF, BCNF) К _ đạt 2NF, (3NF, BCNF), Vx e id. • Chứng Minh: • Thật vậy: Giả thiết Kr đạt chuẩn 2NF, (3NF, BCNF) theo định nghĩa Ks với r đạt chuẩn 2NF, (3NF, BCNF) tập phụ thuộc hàm Fh cho =>rx đạt chuẩn 2NF, (3NF, BCNF) tương ứng tập phụ thuộc hàm Fh Ух G id từ ta C Ó К hệ Spemer đạt chuẩn 2NF, (3NF, BCNF) tương ứng. • • KẾT LUÂN Sau trình tìm hiểu nghiên cứu khóa mô hình liệu dạng khối luận văn đưa số kết sau: - Định nghĩa Spemer khối, mà khối suy biến thành quan hệ (id = {JC}) định nghĩa lại trở thành định nghĩa Spemer mô hình quan hệ. - Xác định tập phản khóa khối hệ Spemer khối. • - Mối quan hệ hệ Spemer khối hệ Spemer lát cắt. - Đưa định nghĩa dạng chuẩn hệ Spemer khối, phát biểu chứng minh số tính chất dạng chuẩn hệ Spemer khối. Hướng nghiên cứu đề tài: Do đề tài nghiên cứu tập • phụ thuộc hàm Fh nằm lát cắt. Tác giả mong muốn mở rộng tập phụ thuộc hàm F h từ lát cắt đến lát cắt (tập phụ thuộc hàm dạng chéo). Đây hướng phức tạp nên càn đòi hỏi nhiều thời gian nghiên cứu. • • TÀI LIÊU THAM KHẢO Tiếng việt [1] Nguyễn Xuân Huy, Trịnh Đình Thắng (1998), “Một số kết khoá mô hình sở liệu dạng khối”, K ỷ y ế u H ộ i thảo quốc gia Tin học ứng dụng, Quy Nhơn, 8/1998, tr. 36-41. [2] Nguyễn Xuân Huy, Trịnh Đình Thắng (1999), “Một vài thuật toán cài đặt phép toán đại số quan hệ mô hình liệu dạng khối”, Tạp chí Tin học Điều khiển học, 15(3), tr. 8-17. [3] Lê Văn Phùng (2010), Cơ sở liệu quan hệ Công nghệ phân tích Thiết kế, Nhà xuất Thông tin vàTruyền thông, Hà Nội. [4] Vũ Đức Thi (1997), Cơ sở liệu - Kiến thức Thực hành, Nhà xuất Thống kê, Hà Nội. [5] Vũ Đức Thi - Trịnh Đình Vinh (2010), “ a-Phụ thuộc hàm a- Bao đóng • mô hình sở liệu dạng khối”, Tạp chí Tin học Điều khiển học, 26(2), tr. 131-139. [6] Trịnh Đình Vinh - Vũ Đức Thi (2010), “ Phủ tập phụ thuộc hàm • vấn đề tựa chuẩn hoá mô hình liệu dạng khối”, Tạp chí Tin học ĐỉầẦ khiển học, 26(4), tr. 312-320. [7] Trịnh Đình Thắng(2011), Mô hình liệu dạng khối, Nhà xuất Lao • động, Hà Nội [8] Trịnh Đình Thắng (2001), “Một số kết bao đóng, khoá phụ • thuộc hàm mô hình liệu dạng khối ”, Kỷ yếu Hội thảo Quốc gia “Một số vẩn đề chọn lọc Công nghệ Thông tin ”, Hải Phòng, tr. 245251. [...]... t AB: ( AB ằ D, AB ằ E, AB ằ H, AB -> AB) 1.9 Vy (AB)+F = ABDEH Khoỏ ca lc quan h Theo nh ngha ó c trỡnh by trong phn 1.3 thỡ khúa l mt hoc mt tp thuc tớnh xỏc nh duy nht trong quan h Thụng thng trong mt lc quan h cú th tn ti nhiu khúa Trong s ú, s cú mt khúa c la chn lm khúa chớnh Trong phn ny, a ra mt s vn liờn quan n khúa thụng qua ph thuc hm nh ngha 1.10 Cho s = < u , F > l mt lc quan... thu gn t nhiờn Do gi thit ny ta cú R\L=R D nhn thy, theo cụng thc tớnh Ui trong nh lý, Ui l tp cỏc thuc tớnh khụng cú mt trong v phi ca mi PTH trong F, do ú chỳng phi cú mt trong mi khúa Gi s A l mt thuc tớnh cú trong v phi ca PTH L>AR' no ú ca F Ta chng minh A s khụng xut hin trong mt khúa K no y ca a Tht vy, xột tp X = \A D thy X 3L v X += XAR' = v do ú X l siờu khúa T siờu khúa X khụng cha A ta... trong v m PTH trong F Gi Uj l giao cỏc khúa ca a Khi ú cú th xỏc nh giao cỏc khúa bng mt thut toỏn tuyn tớnh theo mn qua cụng thc: Ui = U\ u (R\L ) (L>R)GF Chng minh Trc ht ý rng cỏc PTH L-ằ R v (RVL) l tng ng, do ú ta cú th 2 2 gi thit rng mi PTH trong F u cú dng LằR, LnR = 0, tc l gi thit rng tp PTH F c cho di dng thu gn t nhiờn Do gi thit ny ta cú R\L=R D nhn thy, theo cụng thc tớnh Ui trong. .. bc cu NuX-> YvYW->Zthỡ xw^z 6, Tớnh cng y Neu X -ằ Y v z -ằ w thỡ xz ằ YW Neu X -ằ Y v Y ằ ZW thỡ X -ằ YZW 7, Tớnh tớch ly 1.5.2 H tiờn Armstrong Nm 1974, Armstrong ó ch ra c bn c trng cho mt tp ph thuc hm ca mt file d liu no ú Chỳng c gi l h tiờn Armstrong nh ngha 1.5 Cho trc R = {ab a2, , an} l mt tp hu hn khụng rng cỏc thuc tớnh ta gi P(R) X P(R) = {(A, B) : , e R } Khi ú : Y ỗ= P(R)... vic so sỏnh cỏc giỏ tr khúa Yi nhau trong quỏ trỡnh tỡm kim bn ghi l nhanh nht 1.5 Mt s quan h cú th cú nhiu khúa Phu thuục hm Khỏi nim v ph thuc hm trong mt quan h l rt quan trng trong vic thit k mụ hỡnh d liu Nm 1970 E.F Codd ó cp ph thuc hm trong mụ hỡnh d liu quan h, nhm gii quyt vic phõn ró khụng tn tht thụng tin nh ngha v khỏi nim ny c phỏt biu nh sau: nh ngha 1.4 Cho R = { ab a2, , an... ÊLi} cz B hoc K = Ki_i trong trng hp cũn li Bc 4: t K = K.1 Khi y Kn l mt khúa ti thiu Nhõn xột: - Vic tớnh Mr l d dng vỡ s lng phn t ca Mr nh hn rt nhiu so vi Er - Thut toỏn ny nu thay i th t cỏc thuc tớnh ca R ta cú th tỡm thy mt khoỏ khỏc Vớ d: Xột quan h chuyen hang trong bng sau: shh: S hiu 2 3 ca hóng cung cp shmh: s hiu ca mt hng c cung cp sluong: S lng hng cung cp trong chuyn hng E34 = {... sluong } * Thut toỏn xỏc nh giao cỏc khúa trong LQH Algorithm Keylntersec Format: KeyIntersec(U,F) Input: - Tp thuc tớnh u Tp PTH F Output: - Giao cỏc k h ú a = u \ J (R\L) Method M:=; for each FD LằR in F do c L->R)eF M:= \ (R\L); endfor; return M; end Keylntersec Theo thut toỏn trờn, tớnh giao cỏc khúa ta cn thc hin m ln lp ng vi s lng PTH trong tp F Trong mi ln lp, phộp toỏn trờn tp hp n... trng Mỡ chớnh 201 Bt canh SO_LUONG (kg) 1000 500 2000 2 5 Trong bng trờn mó s mt hng (MH) l khoỏ Mi giỏ tr MH u xỏc nh duy nht mt loi mt hng trong quan h BAN HANG Ký hiu Kr, Ks, Ky l tp tt c cỏc khoỏ ti tiu ca r (s, Y) Nu ta cú: K ={Kb K2, , Kn} õy, K (i = 1, , t) l cỏc tp con ca R, nu cú tớnh cht sau: + Ki khụng bao gi nm trong Kj ( K (A, ) G Y 3) (A, B)e Y,AỗC,DỗB=> (C, D) E Y 4) (A, A)eY (A, B) e Y, (C, D) e Y => (A u , uD) e Y H qu (Tớnh y cu h tiờn Armstrong) Armstrong ó ch ra rng, nu Y l mt h f tu ý thỡ tn ti quan h r sao cho Fr = Y 1 5 A - > , D - (A, A) e Fr A => A - > ( Vớ d: Cho r2 l cỏc quan h: ab 10 ri = 1 1 r2 0 . chỉnh thêm về mô hình dữ liệu dạng khối và việc sử dụng khóa trong mô hình dữ liệu tôi mạnh dạn chọn đề tài Một số tính chất mở rộng của khóa trong mô hình dữ liệu khối cho luận văn của mình. 2 cụ thể là đặc trưng của các thuộc tính mở rộng của khóa trong mô hình dữ liệu dạng khối • *Phạm vi nghiên cứu 6 - Một số tính chất mở rộng của khóa trong mô hình dữ liệu dạng khối. 5. Phương pháp. thuộc tính mở rộng của khóa trong mô hình dữ liệu dạng khối. 3. Nhiệm vụ nghiên cứu - Nghiên cứu lý thuyết về mô hình cơ sở dữ liệu dạng khối . Cụ thể là các tính chất mở rộng của khóa trong mô hình khối,