lịch sử hình thành và phát triển của tập đoàn võ đường ngọc hoà
Xây dựng hệ thống phần mềm giải bài toán cơ sở dữ liệu quan hệ
Ngày tải lên :
29/10/2015, 09:52
... Thanh Lịch Lớp CNTT46 Khóa luận tốt nghiệp Hỗ trợ phát triển ứng dụng cho thiết 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 ... định chủ -thành viên (1-n) Mô hình mạng Mô hình biểu diễn đồ thị có hướng Mô hình quan hệ Mô hình dựa sở khái niệm lý thuyết tập hợp quan hệ * Hệ QTCSDL Là tập hợp có thứ tự phần mềm cho phép ... thuộc hàm có nguồn tập khoá Ta đưa dạng 2NF cách sau: Nhóm vào quan hệ thuộc tính phụ thuộc hoàn toàn vào khoá giữ lại khoá quan hệ Nhóm vào quan hệ khác thuộc tính phụ thuộc vào phần khoá, lấy...
- 75
- 1K
- 2
đồ án công nghệ thông tin Nghiên cứu các tính chất của phụ thuộc hàm và các dạng chuẩn của mô hình dữ liệu quan hệ
Ngày tải lên :
30/04/2015, 09:52
... 1NF III.2.2 Phụ thuộc hoàn toàn Giả sử r = {h1, h2 , , hm} tệp liệu tập cột R = {a1,a2, ,an} Và A,B ⊆ R Khi người ta nói B phụ thuộc hoàn toàn vào A A→B ∀ A' mà A' ⊂ A ( Tập thực ) A' → B Ví ... mạng, Mô hình quan hệ, Mô hình hướng đối tượng I.2.1 Mô hình phân cấp [6] Mô hình dưc liệu cây, nút biểu diễn tập thực thể, nút cha liên hệ theo mối quan hệ xác định ( Dựa cấu trúc cây) Ví dụ hình ... liệu lớn phân chia thành tệp liệu nhỏ Tương tự ta có đỉnh thể giống đỉnh A chúng biểu diễn hình I.2.3 Mô hình quan hệ [6] Mô hình dựa sở khái niệm lý thuyết tập hợp quan hệ, tức tập k _ với k cố...
- 61
- 737
- 0
Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ
Ngày tải lên :
20/07/2015, 17:04
... Giả sử r quan hệ R, A, B ⊆ R A → B Khi ta nói A tập sinh B - |A| < |B|, Hoàng Văn Thủy 46 Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu - Không tồn tập thực A mà xác định hàm cho B Tập C tập ... hàm vào A C không phụ thuộc hàm vào B Trong trường hợp có Hoàng Văn Thủy 44 Một số vấn đề liên quan đến dạng chuẩn hệ sở liệu B B gọi tập thuộc tính bắc cầu A → C phụ thuộc bắc cầu Định lý Giả sử ... nghĩa (Bao đóng tập phụ thuộc hàm) Giả sử F tập phụ thuộc hàm sơ đồ quan hệ s = < R, F > Gọi F+ tập tất phụ thuộc hàm suy dẫn lôgic từ F luật hệ tiên đề Armstrong Khi F+ gọi bao đóng F Hoàng Văn Thủy...
- 77
- 782
- 4
PHỤ THUỘC HÀM VÀ CÁC DẠNG CHUẪN
Ngày tải lên :
28/03/2014, 21:22
... tính phản xạ tính tăng trưởng + f thêm pth kết vào F + - Với cặp pth f1ivà f2 F Nếu f1 f2 kết nối lại cách sử dụng luật bắt cầu + thêm pth kết vào F + Until F thay đổi Cơ sở liệu - Khoa CNTT ... + 31 Tìm bao đóng F (tt) + Từ tâôp F ban đầu ta sử dụng luâôt dẫn để tìm bao đóng F Áp dụng luâôt dẫn vào F cho đến không áp dụng + Tập F lớn 32 Thuật toán tính F + Để tính F + dựa ... 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 đồ Sự phân rã chia quan hệ gốc thành vài quan hệ nhỏ Mục đích phân...
- 87
- 2.4K
- 5
Cơ sở dữ liệu 1_Chương 4: Phụ thuộc hàm và dạng chuẩn ppsx
Ngày tải lên :
02/07/2014, 01:20
... Bao đóng tập phụ thuộc hàm Bao đóng (closure) tập phụ thuộc hàm F, ký hiệu F+ tập phụ thuộc hàm nhỏ chứa F cho áp dụng hệ tiên đề Armstrong tập để tạo phụ thuộc hàm tập 11 Bao đóng tập thuộc ... tính dựa tập phụ thuộc hàm Bao đóng tập thuộc tính X dựa tập phụ thuộc hàm F (Closure of X under F), ký hiệu X+F, tập thuộc tính Y cho: ∃ X Y ∈ F+ ∀ X Z ∈ F+: Z ⊆ Y 12 Bao đóng tập thuộc ... Siêu khóa Khóa dự tuyển Thuộc tính khóa thuộc tính thành phần khóa dự tuyển 17 Giải thuật tìm khóa Input: Tập thuộc tính U tập PTH F R Output: Tập hợp K chứa tất khóa R 18 Procedure Set_of_Keys(U,...
- 32
- 1.5K
- 3
Chương 8: Phụ thuộc hàm và dạng chuẩn pot
Ngày tải lên :
24/07/2014, 02:21
... Xét X → Y Nếu ¬X’ ⊂ X cho F ≡ F – {X→Y} ∪ {X’→Y} Thì Y phụ thuộc đầy đủ vào X Y phụ thuộc hàm vào X không phụ thuộc hàm vào tập X Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 47 Ví dụ R(A, B, C, D, ... được nữa Tập F+ lớn Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 29 Thuật toán tính F+ Bước - F+ = F Bước - Repeat • Với pth f F+ ∗ Áp dụng luật phản hồi luật cộng f , thêm pth kết vào F+ • Với ... nối lại luật bắt cầu ∗ Thì thêm pth kết vào F+ - Until F+ thay đổi Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 30 Ví dụ Xét lược đồ R(A, B, C, G, H, I) Và PTH F định nghĩa R F = { f1: A → B f2:...
- 91
- 1.4K
- 3
Phụ thuộc hàm và dạng chuẩn
Ngày tải lên :
17/08/2015, 14:14
... Bao đóng tập phụ thuộc hàm Bao đóng tập phụ thuộc hàm F, ký hiệu F+ tập tất phụ thuộc hàm suy từ F Nếu F = F+ F họ đầy đủ phụ thuộc hàm Thuật toán tìm bao đóng tập thuộc tính Bao đóng tập thuộc ... ∈ F+ 13 Hai tập phụ thuộc hàm tương đương Hai tập phụ thuộc hàm F G tương đương F+ = G+ Ký hiệu G ≡ F Phủ tối thiểu tập phụ thuộc hàm F gọi phủ tối thiểu tập phụ thuộc hàm (hay tập phụ thuộc ... AC+F=ACDEH 12 Bài toán thành viên Cho tập thuộc tính Q, tập phụ thuộc hàm F Q phụ thuộc hàm X → Y Q Câu hỏi đặt X → Y ∈ F+ hay không? X → Y ∈ F + ⇔ Y ⊆ X+ Ví dụ: Từ ví dụ tìm bao đóng tập thuộc tính...
- 30
- 296
- 0
Phép suy dẫn của các phụ thuộc hàm trong mô hình dữ liệu dạng khối
Ngày tải lên :
11/09/2015, 08:41
... datalog mô hình 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 ... ta thƣờng sử dụng mô hình liệu thích hợp có số mô hình đƣợc sử dụng hệ thống cở sở liệu nhƣ: mô hình thực thể - liên kết, mô hình mạng, mô hình phân cấp, mô hình hƣớng đối tƣợng, mô hình liệu ... quan tâm Theo hƣớng nghiên cứu mô hình liệu đƣợc đề xuất mô hình liệu dạng khối Mô hình liệu đƣợc xem mở rộng mô hình liệu quan hệ Để hoàn thiện cho lý thuyết mô hình liệu dạng khối em chọn đề tài...
- 67
- 265
- 0
Ngôn Ngữ Truy Vấn, Phụ thuộc hàm và dạng chuẩn UIT
Ngày tải lên :
25/08/2016, 00:21
... cột Ghi_chu vào bảng khách hàng ALTER TABLE KHACHHANG ADD GHI_CHU varchar(20) 2.2 Sửa kiểu liệu thuộc tính ALTER TABLE tênbảng ALTER COLUMN têncột kiểudữliệu_mới • Lưu ý: Không phải sửa kiểu liệu ... hỏi 17: Sử dụng IN (so sánh với tập hợp giá trị cụ thể) Cho biết họ tên nhân viên thuộc phòng ‘NC’ phòng ‘DH’? Select DISTINCT Hoten From NhanVien where MaPH in (‘NC’,’DH’) Câu hỏi 18: Sử dụng ... where Luong > (Select AVG(Luong) from NhanVien ) b) Sử dụng hàm COUNT, SUM, MIN, MAX, AVG nhóm nhỏ: mệnh đề GROUP BY – Chia dòng thành nhóm nhỏ dựa tập thuộc tính chia nhóm – Thực phép toán nhóm như:...
- 82
- 1.1K
- 0
Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ
Ngày tải lên :
29/09/2013, 11:20
... đóng tập thuộc tính I I Thông thường thiết kế sở liệu, ta tập phụ thuộc hàm dễ xác định nhờ ngữ nghĩa thuộc tính R Sau đó, sử dụng quy tắc Amstrong để suy diễn phụ thuộc hàm bổ sung Với tập thuộc ... 54 Sự tương đương tập phụ thuộc hàm I I I Một tập hợp phụ thuộc hàm E phủ tập phụ thuộc hàm F - F phủ E - phụ thuộc hàm E F + ,điều có nghĩa phụ thuộc hàm E suy diễn từ F Hai tập phụ thuộc hàm ... thuộc hàm không suy diễn cho kết tập hợp đầy đủ phụ thuộc hàm suy diễn từ F Bài giảng sở liệu - Nguyễn Hải Châu Tài liệu tham khảo Mở đầu Khái niệm Mô hình ER Mô hình quan hệ Phụ thuộc hàm Nguyên...
- 8
- 2.2K
- 33
chương 5 Phủ của tập phụ thuộc hàm
Ngày tải lên :
29/09/2013, 14:20
... để tìm tập tất tập tập Q + không hiệu Do cần thu hẹp không gian duyệt Chúng ta nghiên cứu thuật toán cải tiến theo hướng giảm số thuộc tính tập cần duyệt tất tập Thuật toán cải tiến Trước vào thuật ... III KHÓA CỦA LƯC ĐỒ QUAN HỆ (Key) Đònh Nghóa Q(A1,A2,…,An)là lược đồ quan hệ Q+ tập thuộc tính Q F tập phụ thuộc hàm Q K tập Q+ Nói K khóa Q nếu: K+ = Q+ Không tồn K' ⊂ K cho K’+= Q+ Tập thuộc ... ⊂ Sj then Loại Sj khỏi Tập siêu khóa S S lại tập khóa cần tìm Ví dụ 9: Giải lại tập ví dụ p dụng thuật toán cải tiến ta có lời giải sau: TN = {S}; TG = {C,Z} Gọi Xi tập tập TG: Xi (TN ∪ (TN∪ Xi)...
- 9
- 2.6K
- 46
Bài 12. Phủ Của Tập Phụ Thuộc Hàm
Ngày tải lên :
14/10/2013, 18:11
... 12.2: Các tập phụ thuộc hàm tương đương Cho F G hai tập phụ thuộc hàm tập thuộc tính U, ta nói tập phụ thuộc hàm F tương đương với tập phụ thuộc hàm G F+ =G+ Nếu F+ =G+ ... tất tập khác rỗng Q+ Kết tìm giả sử tập thuộc tính X1, X2, …, X2n -1 Bước 2: Tìm bao đóng X1 Bước 3: Siêu khóa X1 có bao đóng Q+ Giả sử ta có siêu khóa S = {S1, S2,…,Sm} Bước 4: Xây dựng tập ... Sperner khóa Nếu gọi Kα tập tất khóa lược đồ α=(U,F), phần tử Kα tập thuộc tính tập hợp không bao Định nghĩa: Họ Sperner U họ M ={X|X ⊆ U} cho hai phần tử M không bao Nhận xét: Tập hợp Kα tất khóa...
- 31
- 649
- 11
Tài liệu Báo cáo tiểu luận: Phụ thuộc hàm, khóa tối thiểu , phủ tối thiểu của quan hệ doc
Ngày tải lên :
12/12/2013, 14:15
... D→C, E→A, E→G} Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ B→D, B→E, D→C, E→A, E→G} II.Tìm phủ tối thiểu cho toán sau: Cho R(U, F), với U={ABCDEGH }và F={A→B, BC→DC, ... DTC0851230016 Lê Thị Oanh 11/01/1990 Nữ DTC0851230017 Trần Thị Thoa 01/11/1990 Nữ DTC0851230018 Nguyễn Văn Hoàng 21/03/1990 Nam Thái nguyên DTC0851230019 Phạm thị Thảo 24/02/1989 Nữ Thái Nguyên DTC0851230020 ... bỏ thuộc tính dư thừa bên trái phụ thuộc hàm Sau thực B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và loại bỏ thuộc tính bên vế trái phụ thuộc hàm nên phủ tối thiểu là: F={ BE→C, EI→B, C→D, C→I,...
- 21
- 952
- 0
PHỤ THUỘC HÀM VÀ XÁC ĐỊNH KHÓA CỦA QUAN HỆ doc
Ngày tải lên :
27/06/2014, 14:20
... 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ử khỏi K bao đóng khác R Như tập K ⊂ R K+=R ( K \ A )+ ≠ R , ∀ A ⊂ R Trực quan từ định nghĩa, K tập ... từ F Thuật toán tính bao đóng Cho X ⊂ U, ký hiệu X+ ={A⊂ U | X → A ∈ F+} Thuật toán: Vào: Tập thuộc tính X tập phụ thuộc hàm F Ra: Bao đóng X F, closure(X,F) Begin Olddep = ∅ Newdep = X While ... nhiều khóa Thuật toán tìm khóa: Ý tưởng thuật toán: Bắt đầu từ tập R R+ = R, ta bớt dần phần tử R đề nhận tập bé mà bao đóng R Thuật toán Vào: r(R) , F Ra : K ( khóa ) Bước 1: Gán K = R Buớc 2: Lặp...
- 4
- 480
- 1
bài giảng cơ sở dữ liệu chương 6: phụ thuộc hàm và chuấn hóa csdl - ths. nguyễn thị khiêm hòa
Ngày tải lên :
02/07/2014, 17:43
... PHỤ THUỘC HÀM Chú ý • Bao đóng tập rỗng tập tất thuộc tính phát sinh phụ thuộc hàm không hiển nhiên • Nếu bao đóng tập X tập tất thuộc tính, bao đóng tập chứa X phát sinh phụ thuộc hàm Khoa Công ... diễn hình thức phát ràng buộc liệu Đây sở xác định khóa chuẩn hóa lược đồ sở liệu Khoa Công nghệ Thông tin - Trƣờng Đại học Ngân hàng 10 HỆ TIÊN ĐỀ AMSTRONG Mục tiêu • Giả sử quan hệ R thỏa mãn tập ... Tìm {A, B}+ Tách (2) thành BC → A(5), BC → D(6) Bắt đầu với X={A,B} Chọn (1), thêm C vào X X = {A,B,C} X+ = {A,B,C,D,E} Chọn (2), thêm D vào X X = {A,B,C,D} Chọn (3), thêm E vào X X = {A,B,C,D,E}...
- 74
- 766
- 0
BÀI TẬP PHỤ THUỘC HÀM – CHUẨN HÓA CSDL doc
Ngày tải lên :
04/07/2014, 22:20
... Qi C để biến C thành dạng chuẩn BC ? 8/ Giả sử ta có lược đồ quan hệ Q(C,D,E,G,H,K) tập phụ thuộc hàm F sau; F = {CK→ H; C →D; E→C; E →G; CK →E} a) Từ tập F, chứng minh EK → DH b) Tìm tất khóa ... phân rã Q 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 f) Nếu Q chưa đạt dạng chuẩn BCNF, phân rã Q thành lược đồ CSDL dạng BCNF g) Kiểm tra phép tách Q thành lược ... qua mail cho thành viên (member) câu lạc bộ, lập kế hoạch cho bữa ăn, theo dõi tham dự tiệc tối, Sau nguyên tắc nghiệp vụ cần thực thi CSDL: - Mỗi buổi tối phục vụ nhiều thành viên, thành viên...
- 9
- 4.5K
- 53
thiết kế cơ sở dữ liệu quan hệ - phần 5 phủ cover của tập phụ thuộc hàm
Ngày tải lên :
06/07/2014, 00:44
... kiểm tra F ≡ G Βướχ : Β χ2: Τνη Φ+, Γ+ Ν υ Φ+ = Γ+, => Φ ≡ Γ Phủ tối thiểu tập phụ thuộc hàm (p.1) Phủ tối thiểu Tập Phụ thuộc hàm không đầy đủ (minimal cover) Χηο λượχ đồ Θ, τậπ ΠΤΗ Φ, ΖΨ ... ∆υψệτ χ〈χ τậπ χον Ξ’≠∅ χủα Ξ : Ν υ Ξ’Ψ ∈ Φ+ : τηαψ Ξ = Ξ’, λặπ λạι 2.1 Phủ tối thiểu tập phụ thuộc hàm (p.4) Tập phụ thuộc hàm có vế phải thuộc tính • Địνη νγηĩα : Φ đượχ γọι λ◊ τ ậπ πη ụ τηυ ộχ ... λ◊ τậπ πη τηυ χ η◊µ χ⌠ ϖ πη ι τηυ χ τνη : Φ = {ΑΒ, ΑΧ, ΒΧ, ΑΒ∆} Phủ tối thiểu tập phụ thuộc hàm (p.5) Tập phụ thuộc hàm không dư thừa νη νγη α : Φ χ γ ι λ◊ τ π πη τηυ χ η◊µ κηνγ δư τηừα...
- 18
- 619
- 0
