Thiết kế cơ sở dữ liệu quan hệ_ Phần III
lượt xem 156
download
Là những điều kiện bất biến mà tất cả các bộ trong và ngoài các quan hệ có liên quan ( đến ràng buộc) phải thỏa tại mọi thời điểm. Ràng buộc tòan vẹn rất quan trọng vì nó quy định ràng buộc trên dữ liệu nhận/ xuất trong CSDL.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Thiết kế cơ sở dữ liệu quan hệ_ Phần III
- THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ (Relational Database Designing) Phần III – RÀNG BUỘC TOÀN VẸN (entegrity constraint)
- Khái niệm về Ràng buộc toàn vẹn Ràng buộc toàn vẹn – Khái niệm • Là những điều kiện bất biến mà tất cả các bộ trong các quan hệ có liên quan(đến ràng buộc) phải thỏa tại mọi thời điểm. Ràng buộc toàn vẹn rất quan trọng vì nó qui định ràng buộc trên dữ liệu nhập/xuất trong CSDL. • Ràng buộc toàn vẹn thường được mô tả bằng các Tân từ (xem phần I), do nhà thiết kế CSDL tìm và phát hiện ra trong quá trình phân tích CSDL.
- Các yếu tố của Ràng buộc toàn vẹn (p.1) Các yếu tố của Ràng buộc toàn v ẹn 1. Điều kiện : là điều kiện ràng buộc (nội dung chính của Ràng buộc toàn vẹn), thường được mô tả bằng ngôn ngữ đặc tả hình thức. Ví dụ : Ràng buộc R1 : ∀ t1, t2 ∈ SINHVIEN, t1.MaSV ≠ t2.MaSV Ràng buộc R2 : ∀ t1∈ SINHVIEN, ∃ t2 ∈ DANGKY_HOCPHAN, t2.MAHP = ‘CSDL’ ∧ t2.MaSV = t1.MaSV Ý nghĩa ràng buộc R2: mọi sinh viên đều phải đăng ký học
- Các yếu tố của Ràng buộc toàn vẹn (p.2) Các yếu tố của Ràng buộc toàn vẹn (t.t) 1. Bối cảnh : là các (lược đồ) quan hệ có liên quan đến ràng buộc toàn vẹn. Như trong ví dụ của yếu tố Điều kiện, ràng buộc R1 có bối cảnh là quan hệ SINHVIEN, ràng buộc R2 có bối cảnh là quan hệ SINHVIEN và DANGKY_HOCPHAN
- Các yếu tố của Ràng buộc toàn vẹn (p.3) Các yếu tố của Ràng buộc toàn vẹn (t.t) 1. Tầm ảnh hưởng : các thao tác cập nhật dữ liệu (thêm / xóa / sửa) – có tác động lên các quan hệ trong bối cảnh của ràng buộc toàn vẹn – cần phải được kiểm tra lại điều kiện ràng buộc. Ta thường xác định yếu tố Tầm ảnh hưởng bằng cách xây dựng Bảng Tầm ảnh hưởng của ràng buộc toàn vẹn.
- Các yếu tố của Ràng buộc toàn vẹn (p.4) Bảng tầm ảnh hưởng Thêm Xóa Sử a + hoặc - + hoặc - + hoặc - + hoặc - + hoặc - + hoặc - … + hoặc - + hoặc - + hoặc - + hoặc - + hoặc - + hoặc - • , , … , là các quan hệ trong bối cảnh của RBTV • Tại ô dòng i, cột j là dấu + thao tác j xảy ra tại cần được kiểm tra lại điều kiện RBTV trên bộ liên quan đến thao tác; là dấu - :
- Các yếu tố của Ràng buộc toàn vẹn (p.5) Bảng tầm ảnh hưởng – Ví dụ Trong 2 ràng buộc toàn vẹn ở slide 3 R1 Thêm Xóa Sửa SINHVIEN + - +(MASV) Giải thích : Thao tác Thêm : Thêm 1 bộ mới vào quan hệ SINHVIEN (tức thêm SV mới), thì phải kiểm tra MaSV có đã bị trùng trong bảng chưa Thao tác Xóa : Xóa 1 bộ (xóa 1 SV) trong quan hệ SINHVIEN thì không cần phải kiểm tra ràng buộc về MaSV Thao tác Sửa : Khi sửa thông tin của 1 bộ đang tồn tại trong quan hệ SINHVIEN, thì yêu cầu kiểm tra ràng buộc chỉ bắt buộc khi thao tác Sửa xảy ra trên thuộc tính MaSV (sửa MaSV)
- Các yếu tố của Ràng buộc toàn vẹn (p.6) Bảng tầm ảnh hưởng – Ví dụ R2 Thêm Xóa Sử a SINHVIEN + - +(MASV) DANGKY_HOCPHAN - + +
- Phân loại Ràng buộc toàn vẹn (p.1) Phân loại Ràng buộc toàn vẹn • Ràng buộc có bối cảnh là 1 quan hệ : – RBTV miền giá trị. – RBTV liên thuộc tính. – RBTV liên bộ. • Ràng buộc có bối cảnh là nhiều quan hệ : – RBTV phụ thuộc tồn tại. – RBTV liên bộ - liên quan hệ. – RBTV liên thuộc tính – liên quan hệ.
- Phân loại Ràng buộc toàn vẹn (p.2) RBTV liên bộ • Là sự ràng buộc giữa các bộ trong cùng 1 quan hệ. • Một loại RBTV liên bộ phổ biến là ràng buộc toàn vẹn về khóa : trong 1 quan hệ, 2 bộ bất kỳ không được trùng khóa. • Bảng tầm ảnh hưởng chung : R Thêm Xóa Sửa + - +
- Phân loại Ràng buộc toàn vẹn (p.3) RBTV trên miền giá trị • Là điều kiện áp đặt trên miền giá trị của các thuộc tính. • Ví dụ : thuộc tính DIEMTB của quan hệ SINHVIEN phải trong khoảng [0,10] • Bảng tầm ảnh hưởng chung : R Thêm Xóa Sửa + - +
- Phân loại Ràng buộc toàn vẹn (p.4) RBTV liên thuộc tính • Là điều kiện ràng buộc giữa các thuộc tính trong 1 (lược đồ) quan hệ. • Ví dụ : trong quan hệ SINHVIEN, thuộc tính NGAYSINH phải luôn luôn nhận giá trị nhỏ hơn thuộc tính NGAYVAODOAN : ∀t ∈ SINHVIEN, t.NGAYSINH < t.NGAYVAODOAN • Bảng tầm ảnh hưởng chung : R Thêm Xóa Sửa + - +
- Phân loại Ràng buộc toàn vẹn (p.5) RBTV phụ thuộc tồn tại • Phổ biến nhất là ràng buộc khóa ngoại : ∀t ∈ DANGKY_HOCPHAN, ∃ t1 ∈ SINHVIEN : t.MASV = t1.MASV ∧ ∃ t2 ∈ HOCPHAN : t.MAHP = t2.MAHP • Bảng tầm ảnh hưởng chung : R1 chứa khóa ngoại, R2 chứa khóa chính Quan hệ Thêm Xóa Sửa + - + - + +
- Phân loại Ràng buộc toàn vẹn (p.6) RBTV liên thuộc tính - liên quan hệ • Là điều kiện ràng buộc giữa các thuộc tính trong nhiều (lược đồ) quan hệ. • Ví dụ : Cho lược đồ CSDL Quản Lý Bán Hàng với quan hệ DatHang, HoaDonXuat, ta có RBTV : ∀t1 ∈ DatHang, t2 ∈ HoaDonXuat : t1.MaHD = t2.MaHD t1.NgayDatHang
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Thiết kế cơ sở dữ liệu quan hệ - Phần 1: Mô hình cơ sở dữ liệu quan hệ
36 p | 831 | 324
-
Thiết kế cơ sở dữ liệu quan hệ - Phần 6: Chuẩn hóa cơ sở dữ liệu
27 p | 403 | 177
-
Báo Cáo " Các công cụ hỗ trợ phân tích thiết kế cơ sở dữ liệu "
17 p | 669 | 111
-
Giáo trình Thiết kế cơ sở dữ liệu: Phần 1 - Trịnh Minh Tuấn (biên soạn)
94 p | 338 | 94
-
Giáo trình Thiết kế cơ sở dữ liệu: Phần 2 - Trịnh Minh Tuấn (biên soạn)
133 p | 241 | 78
-
Giáo trình Thiết kế cơ sở dữ liệu: Phần 1 - Trịnh Minh Tuấn
59 p | 182 | 25
-
Giáo trình Thiết kế cơ sở dữ liệu: Phần 2 - Trịnh Minh Tuấn
92 p | 184 | 24
-
Bài giảng Thiết kế cơ sở dữ liệu: Chương 3 - GV. Dương Khai Phong
42 p | 171 | 22
-
Bài giảng Thiết kế cơ sở dữ liệu: Chương 2 - GV. Dương Khai Phong
58 p | 153 | 22
-
Bài giảng Thiết kế cơ sở dữ liệu: Chương 1 - GV. Dương Khai Phong
54 p | 137 | 13
-
Bài giảng Thiết kế cơ sở dữ liệu: Chương 1 - ThS. Trần Quang Hải Bằng
33 p | 113 | 7
-
Bài giảng Thiết kế cơ sở dữ liệu quan hệ - Vũ Tuyết Trinh
25 p | 113 | 7
-
Bài giảng Cơ sở dữ liệu: Thiết kế cơ sở dữ liệu - ThS. Trịnh Hoàng Nam (2018)
10 p | 89 | 5
-
Bài giảng Cơ sở dữ liệu: Thiết kế cơ sở dữ liệu - ThS. Trịnh Hoàng Nam
10 p | 87 | 5
-
Bài giảng Cơ sở dữ liệu - Bài 1: Thiết kế Cơ sở dữ liệu với Management Studio
10 p | 62 | 5
-
Bài giảng Cơ sở dữ liệu (Database) - Chương 3: Thiết kế cơ sở dữ liệu logic
207 p | 33 | 4
-
Thiết kế cơ sở dữ liệu theo tiếp cận dịch chuyển lược đồ quan hệ
8 p | 96 | 3
-
Bài giảng Hệ quản trị cơ sở dữ liệu - Chương 4: Lý thuyết thiết kế cơ sở dữ liệu
9 p | 29 | 2
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn