... qu 1.1 H tiờn Armstrong l xỏc ỏng v Lu rng t h tiờn H c th suy c tt c cỏc quy tc suy din cũn li ,tc l cỏc quy tc F4 , F5 , F11, 24 a nờu mc 1.3 1.3.2 Bao ng ca thuc tnh nh n g h a 1.7 Cho ... li c c mt s cõu hi ctớ ngha xut phỏt t yờu cu ca thc t sinh ng hoc l t ú ta cng c th xut nhng quyt nh mcới ỳng n v ỡ th m chỳc nng khai thỏc d liu ch yu chi/c nng tỡm kim 1.1.3 Cc phộp toỏn ... cu , mt I thuyt mi c cp l lý thuyt v cỏc ph thuc d liu Ni n ph thuc d liu ni n nhng rng buc, quy nh m d liu mt c s d liu phi tha Mc ớch ca vic t cỏc rng buc l phi nhm bo m cho d liu c s d...
Ngày tải lên: 25/03/2015, 09:43
... ta có X →glb(t , t )Y Y →glb(t , t )Z Theo luật T3, ta có X →glb(t , t )Z Vậy T5 chứng minh 38 + Với X →t Y, áp dụng T2 ta có X →t XY với X → t Z, áp dụng T2 ta có XY → t ZY Theo luật T5, ta có: ... theo thời gian Tương tự CSDL truyền thống, hầu hết lược đồ quan hệ CSDL có yếu tố thời gian bước đầu thường xây dựng dựa kinh nghiệm người thiết kế quy tắc hình thức nào, có số lược đồ tạo không ... t1 ngày Thứ bảy Chủ nhật, t2 ngày từ Thứ hai đến Thứ sáu Cho M = (R, Ngày, φ) + Với ρ1 = {(R, t1)} ta có: Join(ρ1) = Down(Up(πR(M), t1), Ngày) = (R, Ngày, φ1); φ1(i) = φ(i), với i ngày Thứ bảy,...
Ngày tải lên: 21/10/2014, 03:14
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ệ
... xâu ký tự có độ dài không Thuộc tính Tên hàng xâu ký tự có độ dài không 30 Thuộc tính Mầu sắc xâu ký tự có độ dài không qúa 15 Trọng lượng số nguyên không 10 Tỉnh xâu ký tự không 20 Như ta có tập ... Chúng ta quy định kích thước cho thuộc tính (các trường) sau: Tên thuộc tính Mã hàng Tên hàng Màu sắc Trọng lượng Tỉnh Kiểu Ký tự Ký tự Ký tự Số Ký tự Kích thước 30 15 10 20 Có nghĩa quy định: ... muốn tính khóa tối tiểu tính A+ Vì thuật toán tính A+ có độ phức tạp đa thức thuật toán có độ phức tạp đa thức Có thể thấy thay đổi thứ tự thuộc tính R ta lại tìm khoá tối tiểu khác Hoàng Văn...
Ngày tải lên: 20/07/2015, 17:04
Nghiên cứu và phát hiện các phụ thuộc hàm mở rộng trong cơ sở dữ liệu theo cách tiếp cận tập thô
... tin dựa tri thức chuyên gia, kinh nghiệm chuyên gia đáng tin cậy phương thức phân đoạn tự động Đôi khi, thiếu trách nhiệm chuyên gia có dẫn tập hợp mô hình, phải có hỗ trợ phương thức tự động Mô ... Huế Sài gòn Bảng Một ví dụ hệ thông tin Tôn giáo Có Có Không Không Có Không Không Không Có Có Không 21 Trong ví dụ đối tượng khác x3, x4, x10 lại có giá trị thuộc tính giống nhau: trường hợp không ... chúng định nghĩa tự động, chúng gọi phân đoạn tự động Có nhiều phương pháp phân đoạn không tự động phân đoạn tự động nghiên cứu lĩnh vực học máy Năm 1997, Slowinski sử dụng phương thức entropy lớp...
Ngày tải lên: 30/11/2015, 16:40
Nghiên cứu các phụ thuộc hàm trong cơ sở dữ liệu hướng đối tượng mờ
... ny khụng cũn mang tớnh h hng lo vo cu Oracle, SQL, DB2, Tuy nhiờn, chỳng v cỏc ũi h cho h gi quy bi toỏn cụng nghi h v h h c ỡnh cỏc Nh ỡnh cú cỏc yờu khỏc so v c ng ph giao tỏc cú kho t ki...
Ngày tải lên: 04/12/2013, 13:45
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
... chất ta có: X → X+ (2) Từ (1) (2) suy X→ A ⇒ A ∈ X+ 5) Ta có X ⊆ XY Theo tính chất ta cóX+⊆ (XY)+ (1) Tƣơng tự ta có : Y+⊆ (XY)+ (2) Từ (1) (2) suy X+Y+⊆ (XY)+ 6) Theo chứng minh ta có: X+⊆ X+ ... Ak Do A1∈ X+ta có X → A1 Tƣơng tự: X → A2 X → Ak 14 Theo luật hợp ta có X → A1A2 Ak⇒X → X+ 4) Để chứng minh X++ =X+ta chứng minh X+⊆ X++và ngƣợc lại X++⊆ X+ Theo tính chất ta có X+⊆ X++ Ta ... so sánh biểu thức F: >,
Ngày tải lên: 11/09/2015, 08:41
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
... trũ rt quan trng vic thit k mụ hỡnh d liu Mt trng thỏi ph thuc hm ch rng giỏ tr ca mt thuc tớnh c quyt nh mt cỏch nht bi giỏ tr ca thuc tớnh khỏc.S dng cỏc ph thuc hm chun húa lc quan h v dng ... jd ỏng tic l cha tỡm thy mt h tiờn xỏc ỏng y cho lp jd nh i vi mvd v fd Tuy nhiờn mt thut toỏn quyt nh cho bi toỏn suy din lp rng buc gm cỏc fd v jd, gi l S N U ( chase) c a bi Maier, Mendelzon ... phõn bit nờn kt lun sc|= J 173) í ca iut toỏn Chase l bin i bng to ca ph thuc kt nij (j l jd cn c quyt nh bi toỏn suy din bi mt SC) bng cỏch ỏp dng cỏc fd v jd cú mt sc thụng qua cỏc lut F v J sau...
Ngày tải lên: 11/09/2015, 09:11
Một cách tiếp cận mở rộng mô hình cơ sở dữ liệu quan hệ để xử lý thông tin không đầy đủ và các phụ thuộc dữ liệu. pot
Ngày tải lên: 25/03/2014, 20:22
đồ á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ệ
... có tên cột khác tệp liệu hợp không ghi tên cột Nói cách khác có khung mà Phép toán dùng để hoà lẫn hai tệp liệu có số cột Hai tệp có cấu trúc cột nhau, ta dùng phép hợp thông thường hai tệp có ... bước cách đặt B = A lúc số bước lực lượng A Nhờ có nhận xét nhiều trường hợp viết thuật toán thực nhanh Hơn thuật toán phụ thuộc thứ tự cột R đảo thứ tự tìm khoá tối tiểu Sau tìm khoá tối tiểu mà ... lớn, điều quan trọng là, để khỏi mát thông tin ( có tính pháp lý ) phải phục hồi tệp gốc thời điểm cần, muốn hồi phục người ta phải dùng phép nối tự nhiên nối tất tệp liệu ta tệp liệu gốc lớn Việc...
Ngày tải lên: 30/04/2015, 09:52
Tìm hiểu các phụ thuộc bao hàm trong mô hình quan hệ và ứng dụng vào việc chuyển đổi sang mô hình EER
... Completes có bậc (nhị nguyên) có hai kiểu thực thể tham gia STUDENT COURSE Ngoài có bậc (phản xạ/đệ qui) bậc trở lên (đa nguyên) Ràng buộc số mối quan hệ: Giả sử có hai tập thực thể A B có mối quan ... Tương tự mối quan hệ kế thừa mô hình hướng đối tượng, tập thực thể E có mối quan hệ is-a với tập thực thể E’ (ký hiệu “E is-a E”) có nghĩa thực thể thuộc E thuộc E’ tất thuộc tính có E’ có E ... buộc toàn vẹn có ích, nhằm giúp cho người phân tích có định hướng để phát ràng buộc toàn vẹn, tránh bỏ sót Các ràng buộc toàn vẹn chia làm hai loại sau: Thứ nhất: Ràng buộc toàn vẹn có phạm vi quan...
Ngày tải lên: 15/12/2015, 12:16
Báo cáo nghiên cứu khoa học: " XÂY DỰNG PHỤ THUỘC HÀM THEO THỜI GIAN DỰA VÀO CÁC QUAN HỆ HAI NGÔI" pot
... Graph) lược đồ (C, ρ) đồ thị có hướng mà lớp c ∈ C tương ứng với nút có nhãn c, với thuộc tính phức A: d ∈ ρ(c), đó: d ∈ C, vẽ cạnh có hướng từ nút có nhãn c đến nút có nhãn d Nếu SDG chu trình ... τi có miền trị dom 109 Kiểu đa trị đơn, tức τi có dạng set(a) (với a kiểu nguyên tố), có miền trị P(dom) Kiểu đa trị phức hợp, tức τi có dạng set(tuple(τ′)) (với τ’ = A1: τ1’, …, An: τn’), có ... xét: Từ (iii) (iv) có ∑+urn = ∑*, có nghĩa hệ tiên đề {TFD1, …, TFD7} đắn đầy đủ suy dẫn không hạn chế lược đồ không hạn chế III Mở rộng mô hình liệu quy ước Trong mô hình liệu quy ước J Wijsen...
Ngày tải lên: 23/07/2014, 00:21
Đa dạng hoá, đa phương hoá quan hệ" và "là bạn với tất cả các nước trong cộng đồng thế giới
... ta, có nhiều viết nhà nghiên cứu chuyên gia đầu ngành nước đề cập đến khía cạnh khác trình toàn cầu hoá hội nhập kinh tế quốc tế Đây vấn đề rộng lớn, phức tạp có nhiều biến động; có nhận thức ... học - công nghệ Khoa học công nghệ có vai trò định lợi cạnh tranh tốc độ phát triển quốc gia - Xu hướng thứ hai việc ngày có nhiều Chính phủ theo đuổi sách tự hoá, mở cửa thị trường loại bỏ cản ... quốc tế an ninh, trật tự giúp Việt Nam tranh thủ kinh nghiệm thành tựu, phương tiện kỹ thuật đại giới để bảo vệ an ninh, trật tự, đồng thời tạo trận, môi trường an ninh, trật tự ổn định để phát...
Ngày tải lên: 20/03/2013, 08:34
Mối quan hệ và sự tác động lẫn nhau giữa xã hội và tự nhiên phụ thuộc vào nhận thức và vận dụng quy luật tự nhiên và quy luật xã hội trong hoạt động thực tiễn
... hoạt động có ý thức ngời không tự phát nh tự nhiên, qua trình hình thành phát triển lâu dài, xã hội tự có quy luật riêng mà thân ngời phải tuân theo.Đồng thời với tiến hoá tự nhiên, xã hội có trình ... thuộc giới tự nhiên, nằm lòng giới tự nhiên,và tất thống trị tự nhiên chỗ [ .] nhận thức đợc quy luật giới tự nhiên sử dụng đợc quy luật cách xác. Có nghĩa là, để điều khiển đợc tự nhiên, trớc ... dù có lệ thuộc nhiều vào tự nhiên xã hội, ngời thành phần định xu hớng phát triển hai yếu tố đó, : trớc hết phải có ngời có xã hội có mối quan hệ tự nhiên-xã hội, phải có lao động ngời phơng thức...
Ngày tải lên: 05/04/2013, 11:46
Phân tích các dạng chuẩn hoá dữ liệu trong mô hình quan hệ và một số thuật toán
... có tên cột khác tệp liệu hợp không ghi tên cột Nói cách khác có khung mà Phép toán dùng để hoà lẫn hai tệp liệu có số cột Hai tệp có cấu trúc cột nhau, ta dùng phép hợp thông thường hai tệp có ... bước cách đặt B = A lúc số bước lực lượng A Nhờ có nhận xét nhiều trường hợp viết thuật toán thực nhanh Hơn thuật toán phụ thuộc thứ tự cột R đảo thứ tự tìm khoá tối tiểu Sau tìm khoá tối tiểu mà ... tăng trưởng, thêm X ta có X →XY X →Z, dùng luật tăng trưởng thêm Y ta có XY →YZ Và cuối dùng luật bắc cầu suy cho X →XY XY →ZX có X→YZ b Từ X →Y dùng luật tăng trưởng thêm W có WX →WY Dùng luật...
Ngày tải lên: 25/04/2013, 13:29
Quan hệ và các phép toán
... (2,2)} không tồn P tính chất : a Không có tính phản xạ b Có số lẻ phần tử 33 Chứng minh bao đóng quan hệ R tính chất P tồn tại, giao tất quan hệ chứa R có tính chất P 34 Chứng minh bao đóng đối ... RoS g R-1 oS d SoR 11 Chứng minh rằng, hai quan hệ (hai ngôi) R S ta có : (RoS) -1 = S-1 o R-1 12 Giả sử R S hai quan hệ có tính chất phản xạ tập A Chứng minh bác bỏ khẳng định sau : a R S phản ... quan hệ phản xạ tập A R R2 17 Cho R quan hệ có tính chất phản xạ bắc cầu Chứng minh R n = R với n 18 Cho R quan hệ phản xạ tập A Chứng minh R n có tính chất phản xạ với n 19 Tìm ví dụ R không...
Ngày tải lên: 06/09/2013, 10:50
Mô hình quan hệ, các ràng buộc quan hệ và đại số quan hệ
... t1 , t2 , , tn Mỗi n-bộ t danh sách có thứ tự n giá trị, t =< v1 , v2 , , >, vi , ≤ i ≤ n , phần tử Dom(Ai ) giá trị không xác định (null value) Giá trị thứ i t ký hiệu t[Ai ] Bài giảng sở ... , Bm ) có n + m thuộc tính Mỗi Q kết nối R S chúng thoả mãn điều kiện nối Phép nối tự nhiên (*) nhằm loại bỏ thuộc tính thứ hai (thuộc tính thừa) điều kiện nối Định nghĩa chuẩn nối tự nhiên ... mãn hai quy tắc sau: Các thuộc tính F K có miền giá trị thuộc tính khoá P K R2 Các thuộc tính F K gọi tham chiếu đến (hoặc liên hệ đến) quan hệ R2 Một giá trị F K t1 trạng thái r1 (R1 ) có mặt...
Ngày tải lên: 29/09/2013, 11:20
Phụ thuộc hàm và chuẩn hóa cơ sở dữ liệu quan hệ
... 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 [Y ] Chúng ta nói có phụ thuộc hàm từ X vào Y Y phụ ... (chiếu): {X → Y Z} |= X → Y X → Z (hợp): {X → Y, X → Z} |= X → Y 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ụ ... đồ 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 hệ r R thoả mãn phụ thuộc hàm F Đầy đủ: việc sử dụng quy tắc từ QT1 đến QT3 lặp lại nhiều lần để suy...
Ngày tải lên: 29/09/2013, 11:20
Bài soạn nối các vế câu ghép bằng quan hệ từ - lớp 5 ( tuần 19)
Ngày tải lên: 24/11/2013, 03:11