hai phu thuoc ham tuog duong

Ngày tải lên: 14/08/2015, 14:41

Ngày tải lên: 23/07/2014, 00:21

Ngày tải lên: 21/10/2014, 03:14

... tập tất phụ thuộc hàm suy dẫn từ tập F theo quan hệ F*={f:X Y | X,Y⊆U, F╞f} Tính chất F*: Cho F G hai tập phụ hàm tập thuộc tính U ta có: Tính phản xạ: Với ∀ f ∈ F F ╞f từ ta suy F ⊆ F* Tính đơn...

Ngày tải lên: 16/08/2012, 09:16

... I I I Một phụ thuộc hàm (viết tắt FD) ký hiệu X → Y , hai tập thuộc tính X Y ràng buộc có tạo nên trạng thái quan hệ r R Ràng buộc là: với hai t1 t2 r , có t1 [X] = t2 [X] phải có t1 [Y ] = t2 ... tính khoá khoá theo cách đảm bảo không sinh “giả” 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 tắc thiết kế Phụ thuộc ... hiểu biết ngữ nghĩa thuộc tính xác định cách rõ ràng 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 tắc thiết kế Phụ thuộc...

Ngày tải lên: 29/09/2013, 11:20

... cách tổng quát: Đònh nghóa phụ thuộc hàm Q(A1,A2,…,An) lược đồ quan hệ X, Y hai tập Q+={A1,A2,…,An} r quan hệ Q t1,t2 hai r X → Y ⇔ (t1.X = t2.X ⇒ t1.Y = t2.Y) (Ta nói X xác đònh Y hay Y phụ thuộc ... hiển nhiên} Thuật toán Satifies Cho quan hệ r X, Y hai tập Q + Thuật toán SATIFIES trả trò true X → Y ngược lại false SATIFIES Vào: quan hệ r hai tập X,Y ra: true X → Y, ngược lại false SATIFIES(r,X,Y) ... ⇒ XZ → W Hệ tiên đề Armstrong (Armstrong’s Axioms) gồm luật: (1), (2) (5) Chứng minh Với t1,t2 hai quan hệ r Luật phản xạ: Ta có (t1.X = t2.X ⇒ t1.X = t2.X) theo đònh nghóa suy X → X Luật thêm...

Ngày tải lên: 29/09/2013, 14:20

... Siêu khóa khó a C C S S CS CSZ CS CS Z ZC CZ CZ SZ SZC SZ SZ CS CSZ CSZ Z Vậy lược đồ quan hệ Q có hai khóa là: {C,S} {S,Z} Thuật toán dễ hiểu, dễ cài đặt, nhiên với n lớn phép duyệt để tìm tập tất ... TG: Xi (TN ∪ (TN∪ Xi) Siêu + Xi) khóa S S φ C SC Q+ SC + Z SZ Q SZ + CZ SCZ Q SCZ Kết quan hệ có hai khóa : {S,C} {S,Z} khó a SC SZ IV BÀI TẬP 1/ Chứng minh tính chất sau: a) Tính cộng đầy đủ X...

Ngày tải lên: 29/09/2013, 14:20

... LIỆU Trang 38 Đònh nghóa phụ thuộc hàm Q(A1,A2,…,An) lược đồ quan hệ X, Y hai tập Q+={A1,A2,…,An} r quan hệ Q t1,t2 hai r X → Y ⇔ (t1.X = t2.X ⇒ t1.Y = t2.Y) (Ta nói X xác đònh Y hay Y phụ thuộc ... hiển nhiên} Thuật toán Satifies Cho quan hệ r X, Y hai tập Q+ Thuật toán SATIFIES trả trò true X → Y ngược lại false SATIFIES Vào: quan hệ r hai tập X,Y ra: true X → Y, ngược lại false SATIFIES(r,X,Y) ... ⇒ XZ → W Hệ tiên đề Armstrong (Armstrong’s Axioms) gồm luật: (1), (2) (5) Chứng minh Với t1,t2 hai quan hệ r Luật phản xạ: Ta có (t1.X = t2.X ⇒ t1.X = t2.X) theo đònh nghóa suy X → X Luật thêm...

Ngày tải lên: 09/10/2013, 13:20

... U∉F+ Hai điều kiện tương đương với: a) K+=U b)∀A∈K (K-{A})+≠U Hoặc tương đương với a)K→U b)∀A∈K (K-{A})+→U 18 *Tính chất khóa siêu khóa Hợp siêu khóa siêu khóa Giao siêu khóa chưa siêu khóa Hai ... 23 14.3.3: Giao tất khóa Ký hiệu Iα tập mà phần tử tham gia vào 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 ... 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...

Ngày tải lên: 14/10/2013, 18:11

... nh viờn c Ngoi ra, v hai l thu o l khụng cú quan h o hai l ha/l y v tớnh nh viờn khỏc c m Vớ d o s C1 v C2, a l hai l o nhi l ny o m mC (o) a , mC (o) a , t Gi o thu (hai) l p khỏc cú th ... ATTRIBUTES thuoc_ tinh_1: [FUZZY] DOMAIN dom_1 OR type_1 WITH DEGREE OF degree_1; thuoc_ tinh_m: [FUZZY] DOMAIN dom_m OR type_m WITH DEGREE OF degree_m; m: float; WEIGHT w (thuoc_ tinh_1) = w_1; w (thuoc_ tinh_m) ... logic m : ph , v m , ho v cỏc toỏn h tham gia vo ba phộp toỏn ny l cỏc giỏ tr m ờn cựng v bi U [49] ~ Phộp v m ( ): K v m l m giỏ tr A: mA(x) v B: mB(x) l hai giỏ tr ờn cựng v U, phộp v m ~ A...

Ngày tải lên: 04/12/2013, 13:45

Ngày tải lên: 12/12/2013, 14:15

Ngày tải lên: 13/12/2013, 17:15

... ketqua lbthuoctinh.Items[(int)b[a[dem]] - 64].Text; + "->" + hienthi_thuoctinh(s); phanhoach(s, lbY); lbtohop_luugiu.Items.Clear(); int giu = 0; if Convert.ToDouble(esynol.Text)) (tinh_phuthuochamxapxi() ... trung bình tất lần thực 1.1.2 Các phương pháp khai phá liệu Với hai đích khai phá liệu Dự đoán Mô tả , người ta thường sử dụng phương pháp sau cho khai phá liệu: - Phương pháp quy nạp - Phát luật ... khai thác liệu bước qui trình phát tri thức gồm có thuật toán khai thác liệu chuyên dùng số qui định hiệu tính toán chấp nhận để tìm mẫu mô hình liệu Nói cách khác, mục đích phát tri thức khai...

Ngày tải lên: 17/02/2014, 20:58

Ngày tải lên: 18/02/2014, 02:44

Ngày tải lên: 12/03/2014, 04:20

... Vào: hai tập pth F G  Ra: Đúng F ≡ G, sai ngược lại EQUIVALENCE( F, G) Begin V := Derives (F,G) AND Derives(G,F) Return (V) End Môn học Cơ sở liệu nâng cao 17 Phủ thu gọn tự nhiên Cho hai tập ... gọn tự nhiên theo nghĩa sau:  a) Hai vế trái phải PTH G rời (không giao nhau) b) Các vế trái PTH G khác đôi Môn học Cơ sở liệu nâng cao 18 Phủ không dư Cho hai tập PTH F G tập thuộc tính U G ... đương Môn học Cơ sở liệu nâng cao 15 Thuật toán DERIVES kiểm tra F |= G          Vào : hai tập PTH F G Ra: Đúng F |= G sai ngược lại DERIVES (F,G) Begin V:= true; For each X → Y ∈ G V...

Ngày tải lên: 22/03/2014, 23:20

... định nghĩa R G là phu nếu G ≡ F tương đương 48 Môật số khái niêậm (tt)  PTH đầy đủ Xét X → Y Nếu ¬X’ ⊂ X cho F ≡ F – {X→Y} ∪ {X’→Y} Thì Y phu thuộc đầy đủ vào X Y phu thuộc hàm ... Diễnviên Không là phu thuộc hàm 20 Chú y  Xét thể hiêôn r1 Tênphim Nămsx Thờilượng Loạiphim Xưởngsx 1977 124 color Fox Carrie Fisher Star Wars 1977 124 color Fox Mark Hamill Star Wars 1977 ...  Có thể biểu diễn RBTV PTH PTH biểu diễn mối liên hệ thuộc tính quan hệ Định nghĩa: Nếu A, B hai thuộc tính R, B phụ thuộc hàm A(ký hiệu A→B), nếu giá trị A R xác định giá trị B R Cơ sở liệu...

Ngày tải lên: 28/03/2014, 21:22

... Cho lược đồ quan hệ gồm n thuộc tính: Q(A1, A2,…, An) − X, Y hai tập Q+={A1, A2,…, An} − r quan hệ Q − t1, t2 hai r Phụ thuộc hàm hai thuộc tính X Y ký hiệu X Y định nghĩa sau: X Y ⇔(t1.X = ... X→Y G ta xác định xem X→Y có thành viên F không − Nếu hai bước đúng F ≡G Phụ thuộc hàm tương đương  Ví dụ: Cho lược đồ quan hệ Q(ABCE) hai tập phụ thuộc hàm: − F={A→BC,A→D,C→E} − G = {A→BCE,A→ABD,C→E} ... → D, AB → E, BI → E, C → I, E → C} tìm bao đóng {AE}+ Phụ thuộc hàm tương đương   Định Nghĩa: Hai tập phụ thuộc hàm F G tương đương (Equivalent) F+ = G+ − ký hiệu F = G Thuật toán xác định F...

Ngày tải lên: 29/03/2014, 18:54

Ngày tải lên: 29/03/2014, 18:54

Ngày tải lên: 04/04/2014, 04:21