Đang tải... (xem toàn văn)
Cơ sở dữ liệu - Khoa CNTT - ĐH KHTN TPHCM 6. Nội dung chi tiết Giới thiệu[r]
(1)Chương 6
(2)Nội dung chi tiết Giới thiệu
Phép tính quan hệ bộ
- Tuple Relational Calculus (TRC)
Phép tính quan hệ miền
(3)Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM
Giới thiệu (tt)
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)
(4)Giới thiệu (tt) Có 2 loại
- Phép tính quan hệ
• SQL
- Phép tính quan hệ miền
• QBE (Query By Example)
(5)Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM
Nội dung chi tiết Giới thiệu
Phép tính quan hệ bộ
(6)Phép tính quan hệ Biểu thức phép tính quan hệ có dạng
- 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)
(7)Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM
Ví dụ
Tìm nhân viên có lương 30000
- t NHANVIEN
• Nếu t thể quan hệ NHANVIEN
- t.LUONG > 30000
• Nếu thuộc tính LUONG t có giá trị 30000
{ t | t NHANVIEN t.LUONG > 30000 }
(8)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ập MANV TENNV t cho t
một thể NHANVIEN t có giá trị lớn
(9)Cơ sở liệu - Khoa CNTT - ĐH KHTN TPHCM 10
Ví dụ
Cho biết nhân viên (MANV) làm việc phòng „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
s PHONGBAN s.TENPHG ‘Nghien cuu’ t.MANV | t NHANVIEN
tR (Q(t))
(10)Q(s)
Ví dụ
Cho biết nhân viên (MANV) làm việc phòng „Nghien cuu‟
{ t.MANV | t NHANVIEN s PHONGBAN (
s.TENPHG ‘Nghiên cứu’
s.MAPHG t.PHG ) }
MANV HOTEN PHG
1 Tùng MAPHG TENPHG Điều Hành NHANVIEN