Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 41 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
41
Dung lượng
538,62 KB
Nội dung
Bài Phép tính quan hệ CuuDuongThanCong.com https://fb.com/tailieudientucntt Nội dung chi tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt Giới thiệu Là ngôn ngữ truy vấn hình thức Do Codd đề nghị vào năm 1972, “Data Base Systems”, Prentice Hall, p33-98 Đặc điểm - Phi thủ tục Dựa vào lý thuyết logic Rút trích (what) rút trích (how) Khả diễn đạt tương đương với ĐSQH CuuDuongThanCong.com https://fb.com/tailieudientucntt Giới thiệu (tt) Có loại - Phép tính quan hệ (Tuple Rational Calculus) SQL - Phép tính quan hệ miền (Domain Rational Calculus) QBE (Query By Example) CuuDuongThanCong.com https://fb.com/tailieudientucntt Nội dung chi tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt Phép tính quan hệ Biểu thức phép tính quan hệ có dạng { t.A | P(t) } - t biến Biến nhận giá trị quan hệ CSDL t.A giá trị t thuộc tính A - P cơng thức có liên quan đến t P(t) có giá trị ĐÚNG SAI phụ thuộc vào t - Kết trả tập t cho P(t) CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ Tìm nhân viên có lương 30000 {t|t NHANVIEN P(t) - t t.LUONG > 30000 } P(t) NHANVIEN Nếu t thể quan hệ NHANVIEN - t.LUONG > 30000 Nếu thuộc tính LUONG t có giá trị 30000 CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ Cho biết mã tên nhân viên có lương 30000 - Tìm t thuộc NHANVIEN có thuộc tính lương lớn 30000 - Lấy giá trị thuộc tính MANV TENNV { t.MANV, t.TENNV | t NHANVIEN t.LUONG > 30000 } - Tập MANV TENNV t cho t thể NHANVIEN t có giá trị lớn 30000 thuộc tính LUONG CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ Cho biết nhân viên (MANV) làm việc phòng „Nghien cuu‟ t.MANV | t s NHANVIEN PHONGBAN s.TENPHG ‘Nghien cuu’ - Lấy t thuộc NHANVIEN - So sánh t với s để tìm nhân viên làm việc phòng „Nghien cuu‟ - Cấu trúc “tồn tại” phép toán logic t R (Q(t)) Tồn t thuộc quan hệ R cho vị từ Q(t) CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ Cho biết nhân viên (MANV) làm việc phòng „Nghien cuu‟ { t.MANV | t s NHANVIEN PHONGBAN ( s.TENPHG s.MAPHG ‘Nghien cuu’ t.PHONG ) } Q(s) CuuDuongThanCong.com https://fb.com/tailieudientucntt 10 Một số biến đổi (i) P1 P2 = ( P1 P2) (ii) t R (P(t)) = t R ( P(t)) (iii) t R (P(t)) = t R ( P(t)) (iv) P Q= CuuDuongThanCong.com P Q https://fb.com/tailieudientucntt 27 Cơng thức an tồn Xét cơng thức {t| (t NHANVIEN) } - Có nhiều t không thuộc quan hệ NHANVIEN - Thậm chí khơng có CSDL - Kết trả không xác định Một công thức P gọi an toàn giá trị kết lấy từ miền giá trị P - Dom(P) - Tập giá trị đề cập P CuuDuongThanCong.com https://fb.com/tailieudientucntt 28 Cơng thức an tồn (tt) Ví dụ {t|t NHANVIEN t.LUONG > 30000 } - Dom(t NHANVIEN t.LUONG > 30000) - Là tập giá trị Có giá trị 30000 thuộc tính LUONG Và giá trị khác thuộc tính lại - Cơng thức an tồn CuuDuongThanCong.com https://fb.com/tailieudientucntt 29 Nội dung chi tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt 30 Phép tính quan hệ miền Biểu thức phép tính quan hệ miền có dạng { x1, x2, …, xn | P(x1, x2, …, xn) } - x1, x2, …, xn biến miền Biến nhận giá trị miền giá trị thuộc tính - P cơng thức theo x1, x2, …, xn P hình thành từ công thức nguyên tố - Kết trả tập giá trị x1, x2, …, xn cho giá trị thay cho xi P CuuDuongThanCong.com https://fb.com/tailieudientucntt 31 Ví dụ Cho biết mã tên nhân viên có lương 30000 { r, s | x ( NHANVIEN x > 30000 ) } CuuDuongThanCong.com https://fb.com/tailieudientucntt 32 Ví dụ Cho biết nhân viên (MANV) làm việc phòng „Nghien cuu‟ {s| z( a, b ( PHONGBAN a = ‘Nghien cuu’ CuuDuongThanCong.com NHANVIEN b = z )) } https://fb.com/tailieudientucntt 33 Ví dụ 10 Cho biết nhân viên (MANV, HONV, TENNV) khơng có thân nhân { p, r, s | s ( a ( CuuDuongThanCong.com NHANVIEN THANNHAN a = s )) } https://fb.com/tailieudientucntt 34 Công thức nguyên tố (i) - xi biến miền R - R quan hệ có n thuộc tính (ii) x y - x, y biến miền - Miền giá trị x y phải giống phép so sánh , , , , , (iii) x c - c số - x biến miền phép so sánh CuuDuongThanCong.com , , , , , https://fb.com/tailieudientucntt 35 Nhận xét Một công thức nguyên tố mang giá trị ĐÚNG SAI với tập giá trị cụ thể tương ứng với biến miền - Gọi chân trị công thức nguyên tố Một số qui tắc biến đổi tương tự với phép tính quan hệ CuuDuongThanCong.com https://fb.com/tailieudientucntt 36 Cơng thức an tồn Xét cơng thức { p, r, s | ( NHANVIEN) } - Các giá trị kết trả không thuộc miền giá trị biểu thức - Cơng thức khơng an tồn CuuDuongThanCong.com https://fb.com/tailieudientucntt 37 Cơng thức an tồn (tt) Xét cơng thức { x | y ( Công thức - R) z( R P(x, z)) } Công thức R quan hệ có tập giá trị hữu hạn Cũng có tập hữu hạn giá trị khơng thuộc R Công thức 1: xem xét giá trị R Công thức 2: kiểm tra tập giá trị hữu hạn z CuuDuongThanCong.com https://fb.com/tailieudientucntt 38 Cơng thức an tồn (tt) Biểu thức { x1, x2, …, xn | P(x1, x2, …, xn) } gọi an toàn nếu: - Những giá trị xuất biểu thức phải thuộc miền giá trị P - Vị từ : biểu thức x (Q(x)) xác định giá trị x thuộc dom(Q) làm cho Q(x) - Vị từ : biểu thức x (Q(x)) Q(x) với giá trị x thuộc dom(Q) CuuDuongThanCong.com https://fb.com/tailieudientucntt 39 Bài tập nhà Bài tập - Làm lại tập chương (ĐSQH) Trừ câu có hàm kết hợp gom nhóm - Biểu diễn ngơn ngữ Phép tính quan hệ có biến Phép tính quan hệ có biến miền Đọc - Ngôn ngữ QBE CuuDuongThanCong.com https://fb.com/tailieudientucntt 40 CuuDuongThanCong.com https://fb.com/tailieudientucntt 41 ... chi tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt Phép tính quan hệ Biểu thức phép tính quan hệ có dạng { t.A | P(t) }... tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt 30 Phép tính quan hệ miền Biểu thức phép tính quan hệ miền có dạng { x1,...Nội dung chi tiết Giới thiệu Phép tính quan hệ Phép tính quan hệ miền CuuDuongThanCong.com https://fb.com/tailieudientucntt Giới thiệu Là