... đặc biệt điện thoại di động ngày hấp dẫn hơn, doanh thu đem lại cao nhanh Trong lĩnh vực này, Microsoft "chậm chân" so với Sun Đa số ứng dụng điện thoại di động, thiết bị di động viết J2ME (Java ... bị di động Lập trình thiết bị di động trở thành xu hướng Không đơn giản phát triển ứng dụng cho thiết bị mà phát triển trò chơi thiết bị di động bùng nổ Phát triển ứng dụng cho thiết bị di động ... tốt nghiệp Hoạtđộng hệ thống sau: Lược đồ quan hệ α= với U tập thuộc tính F tập phụ thuộc hàm đưa vào hệ thống cách nhập trực tiếp từ bàn phím cách đọc file (.txt) Các thông tin lược đồ quan...
... thể mô tả bàng tệp liệu Hệ thống quản lý công chức Hệ thống công chức ban tổ chức cán phủ Các bộ, ngành Tỉnh, Huyện Hệ thống công chức ban tổ chức TW Tổng công đoàn Hội phụ nữ Các ban - Các thuộc ... việc áp dụng công nghệ thông tin, mà chất đưa tác phong công nghiệp vào việc áp dụng công nghệ thông tin để chống lại nguỵ biện, tự tùy tiện Việc thực chuẩn hoá quy trình phụ thuộc vào công cải cách ... kéo theo giá trị tập thuộc tính B phải cặp Ví dụ: Trong quan hệ Xe_máy có thông tin số xe, mác xe, màu xe, giá xe, năm sản xuất Số xe Mác Màu Giá Năm sản xuất 100 Honda Đỏ 500 1996 300 Dream Mận...
... thuộc hàm r 1.3 Hệ tiên đề Armstrong Năm 1974, Armstrong bốn đặc trưng cho tập phụ thuộc hàm file liệu Chúng gọi hệ tiên đề Armstrong Định nghĩa (Hệ tiên đề Armstrong) Cho trước R = {a 1, a2, ... VỀ MÔ HÌNH CƠ SỞ DỮ LIỆU QUAN HỆ Trong mục trình bầy khái niệm mô hình liệu quan hệ E.F.Codd Những khái niệm gồm khái niệm quan hệ, phụ thuộc hàm, hệ tiên đề Armstrong, khoá, Những khái niệm đóng ... Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu tự động hoá thiết kế Trong luận văn em trình bầy số kiến thức sở liệu áp dụng kiến thức xây dựng chương trình:...
... branch-city,assets Tốn không gian Cập nhật liệu phức tạp Làm thế để chuyển đổi lược đồ Lending thành một lược đồ tốt: - Phân rã lược đồ Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM Sự phân rã lược đồ ... nhiều PTH Tênphim Nămsx → Thờilượng Tênphim Nămsx → Loại Tênphim Nămsx → Xưởngsx Tênphim Nămsx → Diễnviên Không là phụ thuộc hàm 20 Chú y Xét thể hiêôn r1 Tênphim Nămsx Thờilượng Loạiphim ... thành lược đồ: - Branch-schema = (branch-name, branch-city,assets) Loan-info-schema = (customer-name, loan-number, branch-name, amount) Luật bảo toàn: tất thuộc tính lược đồ gốc phải tìm thấy lược...
... luật Armstrong) Tập phụ thuộc hàm tương đương Tập phụ thuộc hàm tối tiểu Phụ thuộc hàm Một phụ thuộc hàm (Functional Dependency) ràng buộc hai tập thuộc tính CSDL Phụ thuộc hàm (2) Lược đồ ... Hùng 5-2-1985 052 Vân 7.4 06110012 Hoa 2-3-1986 061 Khôi 7.8 Hệ tiên đề Armstrong Còn gọi Hệ luật suy diễn Armstrong (Inference Rules) IR1: Luật phản xạ (reflexive rule) Nếu X ⊇ Y, X ... chuẩn (2NF): Lược đồ đạt 1NF Không tồn phụ thuộc hàm riêng phần vào khóa Cách giải quyết??? 28 Dạng chuẩn Phụ thuộc hàm bắc cầu (transitive dependency) Dạng chuẩn (3NF): Lược đồ đạt...
... tên thuộc tính lược đồ quan hệ R - Cung nối hai thuộc tính A B thể phụ thuộc hàm A → B - Thuộc tính có mũi tên (nghĩa nằm vế trái phụ thuộc hàm) gọi nút gốc - Thuộc tính có mũi tên tới (nghĩa nằm ... Cho Q1 (A, B, C, D), F={A→B, B→DC} Lược đồ có khóa A, nên thuộc tính phụ thuộc đầy đủ vào khóa Do Q1 đạt dạng chuẩn Ví dụ: Cho Q2 (A, B, C, D), F={AB → D, C → D} Lược đồ có khóa ABC, có C⊂ABC mà ... Tính tăng trưởng: {X → Y} ╞ XZ → YZ F3) Tính bắc cầu: {X → Y, Y → Z} ╞ X → Z Từ hệ luật dẫn Amstrong ta suy số tính chất sau: F4) Tính kết hợp: {X → Y, X → Z} ╞ X → YZ F5) Tính phân rã: {X →...
... tháng 02 năm 2015 Học viên Đinh Thị Lực LỜI CAM ĐOAN Tôi xin cam đoan kết nghiên cứu dƣới hƣớng dẫn khoa học PGS TS Trịnh Đình Thắng Các số liệu, kết nêu luận văn trung thực chƣa đƣợc công bố công ... quan hệ Trong số mô hình có ba mô hình liệu thƣờng đƣợc sử dụng mô hình phân cấp, mô hình mạng mô hình quan hệ Đối với ba mô hình mô hình quan hệ đƣợc quan tâm Mô hình đƣợc E Codd đề xuất năm 1970 ... (tuyến tính) nên mô hình chƣa đủ đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc phi tuyến tính,… Trongnăm gần đây, việc nghiên cứu nhằm mở rộng mô hình liệu quan hệ đƣợc nhiều nhà khoa học quan tâm...
... v Y C x+ T nh ngha x+ ta cú X > Ai, ỏp dng h tiờn Amstrong cho mi i suy X ằ Y nh lut hp 48) Ngc li, gi s ta cú X > Y, ỏp dng h tiờn Amstrong cho mi i ta cú X ằ Ai, AiGY nh lut tỏch, suy Ai ... tớnh) nờn mụ hỡnh ny cha ỏp ng i vi cỏc ng dng phc tp, cỏc c s d liu cú cu trỳc phi tuyn tớnh, Trong nhng nm gn õy, vic nghiờn cu nhm m rng mụ hỡnh d liu quan h ó c nhiu nh khoa hc quan tõm Theo ... rng ca mụ hỡnh d liu quan h hon thin cho lý thuyt v mụ hỡnh d liu dng em ó chn ti PHẫP SUY DN TRONG Mễ HèNH CA D CC LIU PH DNG THUC HM K H I Nhm chng minh tớnh cht cỏc phộp suy dn nh suy...
... gom nhóm (GROUP BY), SELECT gom nhóm (GROUP BY)có điều kiện HAVING Bài tập: Cho lược đồ CSDL “quản lý đề án côngty sau NHANVIEN (MaNV, HoTen, Phai, Luong,NTNS, Ma_NQL, MaPH) PHONGBAN (MaPH, ... khóa ngoại • Xét lược đồ quan hệ PHONGBAN (MAPH, TENPH, TRPH, NGNC) NHANVIEN (MANV, HOTEN, NTNS, PHAI, MA_NQL, MAPH, LUONG) Câu hỏi 43: Mỗi trưởng phòng phải nhân viên côngty – Nội dung: – ∀p ... sinh khoảng từ năm 1978 đến 1983? Select MaNV, HoTen From NhanVien where Year(NTNS)>=1978 AND Year(NTNS)
... Các nguyên tắc thiết kế lược đồ quan hệ Nguyên tắc (Ngữ nghĩa thuộc tính quan hệ:): Thiết kế lược đồ quan hệ cho dễ giải thích ý nghĩa Không nên tổ hợp thuộc ... Y Y phụ thuộc hàm vào X Một phụ thuộc hàm tính chất lược đồ quan hệ R tính chất trạng thái hợp pháp r R Vì vậy, phụ thuộc hàm phát cách tự động từ trạng thái r mà phải người hiểu biết ngữ nghĩa ... Z (tựa bắc cầu): {X → Y, W Y → Z} |= W X → Z Amstrong chứng minh quy tắc suy diễn từ QT1 đến QT3 đầy đủ: I I Đúng: cho trước tập phụ thuộc hàm F lược đồ quan hệ R, phụ thuộc hàm suy diễn cách...
... Một lược đồ quan hệ có nhiều khóa tập thuộc tính không khóa rỗng (Khi thiết kế hệ thống thông tin, việc lập lược đồ sở liệu đạt đến tiêu chuẩn việc làm quan trọng Việc xác đònh chuẩn cho lược ... z y y y y z w z Trong phụ thuộc hàm sau đây, PTH không thỏa A → B; A → C; B → A; C → D; D → C; D → A 8/ Hãy tìm tất khóa cho lược đồ quan hệ sau: Q(BROKER,OFFICE,STOCK,QUANTITY,INVESTOR,DIVIDENT) ... khóa) Thuật toán tìm khóa lược đồ quan hệ Q Bước 1:gán K = Q+ Bước 2:A thuộc tính K, đặt K’ = K − A Nếu K’+= Q+ gán K = K' thực lại bước Nếu muốn tìm khóa khác (nếu có) lược đồ quan hệ, ta thay...
... Hợp khóa khóa lược đồ có khóa Một lược đồ có nhiều khóa Bản thân U siêu khóa Với mọt quan hệ R U, R có khóa 19 * Tìm siêu khóa lược đồ Cho lược đồ quan hệ α=(U,F), tìm siêu khóa K lược đồ Ta tìm ... Ftt 16 BÀI 14:KHÓA CỦALƯỢC ĐỒ QUAN HỆ 14.1: Khóa siêu khóa Đn1: Cho lược đồ quan hệ α=(U,F), K⊆U K+=U, ta nói K siêu khóa Chú ý: Điều kiện K+=U thay K →U K→ U\K Đn2: Cho lược đồ quan hệ α=(U,F), ... tất khóa lược đồ hay Iα giao tất khóa lược đồ Ký hiệu Nα tập mà phần tử không tham gia vào khóa lược đồ Ký hiệu Sα ={U\∪ (Ri -Li )| ∀ Li →Ri∈F} Ta chứng minh Iα = Sα 24 Định nghĩa: Cho lược đồ...
... Sinh_Vien: Mã SV → Năm sinh, Giới tính Mã SV → Năm sinh, Địa Mã SV → Giới tính, Địa Mã SV → Họ Tên SV, Năm sinh, Giới tính Mã SV → Họ Tên SV, Năm sinh, Địa Mã SV → Năm sinh, Giới tính, Địa Mã SV → Họ Tên ... Tên SV Mã SV → Năm sinh Mã SV → Giới tính Mã SV → Địa Mã SV → Họ Tên SV, Năm sinh Mã SV → Họ Tên SV, Giới tính Mã SV → Họ Tên SV, Địa *).Phụ thuộc hàm cho quan hệ Sinh_Vien: Mã SV → Năm sinh, Giới ... Địa Mã SV → Họ Tên SV, Giới tính, Địa Mã SV → Họ Tên SV, Năm sinh, Giới tính, Địa *) Khóa tối thiểu: Ta có quan hệ U=(Mã SV,Họ Tên SV ,Năm Sinh,Giới Tính,Địa Chỉ) +) Với quan hệ Sinh Viên: K0...
... WY → Z nên theo tính bắt cầu ta có : WX → Z Hệ tiên đề Amstrong đủ Đúng: Cho R, F Nếu X → Y phụ thuộc hàm suy từ F nhờ hệ tiên đề Amstrong X → Y R Đủ: Nếu X → Y không thỏa R X → Y suy từ F Thuật ... cho W ⊂ AE ta có pth A → D A ⊂ AE luật phản xạ cho AE → A lúc Z D Kế E → C Vì E ⊂ AED AEDC KHÓA CỦA QUAN HỆ 1.Định nghĩa: Cho quan hệ r( R ), tập K ⊂ R gọi khóa quan hệ r nếu:K+=R bớt phần tử ... xuất vế trái lẫn vế phải F phải có khóa • Các thuộc tính xuất vế trái tất pth F phải có mặt Khóa • Trong trình tìm khóa ta bỏ bớt tất thuộc tính đơn nằm bên phải pth F Tuy nhiên cần kiểm tra lại...
... ABD G Khoa Công 13 HỆ TIÊN ĐỀ AMSTRONG Ví dụ TenDA Diadiem_DA TenDA TenPB TenDA Diadiem_DA, TenPB Khoa Công nghệ Thông tin - Trƣờng Đại học Ngân hàng 14 HỆ TIÊN ĐỀ AMSTRONG Ví dụ TenDA ... khác quan hệ Khóa phải nhỏ Khoa Công nghệ Thông tin - Trƣờng Đại học Ngân hàng 21 KHÓA CỦA QUAN HỆ Ví dụ Khoa Công nghệ Thông tin - Trƣờng Đại học Ngân hàng 22 KHÓA CỦA QUAN HỆ Ví dụ (tt) Khóa quan ... • Nếu X Y Y Z X Z • Nếu AB CD CD EF AB EF Khoa Công nghệ Thông tin - Trƣờng Đại học Ngân hàng 12 HỆ QUẢ CỦA TIÊN ĐỀ AMSTRONG Luật hợp • Nếu X Y X Z X YZ • Ví dụ: AB CD, AB...
... D Y x y y z w z Trong phụ thuộc hàm sau đây, PTH không thỏa A → B; A → C; B → A; C → D; D → C; D → A 9) Hãy tìm tất khóa cho lược đồ quan hệ sau: Q(BROKER,OFFICE,STOCK,QUANTITY,INVESTOR,DIVIDENT) ... Kehoach thành lược đồ CSDL dạng chuẩn vừa bảo toàn phụ thuộc hàm vừa bảo toàn thông tin c) Nếu Kehoach chưa đạt dạng chuẩn BC, phân rã KeHoach thành lược đồ CSDL dạng BC 7/ Cho lược đồ quan hệ ... dạng chuẩn Q d) Hãy tìm cách phân rã Q thành lược đồ CSDL đạt dạng chuẩn BC (hoặc dạng chuẩn 3) tìm tập phụ thuộc hàm khóa cho lược đồ quan hệ 9/ Cho lược đồ quan hệ Q(S,I,D,M) F = {f1:SI → DM;...