Bài giảng CSDL chương 3 mô hình cơ sở dữ liệu quan hệ

28 343 0
Bài giảng CSDL  chương 3   mô hình cơ sở dữ liệu quan hệ

Đ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

1 Giới thiệu  Mơ hình Cơ sở liệu Quan hệ (gọi tắt Mơ hình Quan hệ) E.F Codd đề xuất năm 1971  Mơ hình Quan hệ thể liệu góc độ logic  Mơ hình bao gồm:  Các khái niệm nhằm mơ tả liệu dạng dịng cột quan hệ, bộ, thuộc tính, khóa chính, khố ngoại,  Các phép toán thao tác với liệu_ Đại số quan hệ  Ràng buộc toàn vẹn quan hệ  Các Hệ quản trị CSDL quan hệ (RDBMS) xây dựng dựa lý thuyết mơ hình quan hệ Các khái niệm  Quan hệ / bảng  Thuộc tính  Bộ  Lược đồ quan hệ  Khóa Quan hệ  Dữ liệu lưu trữ CSDL Quan hệ tổ chức thành Quan hệ (relation)  Quan hệ (relation) thể bảng (table)  Một quan hệ có :  Một tên  Tập hợp thuộc tính (attribute), có tên kiểu liệu  Tập hợp (tuple), thay đổi theo thời gian Quan hệ bảng Thuật ngữ tương đương : • Quan hệ, bộ, thuộc tính (Relation, tuple, attribute) • Bảng, dịng, cột (Table, row, column) MASV 99001 99002 99001 99005 MAMH CSDL CSDL THVP THVP MAKHOA CNTT CNTT CNTT AV DIEMTHI 3.0 8.0 6.0 5.0 Thuộc tính Một thuộc tính bao gồm :  Tên thuộc tính  Tên phân biệt  Giúp diễn giải ý nghĩa thuộc tính (thuộc tính thực thể, hay mối kết hợp)  Kiểu liệu thuộc tính  Số nguyên, số thực, văn bản, logic,…  Miền giá trị xác định  Có thể bị áp đặt qui tắc nghiệp vụ, hay ràng buộc liệu  Có thể NULL Bộ quan hệ  Mỗi (dòng) tổ hợp giá trị tương ứng với thuộc tính quan hệ mô tả thực thể , hay mối kết hợp có giới thực   Một tập xác định thời điểm, gọi thể lược đồ quan hệ (hay quan hệ) Ký hiệu: r(Ketqua) Khơng có trùng quan hệ     khóa Trật tự (và thuộc tính) khơng quan trọng DBMS Lược đồ Quan hệ  Lược đồ quan hệ - relation schema  Mô tả cấu trúc quan hệ    Các thuộc tính Mối liên hệ thuộc tính Mỗi lược đồ quan hệ ln kèm tân từ để diễn tả ý nghĩa Vd, tân từ: Mỗi Sinh viên thuộc khoa, học mơn học có kết thi mơn học Ký hiệu: Ketqua( MASV, MAMH, MAKHOA, DIEMTHI)  Lược đồ CSDL  Tập hợp lược đồ quan hệ CSDL Khóa (Key hay candidate key)  Gọi S tập thuộc tính lược đồ quan hệ R  S gọi siêu khóa (superkey) lược đồ quan hệ R,     với hai R giá trị thuộc tính S khác Siêu khố có thuộc tính gọi khóa (key) hay khóa dự tuyển (candidate key)  Một lược đồ quan hệ có nhiều khóa (khóa dự tuyển) Một khóa chọn để cài đặt gọi khóa (primary key)  Khơng chứa giá trị NULL khóa ngoại (foreign key) thuộc tính LĐQH lại khóa LĐQH khác Khóa phức (composite key) khóa có nhiều thuộc tính  Thuộc tính khóa thuộc tính khơng khóa Khóa _ ví dụ  Monhoc(Mamon, Tenmon, Sotiet) rMonhoc Mamon Tenmon THVP Tin hoc văn phịng LTC Lập trình C CSDL1 Co so du lieu CSDL2 Co so du lieu Sotiet 30 60 45 45 Siêu khóa : {Mamon}, {Mamon, Tenmon}, {Mamon, Sotiet}, {Mamon, Tenmon, Sotiet} Khóa (khóa dự tuyển, khóa chính) : {Mamon} 10 Giới thiệu  Đại số quan hệ (và phép tính quan hệ) định nghĩa Codd 1971  xem tảng ngôn ngữ quan hệ khác SQL  Là ngôn ngữ thủ tục bậc cao  Được dùng để cách xây dựng quan hệ từ hay nhiều quan hệ DB  Bao gồm tập phép tốn thao tác quan hệ 14 Phép tích Descartes Cho quan hệ r lược đồ R(A1, A2, ,Am) s lược đồ S(B1,B2,…,Bn) Nếu R S có thuộc tính trùng tên, phải đổi tên  Phép tích Descartes r s quan hệ lược đồ T(A1, A2, , Am, B1, B2, ….,Bn) r x s ={ t |  tr  r ts  s với t[A1, A2, , Am] = tr t[B1, B2, ….,Bn] = ts } 15 15 Phép tích Descartes – ví dụ  Relations r, s: MASV MAMH rxs DIEM MAMH TENMH 99001 CSDL 5.0 CSDL COSO DULIEU 99002 FOX 2.0 FOX FOXPRO 99003 MANG 8.0 MASV MAMH DIEM MAMH TENMH 99001 CSDL 5.0 CSDL COSO DULIEU 99001 CSDL 5.0 FOX FOXPRO 99002 FOX 2.0 CSDL COSO DULIEU 99002 FOX 2.0 FOX FOXPRO 99003 MANG 8.0 CSDL COSO DULIEU 99003 MANG 8.0 FOX FOXPRO 16 Phép tích Descartes  ứng dụng :  phép tích Descartes phép tính vơ nghĩa đứng riêng Tuy nhiên, kết hợp sau phép toán phép chọn phù hợp , kết có nghĩa : kết hợp có liên quan từ hai quan hệ  Vd : Hiển thị bảng điểm sinh viên Bao gồm MaSV, MaMH, Diem, TenMH => Viết biểu thức đại số quan hệ ? (r x s) ( r.MaMH = s.MaMH) 1717 Ràng buộc tồn vẹn  Ràng buộc tịan vẹn  Các loại ràng buộc toàn vẹn  Biểu diễn ràng buộc toàn vẹn 18 Khái niệm  Ràng buộc toàn vẹn (integrity constraint) qui tắc mà tất liệu CSDL phải thỏa mãn  Nguồn gốc : xuất phát từ qui tắc nghiệp vụ giới thực đặc tính mơ hình quan hệ  đảm bảo liệu phản ánh giới thực, đảm bảo đặc trưng mơ hình quan hệ  Các dạng :  Ràng buộc tồn vẹn thực thể (ràng buộc khóa chính)_ Entity integrity  Ràng buộc toàn vẹn tham chiếu (ràng buộc phụ thuộc tồn / ràng buộc khóa ngọai)_ Referential integrity  Ràng buộc toàn vẹn miền giá trị _ Domain integrity  Ràng buộc toàn vẹn người dùng định nghĩa _ User-defined integrity 19 Khái niệm Mô tả ràng buộc tồn vẹn (RBTV): thơng qua yếu tố Bối cảnh : nêu tên hay số quan hệ mà RBTV có hiệu lực Biểu diễn : nội dung RBTV biểu diễn ngôn ngữ tự nhiên ngôn ngữ hình thức Bảng tầm ảnh hưởng: xác định thời điểm (cập nhật liệu) cần phải tiến hành kiểm tra RBTV 20 Ràng buộc toàn vẹn thực thể  Ràng buộc khóa  Thể hiện: giá trị khóa NOT NULL  Mục tiêu: dòng nhận diện  VD: cho Sinhvien(MaSV, Hoten, Phai, Ngaysinh) Tân từ : Mỗi sinh viên có Mã sinh viên nhất, xác định họ tên, phái ngày sinh Mô tả R1 ”Mỗi sinh viên có Mã sinh viên nhất” sau Bối cảnh : Sinhvien Biểu diễn : rSV  SINHVIEN, t1,t2  rSV t1.MASV  t2.MASV Bảng tầm ảnh hưởng R1 Sửa Xóa Thêm rSV + + (MASV) - 21 Ràng buộc tòan vẹn tham chiếu  Ràng buộc khóa ngoại  Thể hiện: gía trị khóa ngoại NULL, phải giá trị khóa bảng khác  Mục tiêu : trì tính qn (consistency) quan hệ  Được thể thông qua quy tắc sau:    Không thể thêm ghi vào bảng quan hệ khơng có ghi tương ứng bảng Khơng thể thay đổi giá trị bảng làm cho ghi tương ứng bảng quan hệ bị tham chiếu Khơng thể xóa ghi bảng tham chiếu số ghi bảng quan hệ 22 Ràng buộc tòan vẹn tham chiếu  VD: cho lược đồ CSDL , bao gồm Khoa(Makhoa, Tenkhoa) Tân từ : Mỗi khoa có mã khoa nhất, tên khoa Sinhvien(MaSV, Hoten, Phai, Ngaysinh, Makhoa) Tân từ : Mỗi sinh viên có Mã sinh viên nhất, xác định họ tên, phái ngày sinh Mỗi sinh viên thuộc khoa Mô tả R2 “Mỗi sinh viên thuộc khoa” sau Bối cảnh: Khoa, Sinhvien Biểu diễn : rSV  SINHVIEN , rKhoa  KHOA rSV[MAKHOA]  rKHOA[MAKHOA] Bảng tầm ảnh hưởng : R2 rSV rKhoa Theâm + - Sửa Xóa + + + 23 Ràng buộc tồn vẹn miền giá trị  Thể : giá trị thuộc tính phải nằm miền giá trị xác định  Mục tiêu : tuân thủ qui tắc nghiệp vụ giới thực  VD: Hocbong(MaSV, Namhoc, Xeploai, Sotien) Tân từ : Hàng năm, đạt kết học tập lọai trở lên sinh viên học bổng Học bổng có mức: loại 500 , loại giỏi 700 Mô tả R3 “học bổng có mức: loại 500 , loại giỏi 700 ” sau Bối cảnh : Hocbong Biểu diễn : rHbong  HOCBONG, t  rHbong , t.Sotien = 500 or t.Sotien = 700 Bảng tầm ảnh hưởng R3 rHocbong Thêm + Sửa + (Sotien) Xoùa - 24 Ràng buộc user định nghĩa  Bao gồm ràng buộc không thuộc loại , :  ràng buộc liên / liên thuộc tính quan hệ;  ràng buộc liên thuộc tính quan hệ;  ràng buộc thuộc tính tính tốn,…  VD1: cho lược đồ quan hệ Hoadon(MaHD, MaKH, Điachi, Ngaylap, NgayXuat ) Tân từ : Mỗi hóa đơn có mã Hóa đơn nhất, bán cho khách hàng có Mã KH, có địa Ngày lập HD phải trước trùng ngày xuất hàng Bối cảnh : Hoadon Biểu diễn: R4 :  t  rHoaDon t.NGAYLAP

Ngày đăng: 03/12/2015, 00:23

Từ khóa liên quan

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan