mãn sè 1 nêm xµo h¶i s¶n

... .10 1. 1 Tổng quan .10 1. 2 Lý chọn đề tài 10 1. 3 Mục tiêu đề tài 10 1. 4 Giới hạn đề tài 11 1. 5 Sơ lược cấu trúc đồ án 11 Chương ... 31 2 .1 Phân tích nghiệp vụ hệ thống 31 2 .1. 1 Danh sách Actor: 31 2 .1. 2 Danh sách Use-case: .32 2 .1. 3 Use-case Diagram cho actor: 33 2 .1. 3 .1 Use-case ... Chương 1: KHẢO SÁT VÀ THIẾT KẾ HỆ THỐNG THÔNG TIN BÀI TOÁN .13 1. 2 Mô tả tính toán: .14 1. 3 Các biểu mẫu: 16 1. 3 Mô hình thực thể (mô hình ERD): .20 1. 4 Mô...

Ngày tải lên: 12/08/2015, 11:35

... ôi lúc khó hi u Ràng bu c toàn v n Ví d ̇ RB -1 • M i nhân viên có m t mã s riêng bi t dùng phân bi t v i nhân viên khác • t1, t2 NHANVIEN (t1 t2 t1.MaNV t2.MaNV) ̇ RB-2 • M i nhân viên ph i làm ... - liên quan h RBTV thu c tính t ng h p RBTV mi n giá tr (1) ̇ RB-5 • L ng c a nhân viên không th p h n 10 .000 • t NHANVIEN (t.Luong 10 .000) RB-5 Xóa S a NHANVIEN Ràng bu c toàn v n Thêm + - ... t.MaPB})) RB -14 Xóa S a + + + PHONGBAN Cài Thêm NHANVIEN + - + t RBTV v i Assertion (1) ̇ create assertion check < i u ki n> ̇ drop assertion ̇ RB -12 • create assertion...

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

... NGAYSINH NGAYNH HS 01 Nguyễn Công Phú 12 /12 /19 79 12 /12 /19 82 HS02 Phan Anh Khanh 11 /10 /19 79 12 /12 /2000 HS03 Phạm Khánh Như 12 /1/ 1979 12 /12 /2000 HS04 Hàn Quốc Việt 2/2 /19 79 12 /12 /2000 TR ẦN NG ỌC ... quan hệ Nganh có giá trị MANGANH TENNGANH SOCD TSSV SP103 Sư Phạm Tin học 800 SP102 Sư Phạm Lý 12 00 CNTT Khoa học máy tính 16 0 SP104 Sư Phạm Lý 10 00 Không hợp lệ, TENNGANH TR ẦN NG ỌC B ẢO ” ÁN ... miền giá trị TR ẦN NG ỌC B ẢO ” ÁN TIN TIN 11 H ỌC ” ẠI H ỌC SƯ ẠM TP.HCM TRẦN NGỌC BẢO ” KHOA KHOA TO TOÁN HỌC ”Đ ĐẠI HỌC SƯ PH PHẠM TP.HCM ” ” (11 ) (11 ) Thuvientailieu.net.vn BÀI GIẢNG HỌC PHẦN...

Ngày tải lên: 15/08/2016, 05:44

... loại 3 .1 RBTV có bối cảnh quan hệ 3.2 RBTV có bối cảnh nhiều quan hệ 3.3 Phụ thuộc hàm (functional dependency) Khoa HTTT-Đại học CNTT 10 3 .1 RBTV có bối cảnh quan hệ 3 .1. 1 RBTV miền giá trị 3 .1. 2 ... học CNTT 14 3 .1. 3 Ràng buộc liên (1)  Là ràng buộc quan hệ (có thể liên quan đến nhiều thuộc tính)  R3: Tất học viên phải có mã số phân biệt với  Nội dung: ∀h1,h2∈ HOCVIEN: Nếu h1≠h2 h1.Mahv≠h2.Mahv ... Khoa HTTT-Đại học CNTT -(*) 15 3 .1. 3 Ràng buộc liên (2)  R4: Các giáo viên có học vị, hệ số lương mức lương  Nội dung: ∀gv1,gv2∈ GIAOVIEN: Nếu (gv1.Hocvi=gv2.Hocvi)∧(gv1.Heso=gv2.H eso) Thêm Xóa...

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

Ngày tải lên: 01/03/2013, 17:01

... 14 RBTV - Miền giá trị ‰RBTV qui định giá trị cho thuộc tính R A B C D α α 1 α β β β 12 β β 23 β ∈9 {α, ∈ β, {1 10} γ} ‰Miền giá trị ¾ Liên tục ¾ Rời rạc Cơ sở liệu - Khoa CNTT - CĐ KTCN ĐN 15 ... xảy nhiều quan hệ khác R Cơ sở liệu - Khoa CNTT - CĐ KTCN ĐN 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 ... PHONGBAN ¾ Biểu diễn: ∀t1, t2 ∈ PHONGBAN ( t1≠ t2 ∧ t1.TENPHG ≠ T2.TENPHG ) ¾ Bảng tầm ảnh hưởng: R5 PHONGBAN Cơ sở liệu - Khoa CNTT - CĐ KTCN ĐN Thêm + Xóa − Sửa + (TENPHG) 19 Ví dụ ‰Một nhân viên...

Ngày tải lên: 03/12/2015, 01:07

... I1 I1 I2 I1 OVERLAPS I2 I2 I1 I1 OVERLAPPED_BY I2 I1 MEETS I2 I1 I2 I2 I1 I1 MET_BY I2 I1 STARTS I2 10 I1 STARTED_BY I2 I1 I2 I1 I2 I1 I2 11 I1 FINISHES I2 I1 I2 12 I1 I1 FINISHED_BY I2 I2 13 ... 10 5 10 8 10 9 11 4 11 4 11 4 11 5 11 6 11 9 12 2 12 2 12 4 12 5 12 7 Kết chương ……………………………………………… Kết chương ……………………………………………… Kết chương …………………………………………… Hướng phát triển luận án ………………………………… 12 7 12 8 13 0 ... CSDL Hình 4.7.1b : Kết thực nghiệm cho TYTG tương ứng với số mẩu tin đối tượng cần thực TYTG ix 81 81 82 83 84 86 90 91 93 94 96 10 0 10 1 10 2 10 4 10 6 10 7 11 3 11 5 11 7 12 0 12 2 12 3 12 4 MỞ ĐẦU Dữ...

Ngày tải lên: 27/02/2016, 22:29

... bangtqh@utc2.edu.vn Chương - Ràng buộc toàn vẹn (RBTV) 4 .1. 2 Điều kiện RBTV (tt) Ví dụ - Biểu diễn đại số tập hợp R1: ∀ h 1, hđ2 ∈ HOADON, h 1 ≠ hđ2 ⇒ h 1. SoHD ≠ hđ2.SoHD R2: ∀ hđ ∈ HOADON thì: ⇒ hđ.SoMatHang ... tính X0,X1,X2, theo phương pháp sau: – Bước 1: X0 = X – Bước 2: xét phụ thuộc hàm F • Nếu Y→Z có Y ⊆ Xi Xi +1 = Xi ∪Z • Loại phụ thuộc hàm Y → Z khỏi F – Bước 3: Nếu bước không tính Xi +1 Xi bao ... khóa R H f5 B f4 C f1 A f2 D f3 E bangtqh@utc2.edu.vn Chương - Ràng buộc toàn vẹn (RBTV) 62 4.4.3 Thuật toán tìm khóa Bước 1: – Xác định tất tập khác rỗng Q+={X1, X2, …,X2n -1 } Bước 2: – Tìm bao...

Ngày tải lên: 01/04/2016, 09:36

... ………………………………………………… B vi DANH MỤC BẢNG Bảng 1. 1.1a : Những mô hình liệu thời gian Bảng 1. 1.1b : Bảng Phien_truc Bảng 1. 1.1c : Bảng Luong Bảng 1. 1.3a : Quan hệ rα Bảng 1. 1.3b : Những quan hệ bổ trợ rα Bảng ... 12 5 vii DANH MỤC HÌNH Hình 1. 1.3: Đồ thị chuyển trạng thái ……………………………… 11 Hình 1. 1.4a: Trình bày tổng quát phương pháp KBTA…………… 12 Hình 1. 1.4b: Những giá trị định tính cho TYTG độ đo khí 14 ... bảng 1. 1.1b, ghi lại ngày nhân viên phân công trực với hai độ mịn thời gian ngày ứng với giá trị thuộc tính Bảng 1. 1.1b: Bảng Phien_truc MANV NGAY GIO NV0 01 d5, d9 h8, h12 NV004 d5, d9 h12, h16...

Ngày tải lên: 16/04/2016, 00:10

... loại 3 .1 RBTV có bối cảnh quan hệ 3.2 RBTV có bối cảnh nhiều quan hệ 3.3 Phụ thuộc hàm (functional dependency) Khoa HTTT-Đại học CNTT 10 3 .1 RBTV có bối cảnh quan hệ 3 .1. 1 RBTV miền giá trị 3 .1. 2 ... học CNTT 14 3 .1. 3 Ràng buộc liên (1)  Là ràng buộc quan hệ (có thể liên quan đến nhiều thuộc tính)  R3: Tất học viên phải có mã số phân biệt với  Nội dung: ∀h1,h2∈ HOCVIEN: Nếu h1≠h2 h1.Mahv≠h2.Mahv ... Khoa HTTT-Đại học CNTT -(*) 15 3 .1. 3 Ràng buộc liên (2)  R4: Các giáo viên có học vị, hệ số lương mức lương  Nội dung: ∀gv1,gv2∈ GIAOVIEN: Nếu (gv1.Hocvi=gv2.Hocvi)∧(gv1.Heso=gv2.H eso) Thêm Xóa...

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

... toàn vẹn sau: R1 : ∀ t1, t2 ∈ r t1 MAKH ≠ t2 MAKH Cuối ∀ R1 Khach Thêm Sửa + Xoá - - Biên soạn : Phan Tấn Quốc- Trường Cao Đẳng Kỹ Thuật Cao Thắng Giáo Trình Cơ Sở Dữ Liệu Trang 51 +Ràng buộc toàn ... vẹn có dạng sau: Tên RBTV Thêm(T) r1 Sửa(S) Xoá(X) + r2 - r3 -(*) rn Bảng chứa toàn ký hiệu + , – -(*) Chẳng hạn + (dòng r1, cột Thêm) có nghĩa thêm vào quan hệ r1 RBTV bị vi phạm Dấu - Tại ô (dòng ... hàng MAKH số tiền thu SOTIEN Mỗi khách hàng ngày có nhiều số phiếu thu 4.2 .1. Ràng buộc toàn vẹn có bối cảnh quan hệ 4.2 .1. 1.Ràng Buộc Toàn Vẹn liên bộ: +Ràng buộc toàn vẹn khoá chính: Đây trường...

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

... RBTV) T) r1 + r2 rn Bảng chứa toàn ký hiệu + – Chẳng hạn + ô tương ứng với dòng r 1, cột thêm có nghóa thêm vào quan hệ r1 cần phải kiểm tra RBTV Dấu - Tại ô tương ứng với dòng r 1, cột sửa ... tự động kiểm tra Ví dụ: Với r quan hệ Khach ta có ràng buộc toàn vẹn sau R1: ∀ t1, t2 ∈ r t1 MAKH ≠ t2 MAKH Cuối ∀ R1 Thêm Sửa Xóa r + + - Ràng buộc toàn vẹn phụ thuộc tồn tại: Ràng buộc toàn ... hệ Ví dụ: Với r, s quan hệ Dathang, Hoadon ta có ràng buộc toàn vẹn sau R5: ∀ t1 ∈ r, t2 ∈ s Nếu t1.SODH = t2.SODH t1.NGAYDH

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

... Sửa(S) r1 + r2 rn Bảng chứa toàn ký hiệu + – Chẳng hạn + ô tương ứng với dòng r1, cột thêm có nghóa thêm vào quan hệ r1 cần phải kiểm tra RBTV Dấu - Tại ô tương ứng với dòng r1, cột sửa ... tự động kiểm tra Ví dụ: Với r quan hệ Khach ta có ràng buộc toàn vẹn sau R1: ∀ t1, t2 ∈ r t1 MAKH ≠ t2 MAKH Cuối ∀ R1 Thêm Sửa Xóa r + + - Ràng buộc toàn vẹn phụ thuộc tồn tại: Ràng buộc toàn ... hệ Ví dụ: Với r, s quan hệ Dathang, Hoadon ta có ràng buộc toàn vẹn sau R5: ∀ t1 ∈ r, t2 ∈ s Nếu t1.SODH = t2.SODH t1.NGAYDH

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

... Chu trình Cài đặt 14 RBTV - Miền giá trị  Ràng buộc qui định giá trị cho thuộc tính R B C D α α 1 α β β β 12 β  A β 23 β ∈ ∈ β, γ} {α, {1 10} Miền giá trị - Liên tục Rời rạc 15 Ví dụ  Thời ... bộ, 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 ... Ví dụ 12  Ngày sinh trưởng phòng phải nhỏ ngày nhận chức 40 Ví dụ 15  Lương trưởng phòng phải lớn 50000 41 Ví dụ 15 (tt)  Lương trưởng phòng phải lớn 50000 Check Constraint 42 Ví dụ 16 ...

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

... 3 .1 RBTV có bối cảnh quan hệ 3.2 RBTV có bối cảnh nhiều quan hệ 3.3 Phụ thuộc hàm (functional dependency) 10 3 .1 RBTV có bối cảnh quan hệ 3 .1. 1 RBTV miền giá trị 3 .1. 2 RBTV liên thuộc tính 3 .1. 3 ... Denngay) 14 3 .1. 3 Ràng buộc liên (1)  Là ràng buộc quan hệ (có thể liên quan đến nhiều thuộc tính)  R3: Tất học viên phải có mã số phân biệt với    Nội dung: ∀h1,h2∈ HOCVIEN: Nếu h1≠h2 h1.Mahv≠h2.Mahv ... Sửa R3 HOCVIEN + - -(*) 15 3 .1. 3 Ràng buộc liên (2)  R4: Các giáo viên có học vị, hệ số lương mức lương    Nội dung: ∀gv1,gv2∈ GIAOVIEN: Nếu (gv1.Hocvi=gv2.Hocvi)∧(gv1.Heso=gv2.Heso) gv.Mucluong=gv.Mucluong...

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

... 3 .1 RBTV có bối cảnh quan hệ 3.2 RBTV có bối cảnh nhiều quan hệ 3.3 Phụ thuộc hàm (functional dependency) 10 3 .1 RBTV có bối cảnh quan hệ 3 .1. 1 RBTV miền giá trị 3 .1. 2 RBTV liên thuộc tính 3 .1. 3 ... Denngay) 14 3 .1. 3 Ràng buộc liên (1)  Là ràng buộc quan hệ (có thể liên quan đến nhiều thuộc tính)  R3: Tất học viên phải có mã số phân biệt với    Nội dung: ∀h1,h2∈ HOCVIEN: Nếu h1≠h2 h1.Mahv≠h2.Mahv ... Thêm Xóa Sửa + - -(*) 15 3 .1. 3 Ràng buộc liên (2)  R4: Các giáo viên có học vị, hệ số lương mức lương    Nội dung: ∀gv1,gv2∈ GIAOVIEN: Nếu (gv1.Hocvi=gv2.Hocvi)∧(gv1.Heso=gv2.Heso) gv.Mucluong=gv.Mucluong...

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

... NVARCHAR(25) NOT NULL, mucluong NUMERIC (10 ), phucap NUMERIC (10 ), ngayvaolam DATE CONSTRAINT nv_ngayvaolam_nn NOT NULL, Tên hệ thống Tên người dùng đặt 10 TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN TP.HCM ... NUMERIC (10 , phucap NUMERIC (10 ), ngayvaolame DATE NOT NULL, maphong NUMERIC(4), CONSTRAINT nv_phong_fk FOREIGN KEY (maphong) REFERENCES phong(maphong), CONSTRAINT nv_email_uk UNIQUE(email)) 16 TRƯỜNG ... UNIQUE(email)) 12 TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN TP.HCM TRUNG TÂM TIN HỌC Constraint PRIMARY KEY DEPARTMENTS PRIMARY KEY … Không cho phép (giá trị Null) Thêm vào bảng Không cho phép (50 tồn tại) 13 TRƯỜNG...

Ngày tải lên: 23/05/2014, 18:24

... tra 10 3.2 RBTV phụ thuộc tồn • Ràng buộc toàn vẹn phụ thuộc tồn gọi ràng buộc toàn vẹn khóa ngoại • Cũng giống ràng buộc toàn vẹn khóa nội, ràng buộc toàn vẹn phụ thuộc tồn phổ biến CSDL 11 3.3 ... quan hệ 14 3.6 RBTV thuộc tính tổng hợp • Ràng buộc toàn vẹn thuộc tính tổng hợp xác định trường hợp thuộc tính A lược đồ quan hệ Q tính toán giá trị từ thuộc tính lược đồ quan hệ khác 15 16 ... trị CSDL tự động kiểm tra số ràng buộc loại 12 3.4 RBTV liên thuộc tính • Ràng buộc toàn vẹn liên thuộc tính mối liên hệ thuộc tính lược đồ quan hệ 13 3.5 RBTV liên thuộc tính liên quan hệ • Ràng...

Ngày tải lên: 04/07/2014, 22:20

... S + - + (STLT, STTH) RB liên (1 quan hệ) Cho biết mối liên hệ liệu quan hệ VD1 : MH (MAMH, TENMH, STLT, STTH) Pb: Tên môn học Bd: ∀m1∈MH, ¬∃m2 ∈MH: m1≠ m2 and m1.TENMH = m2.TENMH Bc: MH TAH: ... giá trò mà thuộc tính nhận lấy VD: KQ (MASV, MAMH, DIEM) Pb: Điểm ∈ [0 ,10 ] xác đến 0.5 Bd: ∀k∈KQ, k.DIEM ∈ R and 0

Ngày tải lên: 05/07/2014, 16:20