Ctt102 chuong 6 phep tinh quan he

CHƯƠNG Phép tính quan hệ (Ngơn ngữ tân từ) Nội dung  Giới thiệu  Nhắc lại lý thuyết logic  Phép tính quan hệ  Tuple Relational Calculus (TRC)  Phép tính quan hệ miền  Domain Relational Calculus (DRC) Nội dung     Giới thiệu Nhắc lại lý thuyết logic Phép tính quan hệ Phép tính quan hệ miền Giới thiệu (tt)  Ngôn ngữ truy vấn hình thức dựa lý thuyết logic Codd đề nghị năm 1972  Sử dụng biểu thức logic để định nghĩa hình thức kết câu truy vấn  Dựa lý thuyết logic  Phi thủ tục  Rút trích “cái gì” “làm nào”  Khả diễn đạt tương đương ĐSQH Giới thiệu (tt)  Phân loại  Phép tính quan hệ  Biến thiên quan hệ  SQL (Structured Query Language)  Phép tính quan hệ miền  Biến thiên thành phần miền giá trị  QBE (Query By Example)  DataLog (Database Logic) ??? Nội dung     Giới thiệu Nhắc lại lý thuyết logic Phép tính quan hệ Phép tính quan hệ miền Nhắc lại lý thuyết logic  Biểu thức logic : phát biểu ln có giá trị “đúng” hay “sai”  Bây tháng  > (phát biểu sai)  Các khái niệm :         Biến : đại lượng biến thiên x, y, z, … Phép toán logic  : phủ định,  : kéo theo,  : và,  : Lượng từ  : tồn tại,  : với Công thức : biểu thức xây dựng dựa biểu thức logic Nhắc lại lý thuyết logic  Một số ví dụ công thức logic     P(t), P(t) , Q(t) P(t)  Q(t) t(P(t)) t(P(t)) Nội dung     Giới thiệu Nhắc lại lý thuyết logic Phép tính quan hệ Phép tính quan hệ miền 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  Có 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) 10 Qui tắc (tt)  (5) Nếu P cơng thức ngun tố  Các biến t P biến tự  (6) Công thức P=P1P2 , P=P1P2 , P=P1P2  Sự xuất biến t P tự hay kết buộc phụ thuộc vào việc tự hay kết buộc P1, P2 32 Một số biến đổi  (i) P1  P2 =  (P1  P2)  (ii) t (R(t)  (P(t)) = t ( R(t)  P(t))  (iii) t (R(t)  (P(t)) = t (R(t)   (P(t))  (iv) P  Q = P  Q 33 Cơng thức an tồn  Xét cơng thức { t |  (GIAOVIEN(t)) }  Có nhiều t không thuộc quan hệ GIAOVIEN  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 34 Cơng thức an tồn (tt)  Ví dụ { t | GIAOVIEN(t)  t.LUONG > 30000 }  Dom(GIAOVIEN(t)  t.LUONG > 30000)  Là tập giá trị  Có giá trị 3000 thuộc tính LUONG  Và giá trị khác thuộc tính cịn lại  Cơng thức an tồn 35 Nội dung     Giới thiệu Nhắc lại lý thuyết logic Phép tính quan hệ Phép tính quan hệ miền 36 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 thêo x1, x2, …, xn  P hình thành từ cơng thức ngun tố  Kết trả tập giá trị x1, x2, …, xn cho giá trị thay cho xi P 37 Ví dụ  Cho biết mã tên giáo viên có lương 3000 { p, q | (r) (GIAOVIEN(p, q, r, s, t, u, v, x, y, z,m)  r > 3000 )) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) 38 Ví dụ  Cho biết giáo viên (MAGV) làm việc môn ‘Hệ thống thông tin’ {p | (m)(GIAOVIEN(p, q, r, s, t, u, v, x, y, z,m)  (a)(b)(BOMON(a, b, c, d, e, f, j)  b = ‘Hệ thống thông tin’  a = m )) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) BOMON(MABM, TENBM, PHONG, DIENTHOAI, TRUONGBM, MAKHOA, NGAYNHANCHUC) 39 Ví dụ  Cho biết giáo viên (MAGV, HOTEN) khơng có tham gia đề tài {p, q | GIAOVIEN(p, q, r, s, t, u, v, x, y, z, m)  (a)(THAMGIADT(a, b, c, d, e)  a = p ) } GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH, SONHA, DUONG, QUAN, THANHPHO, GVQLCM, MABM) THAMGIADT(MAGV, MADT, STT, PHUCAP, KETQUA) 40 Công thức nguyên tố  (i) R(x1, x2, …, xn)  xi biến miền  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  ,  ,  ,  ,  ,  41 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ệ 42 Cơng thức an tồn  Xét công thức { p, r, s |  GIAOVIEN(p, q, r, s, t, u, v, x, y, z)}  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 43 Cơng thức an tồn (tt)  Xét cơng thức { x | y (R(x, y))  z ( R(x, z)  P(x, z)) } Công thức     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: xêm xét giá trị R Công thức 2: kiểm tra tập giá trị hữu hạn z 44 Công thức an toàn (tt)  Cho biểu thức { x1, x2, …, xn | P(x1, x2, …, xn) }  Biểu thức 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  Lượng từ : biểu thức x (Q(x)) xác định giá trị x thuộc dom(Q) làm cho Q(x)  Lượng từ : biểu thức x (Q(x)) Q(x) với giá trị x thuộc dom(Q) 45 46