phụ thuộc hàm đa trị

... g2 90 Trang 11Danh sách hình v Hình 1.1 Hàm thu c c a s m “g n Y” 15 Hình 1.2 Hàm thu c c a s m “t i thi u Y” 16 Hình 1.3. Hàm thu c c a s m “t i đa Y” 16 Hình 1.4 th l c đ m c a CSDL ... Ph thu c hàm m và các lu t suy d n 31 -2.1.1 S t ng t c a hai giá tr thu c tính - 31 - 2.1.2 Ph thu c hàm m trong l p đ i t ng - 33 - 2.1.3 Tách các thu c tính ki u b theo ph thu c hàm m - ... Y Hình 1.2: Hàm thu c c a s m “t i thi u Y” mnot t i thi u Y (x) =1 - mt i thi u Y (x) ï ï î ïï í ì ³ < < - -£ = d dd dm x x Y Y x Y x x Y đa , 0 , , 1 ) ( toái Hình 1.3: Hàm thu c c

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

... các phụ thuộc hàm của F thì cũng thỏa phụ thuộc hàm X → Y 2 Phụ thuộc hàm được suy diễn logic từ F Bao đóng của một tập phụ thuộc hàm F Trang 9 Bao đóng F + của F : là tập tất cả các phụ thuộc ... của một tập phụ thuộc hàm * Từ tập phụ thuộc hàm F cho trước , câu hỏi là tìm phủ tối thiểu của F ? Bước 1: loại khỏi F các phụ thuộc hàm có vế trái dư thừa. Bước 2: Tách các phụ thuộc hàm có vế ... thừaTrang 313.b Tập phụ thuộc hàm có vế phải một thuộc tính Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ thuộc hàm G mà vế phải của các pth trong G chỉ gồm một thuộc tính Ví dụ 3:

Ngày tải lên: 12/05/2014, 11:52

... G nếu mọi phụ thuộc hàm của G đều suy được từ F ( G + ⊆ F + ) Trang 36PHỤ THUỘC HÀM ĐẦY ĐỦ• Cho phụ thuộc hàm F định nghĩa trên lƣợc đồ quan hệ R Phụ thuộc hàm X  Y là phụ thuộc hàm trên R ... các phụ thuộc hàm trong G để có tập phụ thuộc hàm chỉ có vế phải là một thuộc tính • Kiểm tra các phụ thuộc hàm đầy đủ với các phụ thuộc hàm có vế trái từ hai thuộc tính trở lên? • Loại bỏ các phụ ... các phụ thuộc hàm thừa Input: tập phụ thuộc hàm F Output: tập phủ tối thiểu G Trang 40PHÉP CHIẾU PHỤ THUỘC HÀM• Input: Quan hệ R, tập phụ thuộc hàm S, quan hệ R1 • Output: Tập phụ thuộc hàm trên

Ngày tải lên: 02/07/2014, 17:43

... Vế phải chỉ có 1 thuộc tính  Không có thuộc tính dư thừa ở vế trái  Không có phụ thuộc hàm dư thừa Trang 14Phủ cực tiểu của một lược đồ Trang 15Phủ cực tiểu của tập phụ thuộc hàm R = <U, F> ...  đpcm Trang 10Bao đóng của tập thuộc tính (X+) Trang 11 Hai tập phụ thuộc hàm tđương Cho F & G F  G nếu và chỉ nếu F+ = G+ G Y Trang 12Hai tập phụ thuộc hàm tđương (2)Ví dụ: Kiểm tra F ... THUYẾT PHỤ THUỘC HÀM Trang 2DƯ THỪA DL DỊ THƯỜNGTại sao phải nghiên cứu LTPTH? DƯ THỪA DL DỊ THƯỜNG Trang 3MỘT SỐ CÁC ĐỊNH NGHĨA TRONG LÝ THUYẾT PHỤ THUỘC HÀM Trang 5Lược đồ quan hệ thoả mãn phụ

Ngày tải lên: 06/07/2014, 07:17

... đó của C, có miền trị là π(c) Kiểu phức và đa trị, tức τ i có dạng set(c) (với c ∈ C), có miền trị là P(π(c)) 3.2 Chuyển đổi thuộc tính đa trị 3.2.1 Chuyển đổi thuộc tính đa trị và phức hợp thành ... ta có SDG như sau: Hình 2.1: SDG của lược đồ trong ví dụ 2.3 2.3 Phụ thuộc hàm theo thời gian Định nghĩa 2.9. Một phụ thuộc hàm theo thời gian (TFD) trên lược đồ (C, ρ) có dạng c: X →α Y với ... biểu diễn các ràng buộc phụ thuộc hàm theo thời gian (TFD) và xây dựng lý thuyết chuNn hoá trên các CSDL có yếu tố thời gian (gọi tắt là CSDL thời gian) Lý thuyết phụ thuộc hàm theo thời gian đã

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

... tố thời gian đó là phụthuộc hàm theo thời gian (TFD) Phụ thuộc hàm theo thời gian có vai trò quantrọng đối với việc phân tích và thiết kế CSDL có yếu tố thời gian Phụ thuộc hàm theo thời gian ... hệ giữa phụ thuộc hàm theo thờigian (TFD) và phụ thuộc hàm (FD) truyền thống Bên cạnh đó, khi tìm hiểu cáchtiếp cận của Wijsen chúng tôi đã so sánh hai quan điểm về lý thuyết phụ thuộchàm theo ... chính của chúng tôi là nhằm nghiên cứu cácphụ thuộc hàm theo thời gian, thông qua hai quan điểm của Wang và Wijsen.Liên quan đến lý thuyết phụ thuộc hàm theo thời gian của Wang, chúng tôi cũng

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

... thừa trong phụ thuộc hàm) Nhận xét: Tất cả các tập phụ thuộc hàm đều có phụ thuộc hàm tối thiểu tương đương với nó Có thể có nhiều phụ thuộc hàm tối thiểu Thuật toán: Tìm tập phụ thuộc hàm tối thiểu ... không có phụ thuộc hàm dư thừa) Không thể thay thế bất kỳ phụ thuộc hàm X→A nào trong F bằng phụ thuộc hàm Y→A, với Y⊂X mà vẫn có được mộttập phụ thuộc hàm tương đương với F (tức là, không có thuộc ... thỏa phụ thuộc hàm A → B Tập phụ thuộc hàm: F = { A → B, B → C} Ta có phụ thuộc hàm A → C là phụ thuộc hàm được suy từ F Hệ tiên đề Armstrong được sử dụng để tìm ra các phụ thuộc hàm suy diễn từ

Ngày tải lên: 27/10/2014, 09:42

... với U là tập các thuộc tính và F là tập các phụ thuộc hàm - R: Quan hệ trên tập thuộc tính - FR: Tập tất cả các phụ thuộc hàm đúng trên quan hệ R - F+: Bao đóng của tập phụ thuộc hàm - :Tập tất ... Y, trong đó X, Y U Ta nói phụ thuộc hàm X → Y đúng trong quan hệR = {h1, …, hm} trên U nếu Ta cũng nói R thỏa mãn phụ thuộc hàm X → Y Gọi FR là họ tất cả các phụ thuộc hàm đúng trên quan hệ R Trang ... độ của các phép toán xử lý quan hệ Cho F là một tập phụ thuộc trên hàm U và X → Y là một phụ thuộc hàm trong F Tập Y được gọi là phụ thuộc hàm đầy đủvào X nếu X → Y là rút gọn trái, nghĩa là

Ngày tải lên: 16/11/2014, 13:39

... Bao đóng của tập thuộc tính™ Tìm bao đóng của tập thuộc tính – Ví dụ 1 5.6 Bao đóng của tập thuộc tính ™ Tìm bao đóng của tập thuộc tính – Ví dụ 1 Trang 145.6 Bao đóng của tập thuộc tính™ Tìm ... của tập thuộc tính™ Thuật toán Tìm bao đóng của tập thuộc tính Æ Khi đó X+ F = Xi 23 www.tdt.edu.vn C Cơơ Sở Dữ Liệu Sở Dữ Liệu 5.6 Bao đóng của tập thuộc tính ™ Tìm bao đóng của tập thuộc tính ... Bao đóng của tập thuộc tínhthể suy dẫn từ X nhờ tập bao đóng của F (F+) 5.6 Bao đóng của tập thuộc tính ™ Thuật toán Tìm bao đóng của tập thuộc tính ƒ Input: Tập U hữu hạn các thuộc tính &

Ngày tải lên: 09/04/2015, 20:41

... thông như vậy Chỉ có phụ thuộc hàm mới đưa ra được thương trường II.1.3 Định nghĩa hệ tiên đề Amstrong cho phụ thuộc hàm Gọi F là tập tất cả các phụ thuộc hàm đối với lược ... a1,... là một phụ thuộc hàm Khi đó S là một sơ đồ quan hệ nếu: S = < R,F > trong đó F = F gồm t phụ thuộc hàm thì tập ấy gọi là sơ đồ quan hệ t phụ thuộc hàm này do ... đó, với năm thuộc tính cụ thể gồm: Mã_sv, Họ_tên, Giới _tính, Năm_sinh, Quê_quán Trong tệp dữ liệu trên có 20 bản ghi II.1 PHỤ THUỘC HÀM II.1.1 Khái niệm về phụ thuộc hàm Trên cơ

Ngày tải lên: 30/04/2015, 09:52

... tỉ lệ 3 Phụ thuộc đa trị hàm mờ : a Khái niệm phụ thuộc đa trị mờ của Jyothi và Babu Dựa vào ý nghĩa của phụ thuộc đa trị trong CSDL quan hệ, các tác giả đưa ra khái niệm phụ thuộc đa trị mờ bằng ... trọng, trong đó phụ thuộc dữ liệu là đáng quan tâm nhất Một trong những phụ thuộc dữ liệu quan trọng nhất là phụ thuộc hàm trong CSDL quan hệ Phụ thuộc hàm mờ được mở rộng từ phụ thuộc hàm cổ điển ... đã đưa ra một số khái niệm phụ thuộc hàm mờ a Khái niệm phụ thuộc hàm mờ của Raju Khái niệm phụ thuộc hàm mờ được Raju xây dựng trên mô hình tập con mờ Phụ thuộc hàm mờ X ~> Y đúng trên quan

Ngày tải lên: 02/06/2015, 16:56

... (Tỉnh) = Hà nội. 1.2 Phụ thuộc hàm Khái niệm về phụ thuộc hàm trong một quan hệ là rất quan trọng trong việc thiết kế mô hình dữ liệu. Năm 1970 E.F Codd đã đề cập phụ thuộc hàm trong mô hình ... với các lớp họ phụ thuộc hàm được thể hiện bằng hình vẽ sau: Lớp các quan hệ 1.4 Hàm đóng Lớp các phụ thuộc hàm Định nghĩa 5 (Hàm đóng) Một hàm L : P(R) → P(R), ... xẩy ra tự nhiên nhất giữa các tập thuộc tính. Phụ thuộc hàm trên tập các thuộc tính R là một dãy các ký tự có dạng A → B, ở đây A, B ⊆ R. Ta nói phụ thuộc hàm A → B đúng trong r nếu A B . Ta

Ngày tải lên: 20/07/2015, 17:04

... Loại bỏ các thuộc tính dư thừa ở bên trái của mỗi phụ thuộc hàm Sau khi thực hiện B2 ta có F={ BE→C, EI→B, C→D, C→I, BC→A } Và không thể loại bỏ thuộc tính nào bên vế trái của phụ thuộc hàm nên phủ ... Loại bỏ các thuộc tính dư thừa ở bên trái của mỗi phụ thuộc hàm Sau khi thực hiện B2 ta có F={ B→D, B→E, D→C, E→A, E→G} Và không thể loại bỏ thuộc tính nào bên vế trái của phụ thuộc hàm nên phủ ... U={ABCDEI} và F={BE→C, EI→B, C→DI, BC→AB, EI→C}. B1: Tách các phụ thuộc hàm F={BE→C, EI→B, C→D,C→I, BC→A,BC→B, EI→C}. B2: Loại bỏ những phụ thuộc hàm dư thừa : + Có BE→C (1) EI→B nên EI→BE (2) (theo

Ngày tải lên: 12/08/2015, 23:22

... để suy ra các phụ thuộc hàm thuộc F+ Bao đóng của tập phụ thuộc hàm  Ví dụ:  A+ = A chỉ gồm các phụ thuộc hàm hiển nhiên  {AB}+ = ABC cho các phụ thuộc hàm không hiển ... phụ thuộc hàm có vế trái không dư thừa F là tập phụ thuộc hàm có vế phải một thuộc. .. chứa phụ thuộc hàm CE  F không tương đương với G’ Phủ tối thiểu của tập phụ thuộc ... 2 tập phụ thuộc hàm tương đương F+=G+  Với mỗi phụ thuộc hàm YZ trong F Tính Y+ trên tập phụ thuộc hàm G Nếu Z  Y+ thì YZ trong G+ và ngược lại Phụ thuộc hàm dư

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

... tính Mỗi tập phụ thuộc hàm F đều tương đương với một tập phụ thuộc hàm G mà vế phải của các phụ thuộc hàm thuộc G chỉ gồm một thuộc tính 15 Phụ thuộc hàm không dư ... → Y là phụ thuộc hàm có thuộc tính vế trái không dư thừa hay Y phụ thuộc đầy đủ vào Z Z → Y còn được gọi là phụ thuộc hàm đầy đủ Phụ thuộc hàm có vế phải một thuộc tính ... phụ thuộc hàm không dư thừa nếu không tồn... thuộc hàm F được gọi là phủ tối thiểu của tập phụ thuộc hàm (hay tập phụ thuộc hàm tối thiểu) nếu thỏa: (i) F là tập phụ thuộc

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

... hai không gian mêtric, F: X ⇉ Y là ánh xạ đa trị Nếu F là đa trị chặt, usc, có giá trị compact và X compact thì F(x) compact Bài tập 2: Cho ánh xạ đa trị F:  →  cho bởi F(a) = { (x, y) ∈ 2 ... tại xo là: II.Đạo hàm của hàm đa trị: Cho X, Y là 2 không gian định chuẩn, F: X ⇉ Y GraphF = GrF = { (x, y) ∈ X×Y : y ∈ F(x) } 1.Đạo hàm Contigent: (đạo hàm Bouligand) Đạo hàm Contigent của ... là hai không gian mêtric, F: X  Y là ánh xạ đa trị đóng, r: X → ℝ+ là hàm đơn trị nửa liên tục trên Nếu Y là không gian hữu hạn chiều thì ánh xạ đa trị Fr: X → Y xác định bởi Fr(x) = F(x)∩(r(x).B)

Ngày tải lên: 11/09/2015, 08:29

... trên r * Phụ thuộc hàm đƣợc suy diễn logic từ tập phụ thuộc hàm F Cho lƣợc đồ quan hệ R xác định trên tập thuộc tính U, F là tập các phụ thuộc hàm trên R và X → Y là một phụ thuộc hàm, X,Y ⊆U ... lại Trang 25 Cho tập phụ thuộc hàm F xác định trên tập thuộc tính U và f là một phụ thuộc hàm trên U Ta nói phụ thuộc hàm f được suy dẫn theo quan hệ từ tập phụ thuộc hàm F kí hiệu F ⊢ f nếu ... [5][6] Cho tập phụ thuộc hàm F xác định trên tập thuộc tính U và f là một phụ thuộc hàm trên U Ta nói phụ thuộc hàm f được suy dẫn theo tiên đề (hoặc suy dẫn logic) từ tập phụ thuộc hàm F kí hiệu

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

... trên r.* Phụ thuộc hàm được suy diễn logic từ tập phụ thuộc hàm F Cho lược đồ quan hệ R xác định trên tập thuộc tính u, F là tập các phụ thuộchàm trên R và X —> Y là một phụ thuộc hàm, X,Y ... quan Trang 2395) Cho tập phụ thuộc hàm F xác định trên tập thuộc tính u và f là một phụ thuộc hàm ừên u Ta nói phụ thuộc hàm f được suy dẫn theo quan hệ từ tập phụ thuộc hàm F kí hiệu F I- f nếu ... f.97) Cho tập phụ thuộc hàm F xác định trên tập thuộc tính Ư và f là một phụ thuộc hàm ừên u Ta nói phụ thuộc hàm f được suy dẫn theo tiên đề (hoặc suy dẫn logic) tò tập phụ thuộc hàm F kí hiệu

Ngày tải lên: 11/09/2015, 09:11