Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi

Hồ Cẩm Hà Chương 3 16 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 1 Tìm tên của dự án có mã số D4 Π TEN_DA (σ (MA_DA=”D4” ) (DU_AN))  Câu hỏi 2 Cho biết họ tên và lương của những nhân viên làm việc ở phòng “Nghiên cứu và phát triển”. Π HOTEN, LUONG (NHAN_VIEN* (Π MA-DV (σ (TEN-PHONG=”Nghiên cứu và phát triển ) (PHONG)))) Hồ Cẩm Hà Chương 3 17 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 3 Với mỗi dự án thực hiện ở “TT khí thượng thủy văn HN” hãy cho biết mã số dự án, đồng thời cho biết họ tên, ngày sinh của trưởng phòng quản lý dự án này. KQTG ← (Π MA-DA, MA-DV (σ( DIA-DIEM-DA=”TT Khí tượng thủy văn HN’ ) (DU_AN)) KETQUA ←Π MA-DA, HO-TEN, NG-SINH (NHAN_VIEN⋈ MA-NV=MA-TP (PHONG*KQTG)) Hồ Cẩm Hà Chương 3 18 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 4 Tìm tên những nhân viên làm việc cho tất cả các dự án do phòng có mã số P4 quản lý. Π HO-TEN ((Π MANV,MA-DA (CHAM_CONG) ÷ Π MA-DA (σ (MA-DV=P4) (DU_AN)))*NHAN_VIEN). Hồ Cẩm Hà Chương 3 19 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 5 Tìm mã số những dự án có sự tham gia của một người là lãnh đạo phòng trực tiếp quản lý dự án này. KQTG ←Π MA-DA, MA-DV (DU_AN) * Π MA-DV, MA-TP (PHONG) KETQUA ← KQTG ⋈ ((KQTG.MA-DA=CHAM_CONG.MA-DA) AND (KQTG.MA-TP=CHAM_CONG.MA-NV)) CHAM_CONG Hồ Cẩm Hà Chương 3 20 Ngôn ngữ tân từ (Các phép tính quan hệ)  Cơ sở quan trọng của phần thao tác trong mô hình cơ sở dữ liệu quan hệ.  Cơ sở toán học của phép tính quan hệ là logic tân từ cấp một. Có hai loại: ngôn ngữ tân từ biến bộ và ngôn ngữ tân từ biến miền. Hồ Cẩm Hà Chương 3 21 Ngôn ngữ tân từ biến bộ (Tuple relational calculus) Một câu hỏi đơn giản trong ngôn ngữ tân từ biến bộ có dạng { t ⏐ ĐK( t ) } Hồ Cẩm Hà Chương 3 22 Ngôn ngữ tân từ biến bộ (Tuple relational calculus) { t ⏐ NHÂN_VIÊN ( t ) AND t .LUONG > 1700 000} { t .HO_TEN, t .MA_DA⏐NHÂN_VIÊN( t ) AND t .LUONG > 1700 000} Hồ Cẩm Hà Chương 3 23 Biểu thức của phép tính biến bộ Một cách tổng quát, một biểu thức của phép tính biến bộ có dạng { ti .A1, tj .A2,…, tk .An ⏐ ĐK ( t1 , t2 ,…, tn , tn+1 , tn+2 , …, tn+m )} Hồ Cẩm Hà Chương 3 24 Biểu thức của phép tính biến bộ Công thức của phép tính biến bộ được tạo nên từ các công thức nguyên tố. Một công thức nguyên tố thuộc một trong những dạng sau: (1) r ( t ) nói một cách khác đólàphát biểu ( t ∈ r ). (2) ti.A θ tj.B (3) ti .A θ c Mỗi công thức nguyên tố sẽ nhận một trong hai giá trị TRUE và FALSE đối với một tổ hợp các bộ (giá trị chân lý) Hồ Cẩm Hà Chương 3 25 Biểu thức của phép tính biến bộ Các công thức nguyên tố tạo nên công thức của phép tính bộ theo các luật: (L1) Mỗi công thức nguyên tố là một công thức (L2) F, F1, F2 là công thức thì (F1 AND F2), (F1 OR F2), NOT(F) là công thức. (L3) F là một công thức thì (∃ t )(F) với t là một biến bộ cũng là một công thức (L4) F là một công thức thì (∀ t )(F) với t là một biến bộ cũng là một công thức [...]...Ví dụ Câu hỏi 1 Tìm tên của dự án có mã số D4 {t.TEN_DA⏐ (DU_AN(t) AND t.MA_DA=”D4”} Hồ Cẩm Hà Chương 3 26 Ví dụ Câu hỏi 2 Cho biết họ tên và lương của những nhân viên thuộc phòng “Nghiên cứu và phát triển” {t.HO_TEN, t.LUONG ⏐∃u ((NHAN_VIEN(t) AND PHONG(u) AND u.TEN_PHONG = ”Nghiên cứu và phát triển” AND t.MA_DV = u.MA_DV } Hồ Cẩm Hà Chương 3 27 Ví dụ Câu hỏi 3 Với mỗi dự án thực... thực hiện ở “TT khí thượng thủy văn HN” hãy cho biết mã số dự án, đồng thời cho biết họ tên trưởng phòng quản lý dự án này {t.HO_TEN, t.LUONG ⏐∃u ((NHAN_VIEN(t) AND PHONG(u) AND u.TEN_PHONG = ”Nghiên cứu và phát triển” AND t.MA_DV = u.MA_DV } Hồ Cẩm Hà Chương 3 28 Ví dụ Câu hỏi 4 Tìm tên những nhân viên làm việc cho tất cả các dự án do phòng có mã số P4 quản lý {t.HO_TEN ⏐ NHAN_VIEN(t) AND (∀u ((DU_AN(u)... dự án do phòng có mã số P4 quản lý {t.HO_TEN ⏐ NHAN_VIEN(t) AND (∀u ((DU_AN(u) AND u.MA_DV = “P4”) ⇒ (∃v (CHAM_CONG(v) AND v.MANV = t.MANV AND t.MA_DA = u.MA_DA)))} Hồ Cẩm Hà Chương 3 29 Ví dụ Câu hỏi 5 Tìm mã số của những dự án có sự tham gia của một người là lãnh đạo của phòng trực tiếp quản lý dự án này t.MA_DA⏐∃p∃q ((DU_AN(t) AND PHONG(p) AND CHAM_CONG(q) AND (t.MA_DV = p.MA_DV) AND (p.MA_TP = q.MANV) . Chương 3 16 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 1 Tìm tên của dự án có mã số D4 Π TEN_DA (σ (MA_DA=”D4” ) (DU_AN))  Câu hỏi 2 Cho. Chương 3 18 Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi  Câu hỏi 4 Tìm tên những nhân viên làm việc cho tất cả các dự án do phòng có mã số P4 quản