... quan hệ DATHANG(MADH, MAKH, NGAYDH) GIAOHANG(MAGH, MADH, NGAYGH) Xét RBTV R11: Nội dung: Ngày giao hàng không trước ngày đặt hàng ∀g∈GIAO_HANG, ∃!d∈DAT_HANG:d[MADH]=g[MADH] ∧ d[NGAYDH] ... ∃k ∈ (DANGKY_LT∗ CA_TH): k[SV, MA_CATH] = d[SV,MA_CATH] Hay: DANGKY_TH[SV,MA_CATH] ⊆ (DANGKY_LT ∗ CA_TH) [SV,MA_CATH] 11/21/16 37 RBTV có chu trình (3/3) Bối cảnh: CA_TH,DANGKY_LT,DANGKY_TH ... quan hệ gia đình với nhân viên công ty ∀t ∈ THANNHAN, ∃n ∈ NHANVIEN: n[MANV] = t[MANV] (Viết tắt:THANNHAN[MANV] ⊆ NHANVIEN[MANV]) 11/21/16 22 RVTV tham chiếu (3/6) Bối cảnh: NHANVIEN, THANNHAN...
... đơn giản Page Ví dụ: Tìm ma trận vuông có định thức cho trước phần tử không > restart; with(linalg): Warning, the protected names norm and trace have been redefined and unprotected > matran:=proc(n) ... redefined Page Kích chuột hình vẽ, ta xem từ nhiều góc độ khác Bằng cách thay đổi phương trình thích hợp mặt phẳng ta có thiết diện đường hyperbol hay parabol 2.2.3 Sửdụng Maple để hình thành ... with(plots): >animate(plot3d,[y/3-10,x=20 t,y=20 t,color=red,style=PATCHNOGRID],t=18 17,axes=fr amed,background=plot3d([z*cos(t),z*sin(t),z],z=-20 0,t=Pi Pi)); Warning, the name changecoords has been...
... đ a phương pháp kiểm tra s a ch aliệu đối tượng, để có liệu hợp lệ, trước thực TYTG Những khái niệm sửdụngđể kiểm tra s a ch aliệu bao gồm: kiểm tra miền giá trị liệu (range checking), sửdụng ... Paul John Paul Wadaine Wadaine Wadaine Wadaine Wadaine [4, 6] [1,2] [1,9] [6,now] [7,12] John John Paul Wadaine Wadaine Wadaine [1,2] [4,now] [1,12] Hình 2.4. 5a: Thực phép fold thuộc tính Duration ... TÍNH TOÀNVẸN C ADỮLIỆURÀNGBUỘC THEO THỜI GIAN Tính toànvẹnliệuràngbuộc theo thời gian hay gọi tắt RBTVTG, nhằm trì ngữ ngh a, tính đắn liệu thay đổi theo thời gian, có cập nhật liệu...
... đ a phương pháp kiểm tra s a ch aliệu đối tượng, để có liệu hợp lệ, trước thực TYTG Những khái niệm sửdụngđể kiểm tra s a ch aliệu bao gồm: kiểm tra miền giá trị liệu (range checking), sửdụng ... Relational Model valid-time Gadia-1, 1988 Heterogeneous Relational Model valid-time Gadia-2, 1988 TempSQL bitemporal Gadia-3, 1992 DM/T transaction Jensen, 1991 LEGOL 2.0 valid-time Jones DATA ... để câu truy vấn hỗ trợ cho việc định điều trị khoa y trường đại học Stanford 1.1.3 Tính toànvẹnliệuràngbuộc theo thời gian Tính toànvẹnliệuràngbuộc theo thời gian, gọi tắt ràngbuộc toàn...
... quan hệ) không phép s a giá trị Thao tác thêm xoá xét quan hệ Thao tác s a xét s a thuộc tính quan hệ Trước xét thao tác thực làm vi phạm ràngbuộc hay không CSDL phải thoả ràngbuộctoànvẹn ... MAMH_TRUOC) GIAOVIEN(MAGV,HOTEN,HOCVI,HOCHAM,GIOITINH,NGSINH,NGVL, HESO, MUCLUONG, MAKHOA) GIANGDAY(MALOP,MAMH,MAGV,HOCKY, NAM,TUNGAY,DENNGAY) KETQUATHI (MAHV, MAMH, LANTHI, NGTHI, DIEM, KQUA) Khoa HTTT-Đại ... (DENNGAY) Nội dung: ∀gd ∈ GIANGDAY: gd.TUNGAY < gd.DENNGAY Bối cảnh : GIANGDAY Bảng tầm ảnh hưởng: Thêm X a R2 GIANGDAY + - S a +(Tungay, Denngay) Khoa HTTT-Đại học CNTT 14 3.1.3 Ràng buộc...
... quan hệ) không phép s a giá trị Thao tác thêm xoá xét quan hệ Thao tác s a xét s a thuộc tính quan hệ Trước xét thao tác thực làm vi phạm ràngbuộc hay không CSDL phải thoả ràngbuộctoànvẹn ... MAMH_TRUOC) GIAOVIEN(MAGV,HOTEN,HOCVI,HOCHAM,GIOITINH,NGSINH,NGVL, HESO, MUCLUONG, MAKHOA) GIANGDAY(MALOP,MAMH,MAGV,HOCKY, NAM,TUNGAY,DENNGAY) KETQUATHI (MAHV, MAMH, LANTHI, NGTHI, DIEM, KQUA) Khoa HTTT-Đại ... (DENNGAY) Nội dung: ∀gd ∈ GIANGDAY: gd.TUNGAY < gd.DENNGAY Bối cảnh : GIANGDAY Bảng tầm ảnh hưởng: Thêm X a R2 GIANGDAY + - S a +(Tungay, Denngay) Khoa HTTT-Đại học CNTT 14 3.1.3 Ràng buộc...
... Thuật Cao Thắng Giáo Trình Cơ Sở DữLiệu Trang 49 Thứ nhất: Ràngbuộctoànvẹn có phạm vi quan hệ bao gồm :Ràng buộctoànvẹn miền giá trị, ràngbuộctoànvẹn liên thuộc tính, ràngbuộctoànvẹn ... Thứ hai: Ràngbuộctoànvẹn có phạm vi nhiều quan hệ bao gồm :Ràng buộctoànvẹn phụ thuộc tồn tại, ràngbuộctoànvẹn liên - liên quan hệ, ràngbuộctoànvẹn liên thuộc tính - liên quan hệ Để ... Cũng giống ràngbuộctoànvẹn khoá nội, loại ràngbuộctoànvẹn phổ biến CSDL Ví dụ 4.5 R2 dathang[MAKH] ⊆ khach[MAKH] R2 Thêm S a Xoá dathang + + - Khach - - + 4.2.2.2 .Ràng BuộcToànVẹn Liên...
... ràngbuộctoànvẹn Các ràngbuộctoànvẹn chia làm hai loại sau: + Ràngbuộctoànvẹn phạm vi quan hệ bao gồm :Ràng buộctoànvẹn miền giá trò, ràngbuộctoànvẹn liên thuộc tính, ràngbuộctoàn ... thu Ràngbuộctoànvẹn liên Ràngbuộctoànvẹn liên ràngbuộctoànvẹn quan hệ Ràngbuộctoànvẹn liên hay gọi ràngbuộctoànvẹn kh a Đây loại ràngbuộctoànvẹn phổ biến, có mặt lược đồ quan ... gọi ràngbuộctoànvẹn kh a ngoại Cũng giống ràngbuộctoànvẹn kh a chính, ràngbuộctoànvẹn phụ thuộc tồn phổ biến CSDL Ví dụ: Với r, s quan hệ Dathang, Khach ta có ràngbuộctoànvẹn sau R2:...
... :Ràng buộctoànvẹn miền giá trò, ràngbuộctoànvẹn liên thuộc tính, ràngbuộctoànvẹn liên + Ràngbuộctoànvẹn phạm vi nhiều quan hệ bao gồm :Ràng buộctoànvẹn phụ thuộc tồn tại, ràngbuộc ... t2 MAKH Cuối ∀ R1 Thêm S a X a r + + - Ràngbuộctoànvẹn phụ thuộc tồn tại: Ràngbuộctoànvẹn phụ thuộc tồn gọi ràngbuộctoànvẹn kh a ngoại Cũng giống ràngbuộctoànvẹn kh a chính, ràngbuộc ... MAKH số tiền thu SOTIEN Mỗi khách hàng ngày có nhiều số phiếu thu Ràngbuộctoànvẹn liên Ràngbuộctoànvẹn liên ràngbuộctoànvẹn quan hệ Ràngbuộctoànvẹn liên hay gọi ràngbuộctoàn vẹn...
... phân công vào đề án phòng ban phụ trách PHG=PHONG NHANVIEN MANV=MA_NVIEN MANV, MADA MA_NVIEN, SODA DEAN SODA=MADA PHANCONG 35 Ví dụ 14 (tt) Nhân viên phân công vào đề án phòng ban phụ trách ... liên quan hệ Là ràng buộc xảy nhiều quan hệ khác R A B C D α α 1 α β β β 12 β β 23 S A B C α α β γ 10 28 Ví dụ 11 HOADON(SOHD, MAKH, NGAYHD) CTHD(SOHD, MAHH, DGIA, SLG) Mỗi h a đơn phải ... - Assertion Trigger Transaction (giao tác) Stored Procedure (thủ tục lưu trữ nội) 37 Cài đặt Các RBTV cài đặt - - Primary key Foreign key Check contraint Assertion Trigger Transaction 38 Assertion...
... làm liệu: ta thấy dataset giá trị sai lêch ta không cần lọc bổ mẫu làm liệu Vũ Trung Kiên – Lớp CNPM – Sửdụng weka để phân lớp cho dataset Computer Hardware o Rời rạc h a liệu: data set bao gồm ... CNPM – Sửdụng weka để phân lớp cho dataset Computer Hardware Quy trình thực huấn luyện phân lớp với mẫu liệu machine.arff Dữliệuđể xây dựng mô hình: + Dữliệu gốc (original dataset) tập liệu ... – Sửdụng weka để phân lớp cho dataset Computer Hardware Chọn Tab Evaluation chọn ClassifierPerformanceEvaluator để đánh giá hiệu mô hình phân lớp 12 Vũ Trung Kiên – Lớp CNPM – Sửdụng weka để...
... mục Search Method chọn GredySteepWise, làm sau: - Bấm Start để thực hiện, ta kết sau: Vậy data có 11/15 thuộc tính chọn là: age workclass education education-num marital-status occupation relationship ... tính sửdụng Cross validation, ta chọn ATTRIBUTE SELECTION MODE = CROSS-VALIDATION (FOLDS = 10) bấm nút Start để thực hiện: Sửdụng Cross- validation, ta có tập thuộc tính tối ưu age, workclass,education, ... Scheme:weka.classifiers.trees.J48 -C 0.25 -M Relation: adult Instances:32561 Attributes:11 age workclass education education-num marital-status occupation relationship sex capital-gain hours-per-week native-country Test...
... weka, chọn mở sở liệu tae_data.csv, ta sau: - Chọn tab “Select attributes”, mục “Attribute Evaluaror” WrapperSubsetEval, mục Classifier chọn NaiveBayes hình sau chọn - Trong mục Search Method chọn ... GredySteepWise, làm sau: - Bấm Start để thực hiện, ta kết sau: Như sửdụng thuộc tính để khai phá liệu III Tiền xử lý liệuA Giới thiệu tiền xử lý liệu (Data Preprocessing) - Trong qui trình khai phá liệu, ... relative squared error % Total Number of Instances 151 === Detailed Accuracy By Class === TP Rate FP Rate Precision Recall F-Measure ROC Area Class 0 0 ? 1 1 ? 1 1 Weighted Avg === Confusion Matrix...