những thành tựu đã đạt được của tập đoàn võ đường ngọc hoà kể từ khi thành lập đên nay
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
... 1: Tìm tập nguồn TN, tập thuộc tính trung gian TG Bước 2: Nếu (TN)+=U lược đồ quan hệ có khóa K = TN, thuật toán kết thúc Ngược lại qua bước Bước 3: Tìm tất tập Xi tập trung gian TG( tập ∅ ) ... đồ thuật toán BĐ tập thuộc tính Vũ Thanh Lịch Lớp CNTT46 Khóa luận tốt nghiệp 2.3.1.2 Bao đóng phụ thuộc hàm Thuật toán: Bước 1: Tìm tất tập U+ Bước 2: Tìm bao đóng tất tập tập phụ thuộc hàm ... lưu giữ thông tin toán lưu trữ dạng file.txt Tập thuộc tính U tập phụ thuộc hàm F lưu trữ dòng Việc xử lý toán tập thuộc tính U lưu trữ dạng mảng chiều tập phụ thuộc hàm lưu trữ dạng Arraylist với...
- 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
... thời gian hoàn thành luận văn tốt nghiệp, em xin chân thành cảm ơn khoa CNTT thầy cô giáo giúp đỡ truyền đạt cho em kiến thức năm học vừa qua Đặc biệt em xin chân thành cảm ơn thầy Đoàn Văn Ban ... Giang II.1.4 Phủ tập phụ thuộc hàm Cho tập phụ thuộc hàm F, thay F phụ thuộc G cho G đảm bảo chức F Khi ta gọi G phủ tập phụ thuộc hàm F Bổ đề 4: Mỗi ttập phụ thuộc hàm F phủ tập phụ thuộc hàm ... tính đầy đủ tức X→Y không thoả r X→Y suy diễn từ F Gọi F tập phụ thuộc hàm tập thuộc tính R Giả sử X→Y suy dẫn từ hệ tiên đề Xét quan hệ r gồm hai tập sau: 11 11 11 00 Các thuộc tính thuộc X+...
- 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
... 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 sinh quan hệ r có tập D để C tập ... 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 ... pháp: Bước 1: Từ tập quan hệ r = {h 1, h2, , hm} xây dựng tập Er hệ r theo định nghĩa: Er = { Eij : ≤ i < j ≤ m } Trong Eij = { a ∈ R : hi(a) = hj (a) } Bước 2: Từ tập Er xây dựng tập M M = { B...
- 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
... hệ từ F f6: A → H 26 Bao đóng PTH(Closure of a Set of Functional Dependencies) Cho F tâôp PTH định nghĩa R Tâôp hợp PTH hệ từ F gọi bao đóng F - + Ký hiêôu F + F⊆F 27 Tìm bao đóng F + Từ ... nghĩa R Gọi f môôt PTH suy dẫn từ F - Áp dụng luâôt dẫn cho PTH F để có f Tâôp hợp PTH suy dẫn từ F ký hiệu F’ - Ta muốn F’ = F + 31 Tìm bao đóng F (tt) + Từ tâôp F ban đầu ta sử dụng luâôt ... dẫn từ F không? + AB F = {A, B, C, D, E} Có D bao đóng Kết luâôn AB→D suy dẫn từ F 41 Ví dụ (tt) R(A, B, C, D, E, F) F = { AB→C, BC→AD, D→E, CF→B } Kiểm tra PTH D→A có suy dẫn từ...
- 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
... F2 ⇒ F1 suy dẫn từ F2 - F2 hệ F1 ⇒ F2 suy dẫn từ F1 Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 43 Ví dụ {A→BCDE} → {A→BC, A→D, CD→E} - Xét CD→E không thuộc F2 - F1 không suy dẫn từ F2 - F1 không ... quan hệ gốc thành vài quan hệ nhỏ - Mục đích: làm giảm trùng lắp thông tin Hai đặc tính quan trọng cần phải trì suốt trình phân rã - Sự bảo toàn thông tin • Có thể tìm thể quan hệ gốc từ quan hệ ... CD→E } F2 = { A→BCE, A→ABD, CD→E } F1 ≡ F2 ? Chứng minh - F1 hệ F2 ⇒ F1 suy dẫn từ F2 - F2 hệ F1 ⇒ F2 suy dẫn từ F1 Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 41 Ví dụ (tt) {A→BCE, A→ABD, CD→E...
- 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 ... 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 ... ∈ 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...
- 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
... 1.4.1 Bao đóng tập phụ thuộc hàm tập thuộc tính Định nghĩa 1.7[5][6] Cho tập phụ thuộc hàm F, bao đóng tập phụ thuộc hàm F kí hiệu F+ tập lớn chứa phụ thuộc hàm đƣợc suy diễn từ phụ thuộc hàm ... a) Phép chiếu Cho r quan hệ n xác định tập thuộc tính U={A1, A2, , An}, X tập U Phép chiếu quan hệ r tập thuộc tính X, kí hiệu x (r), tập r xác định tập thuộc tính X Ta có: x (r) = {t.X│ ... hệ r xác định tập thuộc tính {A1, A2, , An} quan hệ s xác định tập thuộc tính {B1, B2, , Bm} Tích Đề-các hai quan hệ r s kí hiệu r× s, tập tất (m+n) - có n thành phần thuộc r m thành phần sau...
- 67
- 265
- 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, 09:11
... quan v mụ hỡnh d liu dng khi: nh ngha khi, lc khi, khúa, i s quan h trờn khi, ph thuc hm v cỏc dng chun ca Chng 3: Phỏt biu v chng minh cỏc tớnh cht ca ph thuc kt ni trờn khi, ph thuc phc hp trờn ... t nhiờn hn 2.1 Khi, lc v cỏc phộp tớnh trờn 2.1.1 Khi, lc 245) Khỏi nim toỏn hc lm nn tng cho mụ hỡnh c s d liu dng (gi tt l mụ hỡnh khi) l cỏc hiu theo ngha ca lý thuyt hp Khi c nh ngha nh ... dng cho cỏc khi; bờn cnh ú cũn cú thờm phộp toỏn mi c xõy dng ú l : tớch - cỏc theo ch s[6] 318) i vi cỏc phộp hp, giao v tr thỡ hai tham gia phi l kh hp (ngha l chỳng cú cựng mt lc khi) a Phộp...
- 89
- 611
- 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
... nghĩa liệu – Ví dụ: Sửa Cột Ghi_chu thành kiểu liệu varchar(50) ALTER TABLE KHACHHANG ALTER COLUMN GHI_CHU varchar(50) – Nếu sửa kiểu liệu cột Ghi_chu thành varchar(5), mà trước nhập giá trị ... sinh khoảng từ năm 1978 đến 1983? Select MaNV, HoTen From NhanVien where Year(NTNS)>=1978 AND Year(NTNS)
- 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
... 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 ... 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 áp dụng quy tắc từ từ QT1 đến QT3 trạng thái quan ... đó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...
- 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
... 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 ... lớn phép duyệt để 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 ... ⊂ 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+ ... trái có từ thuộc tính trở lên) Bước 2: Với tập thật X, Nếu X+→Y ∈ F+ thay X→Y F X+→Y thực lại bước 12.4.2: Tập phụ thuộc hàm có vế phải thuộc tính Mỗi tập phụ thuộc hàm F tương đương với tập phụ ... tương đương f gọi dư thừa F suy dẫn từ tập F sau bỏ phụ thuộc hàm f * Thuật toán xác định f= X→Y có phải thành viên F hay không? Bước 1: Tạm xóa f khỏi F, gọi G tập thu G=F-f, G≠ ∅ chuyển qua bước...
- 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
... NỘI DUNG I Từ CSDL có thảo luận 1, thực công việc sau: - Xác định phụ thuộc hàm cho quan hệ - Tìm khóa tối ... U={ABCDEGHK} F={B→ACDEG, D→C, E→GA} Cho R(U, F), với U={ABCDEGH}và F={A→B, BC→DC, CE→G, ACE→H, CG→BD} I Từ CSDL có thảo luận 1, Xác định phụ thuộc hàm cho quan hệ tìm khóa tối thiểu quan hệ *.SINH_VIÊN ... 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...
- 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 ... 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 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ụ ... nghĩa quan hệ có 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...
- 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
... CHIẾU 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 ... THUỘC HÀM Hai tập phụ thuộc hàm F G tƣơng đƣơng nếu: • Mọi phụ thuộc hàm F suy đƣợc từ G phụ thuộc hàm G suy đƣợc từ F • Do F G tƣơng đƣơng F+ = G+ F phủ G phụ thuộc hàm G suy từ F ( G + ⊆ F ... R(A1, A2, , An) F tập phụ thuộc hàm định nghĩa R • Thuộc tính chia làm loại: • Tập gốc: xuất vế trái phụ thuộc hàm không xuất phụ thuộc hàm • Tập ngọn: xuất vế phải phụ thuộc hàm • Tập trung gian:...
- 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
... 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 Q c) Xác định dạng chuẩn Q d) Hãy tìm cách phân rã Q thành lược đồ CSDL đạt dạng ... Q(A,B,C,D) tập phụ thuộc hàm F F = {A→B;B→C; D→B} C = {Q1(A,C,D); Q2(B,D)} a) Xác định Fi (những phụ thuộc hàm F bao Qi) b) Lược đồ CSDL C có đạt dạng chuẩn BC ? Nếu không phân rã tiếp Qi C để biến C thành ... Kehoach chưa đạt dạng chuẩn 3, phân rã 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...
- 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
