Microsoft PowerPoint - Chuong_06.ppt

Kích thước: px

Bắt đầu hiển thị từ trang:

Download "Microsoft PowerPoint - Chuong_06.ppt"

Đoàn Khang
4 năm trước
Lượt xem:

1 Nội dung trình bày Chương 6 Ràng buộc toàn vẹn (Integrity Constraint) Giới thiệu Các yếu tố của RBV Phân loại RBV Cài đặt RBV Giới thiệu RBV Các điều kiện mọi trạng thái của quan hệ đều phải thỏa ở bất kỳ thời điểm nào. uất phát từ các qui tắc quản lý được áp đặt lên các đối tượng trong thế giới thực. Mục đích của RBV Đảm bảo tính nhất quán của dữ liệu. Người giám sát phải là một nhân viên trong công ty. Dự án phải được điều phối bởi một phòng trong công ty. Đảm bảo ngữ nghĩa thực tế của CDL. Ngày nhận chức > Ngày sinh. Lương nhân viên < Lương trưởng phòng. RBV có 3 yếu tố Nội dung. Bối cảnh. Bảng tầm ảnh hưởng. Nội dung của RBV Được phát biểu bằng Ngôn ngữ tự nhiên. Đơn giản, dễ hiểu. Ngôn ngữ hình thức Đại số quan hệ, phép tính quan hệ, mã giả (pseudo code). Cósở toán học, đôi lúc khó hiểu. Ràng buộc toàn vẹn 1

2 Ví dụ RB1 Mỗi nhân viên có một mã số riêng biệt dùng để phân biệt với các nhân viên khác. t 1, t 2 (t 1 t 2 t 1.MaNV t 2.MaNV) RB2 Mỗi nhân viên phải làm việc trong một phòng ban. [MaPhong] [MaPB] RB3 Mỗi nhân viên chỉ được phép tham gia không quá 3 dự án. s HAMGIA (card({t t HAMGIA t.manv = s.manv}) 3) RB4 Mỗi phòng ban phải có ít nhất một nhân viên s ( t (t.maphong = s.mapb)) Bối cảnh của RBV Là những quan hệ mà RBV có hiệu lực. Bối cảnh có thể là một quan hệ hoặc nhiều quan hệ. Ví dụ RB1 có bối cảnh là. RB2, RB4 có bối cảnh là,. RB3 có bối cảnh là HAMGIA. Bảng tầm ảnh hưởng của RBV (1) Ví dụ RBV có thể bị vi phạm khi thực hiện các thao tác cập nhật trên bối cảnh Bảng tầm ảnh hưởng dùng để xác định thời điểm cần kiểm tra RBV. Các quan hệ bối cảnh ên RBV Quan hệ 1 Quan hệ k : cần phải kiểm tra RBV : không cần kiểm tra RBV RB1 RB2 RB3 HAMGIA RB4 Ràng buộc toàn vẹn 2

3 Bảng tầm ảnh hưởng của RBV (2) Ví dụ Bảng tầm ảnh hưởng tổng hợp ây dựng trên cơ sở bảng tầm ảnh hưởng của các RBV. Để xác định thời điểm kiểm tra RBV khi một thao tác cập nhật trên một quan hệ nào đó được thực hiện. RB1 RB2 RB3 RB4 ên RBV 1 ên RBV r HAMGIA Quan hệ 1 Quan hệ n Phân loại RBV Phân loại theo bối cảnh Bối cảnh là một quan hệ. Bối cảnh là nhiều quan hệ. Mục đích Giúp người thiết kế phát hiện các RBV của một CDL. RBV có bối cảnh là một quan hệ RBV miền giá trị. RBV liên thuộc tính. RBV liên bộ. RBV có bối cảnh là nhiều quan hệ RBV tham chiếu. RBV liên thuộc tính liên quan hệ RBV liên bộ liên quan hệ. RBV thuộc tính tổng hợp. RBV miền giá trị (1) RB5 Lương của nhân viên không thấp hơn t (t.luong ) RB5 Ràng buộc toàn vẹn 3

4 RBV miền giá trị (2) RB6 Giả sử quan hệ có thêm thuộc tính ngày xếp lương. Khi mức lương thay đổi, thì giá trị của ngày xếp lương phải luôn tăng. τ : t (t.ngepluong < τ(t).ngepluong) RBV liên thuộc tính RB7 Ngày xếp lương phải lớn hơn ngày sinh của nhân viên. t (t.nginh < t.ngepluong) RB7 RB6 RB8 Một nhân viên không được giám sát chính mình. t (t.magat t.manv) RB8 RBV liên bộ ự tồn tại của bộ này phụ thuộc vào bộ khác. rường hợp đặc biệt là ràng buộc khóa chính. RB1 và RB3. RBV tham chiếu (1) RB9 Chỉ có nhân viên của công ty mới được tham gia vào dự án của công ty. ự tồn tại của một bộ t HAMGIA phụ thuộc vào sự tồn tại của một bộ u và một bộ v DUAN. t HAMGIA ( u, v DUAN (u.manv = t.manv v.mada = t.mada)) RB9 DUAN HAMGIA Ràng buộc toàn vẹn 4

5 RBV tham chiếu (2) RB10 Mọi thân nhân phải có mối quan hệ họ hàng với nhân viên của công ty. ự tồn tại của bộ một t HANNHAN phụ thuộc vào sự tồn tại của một bộ u. t HANNHAN ( u (u.manv = t.manv)) RBV tham chiếu (3) RB11 Người giám sát trực tiếp (nếu có) phải là một nhân viên trong công ty. ự tồn tại của bộ một t phụ thuộc vào sự tồn tại của một bộ u. t (t null u (u.manv = t.mag)) RB10 HANNHAN RB11 Nhận xét RBV tham chiếu có thể có bối cảnh là một quan hệ. RBV liên thuộc tính liên quan hệ Mối liên hệ giữa các thuộc tính trong nhiều lược đồ quan hệ. RB12 Ngày nhận chức của trưởng phòng phải lớn hơn ngày sinh. t ( u (u.manv = t.rphong u.nginh < t.ngnhanchuc)) RB12 RBV liên bộ liên quan hệ Mối liên hệ giữa các bộ trên nhiều lược đồ quan hệ. RB4. RB13 Lương của nhân viên không được cao hơn lương trưởng phòng. t ( u ( v (v.manv = u.rphong u.mapb = t.maphong v.luong > t.luong))) RB13 Ràng buộc toàn vẹn 5

6 RBV thuộc tính tổng hợp huộc tính của lược đồ này được tính toán từ các thuộc tính hoặc các bộ của các lược đồ khác. RB14 Giả sử có thêm thuộc tính lưu số nhân viên của phòng. Khi đó số nhân viên của phòng phải bằng tổng số nhân viên thuộc phòng đó. t (t.onv = card({u u u.maphong = t.mapb})) Cài đặt RBV với Assertion (1) create assertion <ên assertion> check <điều kiện> drop assertion <ên assertion> RB12 create assertion RB_12 check (not exists ( select * from, where rphong = MaNV and Nginh > NgNhanChuc)); RB14 Cài đặt RBV với Assertion (2) RB3 create assertion ( check (not exists ( select MaNV from HAMGIA group by MaNV having count(*) > 3)); Cài đặt RBV với Check (1) create table <ên bảng> ( <khai báo thuộc tính> check <điều kiện>,, check <điều kiện> ); RB5 create table (, Luong int check (Luong >= 10000),, ) Ràng buộc toàn vẹn 6

7 Cài đặt RBV với Check (2) RB7 create table (, Nginh date, NgepLuong date,, check (Nginh < NgepLuong) ); Cài đặt RBV với rigger (1) ập hợp các lệnh tự động thực hiện khi xảy ra các sự kiện nào đó. Mô hình ECA (ự kiện Điều kiện Hành động) Ự KIỆN ĐIỀU KIỆN ác định trên các bộ củ và mới Đúng HÀNH ĐỘNG ập hợp các lệnh Cài đặt RBV với rigger (2) create trigger <ên trigger> <after before> <insert delete update> on <ên bảng> [for each row for each statement] [when <điều kiện>] <Các lệnh QL>; drop trigger <ên trigger> Cài đặt RBV với rigger (3) RB13 create trigger RB_13 before insert or update of Luong on for each row when ( new.luong > (select Luong from where MaNV = new.magat)) ERROR( Luong moi cao hon luong giam sat ); Ràng buộc toàn vẹn 7

8 Cài đặt RBV trên QL erver QL erver 2000 Không hổ trợ Assertion. Hổ trợ Check và rigger. rigger trên QL 2000 em Help Book Online ransact QL CREAE RIGGER. Ràng buộc toàn vẹn 8

Tài liệu tương tự

Microsoft Word - cu_phap_sqlite.docx

Microsoft Word - cu_phap_sqlite.docx Cú pháp SQLite SQLite đi kèm với tập hợp các qui tắc và guideline duy nhất được gọi là Cú pháp. Chương này sẽ cho bạn cái nhìn tổng quan về SQLite qua việc liệt kê cho bạn tất cả cú pháp cơ bản của SQLite.