1. Trang chủ
  2. » Giáo án - Bài giảng

cơ sở dữ liệu phép tính quan hệ sinhvienzone com

41 107 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

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à

Ngày đăng: 29/01/2020, 14:26

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w