0 937 gxd gtb 3 218 t ng
Ngôn ngữ đại số quan hệ
Ngày tải lên :
01/09/2012, 08:46
... TENSP) “Trung Quốc” sản xu t có giá t 30 . 000 đến 40. 000 SANPHAM : ((nuocsx =' TrungQuoc' ) ∧ ( 30 . 000 ≤ gia ≤ 40. 000 ))[masp, tensp] π masp ,tenspσ ( nuocsx= 'TrungQuoc') ∧( 30 . 000 ≤ gia ≤ 40. 000 ... 7 .0 CSDL Co so du lieu HV02 CSDL 8.5 CTRR Cau truc roi rac HV01 CTRR 8.5 THDC Tin hoc dai cuong HV 03 CTRR 9 .0 HV01 THDC 7 .0 HV02 THDC 5 .0 HV 03 THDC 7.5 HV 03 CSDL 6 .0 KETQUA Mahv HV01 HV 03 KETQUA÷MONHOC ... Van Tam CTDL K1114 Tran Ngoc Han CTDL K1 2 03 Le Thanh Hau CTDL HOCVIEN×MONHOC Khoa HTTT-Đại học CNTT 20 3. 6 Phép k t 3. 6.1 Phép k t 3. 6.2 Phép k t b ng, phép k t tự nhiên 3. 6 .3 Phép k t Khoa HTTT-Đại...
- 40
- 2.3K
- 8
Bài giảng ngôn ngữ đại số quan hệ
Ngày tải lên :
04/09/2012, 09:11
... TENSP) “Trung Quốc” sản xu t có giá t 30 . 000 đến 40. 000 SANPHAM : ((nuocsx =' TrungQuoc' ) ∧ ( 30 . 000 ≤ gia ≤ 40. 000 ))[masp, tensp] π masp ,tenspσ ( nuocsx= 'TrungQuoc') ∧( 30 . 000 ≤ gia ≤ 40. 000 ... 7 .0 CSDL Co so du lieu HV02 CSDL 8.5 CTRR Cau truc roi rac HV01 CTRR 8.5 THDC Tin hoc dai cuong HV 03 CTRR 9 .0 HV01 THDC 7 .0 HV02 THDC 5 .0 HV 03 THDC 7.5 HV 03 CSDL 6 .0 KETQUA Mahv HV01 HV 03 KETQUA÷MONHOC ... Van Tam CTDL K1114 Tran Ngoc Han CTDL K1 2 03 Le Thanh Hau CTDL HOCVIEN×MONHOC Khoa HTTT-Đại học CNTT 20 3. 6 Phép k t 3. 6.1 Phép k t 3. 6.2 Phép k t b ng, phép k t tự nhiên 3. 6 .3 Phép k t Khoa HTTT-Đại...
- 40
- 3.2K
- 17
Toán rời rạc - chương 1 - Một số khái niệm cơ bản về logic và đại số quan hệ
Ngày tải lên :
04/08/2013, 01:27
... Giới thiệu môn học Số đơn vị học trình: 03 Lý thuy t: 30 ti t Bài t p: 15 ti t Số kiểm tra học trình: 03 điểm kiểm tra mi ng kiểm tra vi t Lê Anh Nh t Tài liệu tham khảo Toán rời ... Lê Anh Nh t 49 B ng 1: sinh_vien masv hodem ten namsinh Lop D1 D2 00 1 Ma Nhan 19 90 T- T 00 4 Do Thanh Kien 1989 T- L 01 4 Khuong Tu Nha 19 90 T- L 04 2 Dong Van 1991 T- T Kien Lê Anh Nh t 50 B ng 1: sinh_vien ... Quan hệ t ng đư ng, lớp t ng đư ng Định nghĩa Quan hệ R t p A gọi t ng đư ng có t nh ch t phản xạ, đối x ng bắc cầu Lê Anh Nh t 43 Quan hệ 4 .3 Quan hệ t ng đư ng, lớp t ng đư ng Ví dụ: Giả...
- 59
- 2.8K
- 35
Dùng các biểu thức đại số quan hệ biểu diễn câu hỏi
Ngày tải lên :
29/09/2013, 03:20
... ng t n t biến (Tuple relational calculus) {t ⏐ NHÂN_VIÊN (t) AND t. LUONG > 1 700 00 0} {t. HO_TEN, t. MA_DA⏐NHÂN_VIÊN (t) AND t. LUONG > 1 700 00 0} Hồ Cẩm Hà Chư ng 22 Biểu thức phép t nh biến M t ... t c ng thức nguyên t M t c ng thức nguyên t thuộc d ng sau: (1) r (t) nói cách khác ph t biểu (t ∈ r) ti.A θ tj.B (3) ti.A θ c (2) Mỗi c ng thức nguyên t nhận hai giá trị TRUE FALSE t hợp ... cách t ng qu t, biểu thức phép t nh biến 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 23 Biểu thức phép t nh biến C ng thức phép t nh biến t o nên t ...
- 15
- 3.3K
- 44
Biểu diễn yêu cầu bằng biểu thức đại số quan hệ
Ngày tải lên :
29/09/2013, 04:20
... h ng màu đ Và có tr ng lư ng nh 20! - A ho c B Ví d ta nói: Cho bi t th ng tin c a m t h ng có tr ng lư ng 20 Và 30 ! Ta c n hi u r ng ph i đưa th ng tin c a m t h ng có tr ng lư ng 20 ho c 30 ... d ta nói: Đưa t n h ng đư c c nhà cung c p S01 Và S02 cung ng! Khi ta c n l y giao c a t p h p T p th nh t t t c t n h ng nhà cung c p S01 cung ng T p th g m toàn b t n h ng nhà cung c p S02 ... (SP)) T i liÖu tham kh¶o Trang 10 Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H- ng dÉn «n t p CSDL quan hÖ V ng tròn th nh t tư ng tr ng cho...
- 5
- 6.1K
- 167
Thực hiện biểu thức đại số quan hệ
Ngày tải lên :
29/09/2013, 04:20
... Các thu c t nh t m g i thu c t nh “c n chi u” - Quan h R có t p thu c t nh U, ta c n chi u thu c t nh X X ph i t p c a U (t c kh ng th chi u R thu c t nh mà R kh ng có) T i liÖu tham kh¶o Trang ... ghi k t qu ph i đ m b o giá tr thu c t nh C c a quan h R ph i nh T i liÖu tham kh¶o Trang Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H- ng dÉn ... kh¶o Trang Generated by Foxit PDF Creator © Foxit Software http://www.foxitsoftware.com For evaluation only H- ng dÉn «n t p CSDL quan hÖ - B ng k t qu có th xu t hi n b n ghi tr ng Khi đó, ph i...
- 5
- 2.1K
- 35
Mô hình quan hệ, các ràng buộc quan hệ và đại số quan hệ
Ngày tải lên :
29/09/2013, 11:20
... Các thuộc t nh F K gọi tham chiếu đến (hoặc liên hệ đến) quan hệ R2 M t giá trị F K t1 tr ng thái r1 (R1 ) có m t giá trị khoá t2 tr ng thái r2 (R2 ), null Trong trư ng hợp ta có t1 [F K] = t2 ... t nh S k t phép nối “làm đầy” giá trị null T ng t phép nối phải phép nối đầy đủ Phép toán hợp mở r ng để lấy hợp t quan hệ kh ng t ng thích đ ng Phép toán lấy hợp quan hệ mà ch ng t ng thích ... Dom(A) M t siêu khoá SK xác định rõ r ng buộc t nh nh t, ph t biểu hai khác tr ng thái r R có giá trị cho SK R ng buộc khoá r ng buộc giá trị kh ng xác định (null): với hai khác t1 t2 tr ng thái...
- 14
- 1K
- 7
Ngôn ngữ đại số quan hệ
Ngày tải lên :
09/10/2013, 23:20
... phép toán t p hợp Phép hợp: r ∪s = {t t r t s} Phép giao: r ∩ s = {t t ∈ r t ∈ s} Phép hiệu: r – s = {t t ∈ r t ∉ s} r ∪ (s ∪ t) = (r ∪ s) ∪ t r ∩ (s ∩ t) = (r ∩ s) ∩ t Hồ Cẩm Hà Chư ng 3 Các ... phép toán t p hợp Phép t ch Descartes: r × s = {t t= (a1, a2, ,an, b1, b2, ,bm), (a1, a2, ,an) ∈ r (b1, b2, ,bm)∈s } Như r có k1 bộ, s có k2 r × s có k1× k2 Hồ Cẩm Hà Chư ng Các phép toán t p hợp ... Cẩm Hà Chư ng Các phép toán t p hợp Phép chia: r r÷s = {t t= (am+1,am+2, ,an): ∀(a1, a2, ,am) ∈ s, (a1, a2, ,am, am+1, ,an) ∈ r } Hồ Cẩm Hà Chư ng ...
- 4
- 949
- 6
Chương 4: Đại số quan hệ (Relational Algebra)
Ngày tải lên :
08/11/2013, 01:15
... c ng ty • Quan hệ: NHANVIEN • Thuộc t nh: LUONG TENNV HONV … LUONG … … LUONG … Tung Nguyen … 400 00 … … 400 00 … Hang Bui … 2 500 0 … … 2 500 0 … Nhu Le … 4 30 0 0 … … 4 30 0 0 … Hung Nguyen … 3 800 0 … … 3 800 0 ... NTH Q1 Nu 2 500 0 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 Hung Nguyen 09 /15/1962 Ba Ria VT Nam 3 800 0 Quang 4 -3 HONV Pham 11/ 10/ 1 937 4 50 TV HN Nam 5 500 0 Giới thiệu (tt) Có loại xử lý • Làm thay đổi ... PHAI LUONG PHG 33 3445555 Tung Nguyen 12 /08 /1955 638 NVC Q5 Nam 400 00 999887777 Hang Bui 07 /19/1968 33 2 NTH Q1 Nu 2 500 0 98765 432 1 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 987987987 Hung Nguyen 09 /15/1962...
- 94
- 845
- 11
Bài giảng slide cơ sở dữ liệu_BKA_C7:Đại số quan hệ
Ngày tải lên :
08/11/2013, 21:38
... >< r Chư ng Đại số quan hệ 200 6 Nguyễn Trung Trực - Khoa CNTT 22 Phép k t tự nhiên R R T A B C A B C D 3 5 7 T A D Chư ng Đại số quan hệ 200 6 Nguyễn Trung Trực - Khoa CNTT 23 Phép k t Cho r(R), ... cho k t quan hệ lược đồ quan hệ T gồm t sau: q (T) = {t ⏐ ∃tr ∈ r, ∃ts ∈ s: t[ R] = tr, t[ S] = ts, t[ A] θ t[ B]} Chư ng Đại số quan hệ 200 6 Nguyễn Trung Trực - Khoa CNTT 18 Phép k t - θ Phép k t θ ... nhiên t nh giao hoán r >< s ≠ s >< r Chư ng Đại số quan hệ 200 6 Nguyễn Trung Trực - Khoa CNTT 32 Phép nửa k t tự nhiên R R
- 36
- 660
- 1
Tài liệu Phép toán trong đại số quan hệ ppt
Ngày tải lên :
12/12/2013, 14:15
... DTC 000 4 Đỗ Xuân Nam 12 /02 /1989 Nam Thái Nguyên DTC 000 5 Nguyễn Thị Yến 10/ 03/ 1988 Nữ Bắc Giang DTC 000 6 Ng Quý Ng c 14 /09 /19 90 Nam Cao B ng DTC 000 7 Nguyễn Thị Viễn 19/11/19 90 Nữ Bắc Cạn DTC 000 8 ... 10 liệu *SINH_VIÊN MÃ SV HỌ T N SV NĂM SINH GIỚI T NH ĐỊA CHỈ DTC 000 1 Trần Thị Ng n 02 /01 /19 90 Nữ L ng Sơn DTC 000 2 Trần Thị Thoa 11/12/19 90 Nữ Hòa Bình DTC 000 3 Ph ng Đức Thọ 11 / 03 /19 90 Nam Thái ... Quản Trị Học A5 Kinh T Vĩ Mô A6 Anh văn 2 A7 Mac-Lê Nin A8 Marketing A9 Nguyên Lý Kế Toán A 10 Cơ sở liệu ***ĐIỂM: MÃ SV MÃ MÔN ĐIỂM THI DTC 000 1 A1 DTC 000 2 A2 DTC 000 3 A3 10 DTC 000 4 A4 DTC 000 5 A5...
- 20
- 1.1K
- 12
Tài liệu Chương 4: Đại số quan hệ docx
Ngày tải lên :
25/01/2014, 08:20
... Thuộc t nh: LUONG TENNV HONV … LUONG … … LUONG … Tung Nguyen … 400 00 … … 400 00 … Hang Bui … 2 500 0 … … 2 500 0 … Nhu Le … 4 30 0 0 … … 4 30 0 0 … Hung Nguyen … 3 800 0 … … 3 800 0 … Cơ sở liệu - Khoa CNTT ... LUONG PHONG Tung Nguyen 12 /08 /1955 638 NVC Q5 Nam 400 00 Hang Bui 07 /19/1968 33 2 NTH Q1 Nu 2 500 0 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 Hung Nguyen 09 /15/1962 Ba Ria VT Nam 3 800 0 Quang Pham 11/ 10/ 1 937 ... Hang Bui 07 /19/1968 33 2 NTH Q1 Nu 2 500 0 98765 432 1 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 987987987 Hung Nguyen 09 /15/1962 Ba Ria VT Nam 3 800 0 Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 39 Ví dụ (tt)...
- 81
- 2.6K
- 2
Tài liệu Đại số quan hệ pdf
Ngày tải lên :
25/01/2014, 09:20
... c ng ty - Quan hệ: NHANVIEN Thuộc t nh: LUONG TENNV HONV … LUONG … … LUONG … Tung Nguyen … 400 00 … … 400 00 … Hang Bui … 2 500 0 … … 2 500 0 … Nhu Le … 4 30 0 0 … … 4 30 0 0 … Hung Nguyen … 3 800 0 … … 3 800 0 ... 12 /08 /1955 638 NVC Q5 Nam 400 00 Hang Bui 07 /19/1968 33 2 NTH Q1 Nu 2 500 0 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 Hung Nguyen 09 /15/1962 Ba Ria VT Nam 3 800 0 Quang Pham 11/ 10/ 1 937 4 50 TV HN Nam 5 500 0 ... 888665555 06 /19/1981 888665555 Vinh Pham … Nguyen 12 /08 /1955 638 NVC Q5 Nam 400 00 999887777 Hang Bui 07 /19/1968 33 2 NTH Q1 Nu 2 500 0 98765 432 1 Nhu Le 06 / 20/ 1951 291 HVH QPN Nu 4 30 0 0 987987987 Hung Nguyen...
- 81
- 1.3K
- 4
Tài liệu Mô hình đại số quan hệ của hệ thống hướng đối tượng. potx
Ngày tải lên :
27/02/2014, 07:20
... dˆy, ch ng t i d˜ tr` b`y ng ngh˜ c´c quan hˆ dai sˆ cho d˘c ta hˆ th ng e a u o a ınh a u a ’ e o ´ .ng dˆi tu.o .ng, v` d˜ xem x t to´n tu chu.o .ng tr` ng n ng hu.´ .ng dˆi tu.o .ng l` ´ ´ ... UNU/IIST: International Institute for software technology”, the United Nations University, Macau, May 200 1 [4] He Jifeng, Li Xiaohan and Zhiming Liu, rCOS: Refinement Caclculus for Object Systems, Technical ... a ’ e a a C ng nhu c´c ng n ng lˆnh, m t trang th´i cua biˆn l` gi´ tri du.o.c tao tai u i diˆ m M t dˆi tu.o .ng c´ thˆ ch´.a nhiˆu thuˆc t cua n´, v` gi´ tri c´c thuˆc t ’ ’ ` ´ e...
- 10
- 447
- 0
Đại số quan hệ pot
Ngày tải lên :
05/03/2014, 22:20
... Với thứ t chuỗi 01 10 100 0 kh ng so sánh với Ch ng ta kh ng thể nói chuỗi lớn Dễ d ng thấy thứ t t an phần A B Ta gọi thứ t t điển Trong tin học thư ng sử d ng thứ t t an phần chuỗi bit ... phần t nhỏ 1 10 theo nghĩa: 12 20 10 000 abc 111 25 01 0 00 1 00 0 53 m 54 Chặn , chặn Ch ng ta có định lý Theorem Trong poset hữu hạn, có phần t t i đại phần t lớn T ng t cho phần t nhỏ ... Trong poset S hữu hạn, phần t t i đại phần t t i tiểu ln ln t n Th t vậy, xu t ph t từ điêm a0 S Nếu a0 kh ng t i tiểu, t n a1 a0, tiếp t c t m phần t t i tiểu Phần t t i đại t m...
- 17
- 438
- 0
Bài tập đại số quan hệ docx
Ngày tải lên :
23/03/2014, 03:20
... lư ng bán th ng 10/ 200 5 T m sản phẩm (mã sản phẩm, t n sản phẩm) có số lư ng bán cao ng y 10/ 10/ 200 5 Phần 3: R ng buộc toàn vẹn Bối cảnh quan hệ: T t sản phẩm có giá t 1 .00 0 đ ng trở lên Ng y ... “SP01” “SP02” In danh sách sản phẩm kh ng bán năm 200 5 Phần 2: SQL T m số hoá đơn có trị giá cao năm 200 5 T nh t ng số lư ng sản phẩm có mã số “SP01” bán th ng 10/ 200 5 T ng sản phẩm, t nh t ng ... “SP01” bán th ng 10/ 200 5 SELECT FROM WHERE SUM(SL) as SLSP CTHD, HOADON CTHD.SOHD=HOADON.SOHD AND MASP=’SP01’ AND NGHD between ’1/ 10/ 200 5’ AND 31 / 10/ 200 5’ Hoặc: Year(NGHD)= 200 5 AND Month(NGHD)=10...
- 20
- 12.6K
- 615
Đại số quan hệ và quan điểm sử dụng null value trên một mô hình cơ sở dữ liệu mở. pdf
Ngày tải lên :
25/03/2014, 20:22
... 1 ,0 0 ,0 0 ,0 0 ,0 0,1 0, 1 hc >ng 0, 0 0, 0 0, 0 1 ,0 0,6 0, 6 0, 0 0, 0 dd 0, 0 0, 0 0, 0 0, 6 1 ,0 0,9 0, 0 0, 0 tim dd 0, 0 0, 0 0, 0 0, 6 0, 9 1 ,0 0 ,0 0 ,0 td .ng 0, 1 0, 1 0, 0 0, 0 0, 0 0, 0 1 ,0 0,7 kern 0, 1 0, 1 0, 1 0, 0 ... a2 a3 as al 1 ,0 0 ,3 0, 8 0, 7 a2 0, 3 1 ,0 0 ,3 0, 3 a3 0, 8 0, 3 1 ,0 0,8 a5 0, 7 0, 3 0, 8 B, C) va cac quan h~ tiro -ng tv" tren 1 ,0 bl b2 b3 b4 bl 1 ,0 0,1 0, 6 0, 1 b2 0, 1 1 ,0 0,1 0, 9 b3 0, 6 0, 1 1 ,0 0,1 ... 1 ,0 0,9 0, 5 0, 5 0, 2 dao di~n 0, 9 0, 9 1 ,0 0,5 0, 5 0, 2 giao vien 0, 5 0, 5 0, 5 1 ,0 0,8 0, 2 giao str 0, 5 0, 5 0, 5 0, 8 1 ,0 0,2 phicong 0, 2 0, 2 0, 2 0, 2 0, 2 1 ,0 Hinh Quan h~ tirong t~ ' tren Dam (Ngh'e nghiep]...
- 10
- 822
- 3
Bài tập thực hành môn HQTCSDL - Đại số quan hệ
Ngày tải lên :
28/03/2014, 20:43
... 30 0 0 400 0 Jones Smith I Left Outer Join loan borrower loan_number branch_name amount customer_name L-1 70 Downtown 30 0 0 Jones L-2 30 Redwood 400 0 Smith L-2 60 Perryridge 1 700 null NN BMHTTT 43 Outer ... Relations r, s: 1 2 s r α β NN BMHTTT 49 Ví dụ phép chia PROFCS PROFCOURSE Id S 7 83 00 9 121 555 101 900 101 BMHTTT Id 101 555 CrsCode CS 30 5 CrsCode M1 23 M1 23 EE 101 CS 30 5 CS315 MA 23 CS 30 5 K t PROFCOURSES/PROFCS ... loại k t K t trái K t phải K t full 41NN BMHTTT 41 Outer Join – Example Relation loan loan_number L-1 70 L-2 30 L-2 60 branch_name Downtown Redwood Perryridge amount 30 0 0 400 0 1 700 I Relation borrower...
- 50
- 3K
- 59
Chương Đại số quan hệ
Ngày tải lên :
12/05/2014, 12:03
... 30 0 0 400 0 Jones Smith I Left Outer Join loan borrower loan_number branch_name amount customer_name L-1 70 Downtown 30 0 0 Jones L-2 30 Redwood 400 0 Smith L-2 60 Perryridge 1 700 null NN BMHTTT 43 Outer ... Relations r, s: 1 2 s r α β NN BMHTTT 49 Ví dụ phép chia PROFCS PROFCOURSE Id S 7 83 00 9 121 555 101 900 101 BMHTTT Id 101 555 CrsCode CS 30 5 CrsCode M1 23 M1 23 EE 101 CS 30 5 CS315 MA 23 CS 30 5 K t PROFCOURSES/PROFCS ... loại k t K t trái K t phải K t full 41NN BMHTTT 41 Outer Join – Example Relation loan loan_number L-1 70 L-2 30 L-2 60 branch_name Downtown Redwood Perryridge amount 30 0 0 400 0 1 700 I Relation borrower...
- 50
- 501
- 0
Bài 4: Ngôn ngữ đại số quan hệ pdf
Ngày tải lên :
19/06/2014, 17:20
... lieu HV02 CSDL 8.5 CTRR Cau truc roi rac HV01 CTRR 8.5 THDC Tin hoc dai cuong HV 03 CTRR 9 .0 HV01 THDC 7 .0 HV02 THDC 5 .0 HV 03 THDC 7.5 HV 03 CSDL 6 .0 KETQUAMONHOC MONHOC KETQUA KETQUATHI[ Mahv, ... mua t t sản phẩm Singapore sản xu t www.Athena.Edu.Vn 32 Câu • In danh sách sản phẩm (MASP, TENSP) “Trung Quốc” sản xu t có giá t 30 . 000 đến 40. 000 SANPHAM : ((nuocsx 'TrungQuoc' ) ( 30 . 000 ... 40. 000 ))[masp, tensp] masp,tensp ( nuocsx'TrungQuoc')( 30 . 000 gia 40. 000 ) SANPHAM www.Athena.Edu.Vn 33 Câu • In danh sách khách h ng (MAKH, HOTEN) mua h ng ngày 1/1/ 200 7 MAKH KHACHHANG...
- 39
- 1.2K
- 15