Chương 7: Ràng buộc toàn vẹn pptx

Chương 7
Chương 7
Ràng buộc toàn vẹn
Ràng buộc toàn vẹn
 
Nội dung chi tiết

Khái niệm

 !"#$

%&

'(
)

 *
Khái niệm

"#$+,- -./0123 45.6
7

 89

 :;<
=
':.>7; ?@8
:AB.C<DEFGH9:A<& I01J

"#$':A67@5 K?:A.64
7


"#$' 67L1L9:':ME!4
62NOL17PQE:'
 R
Khái niệm (tt)

&S2ND"#$T

#NN:U79U!'2S1&?
FGH

#NN:U14!

#NN:FGH;LEVW   K89

$UX

Y !:A Q%C?7; @C@
4 2Z (R1)

 Q4N[892+!:A%C?/2N':A
%C? ; .(R2)
 \
Nội dung chi tiết

:

Các đặc trưng của RBTV

#]N


A

#N S:N

%&

'
 ^
Bối cảnh

#]N!:A"#$

H'   4  D 7N (  L5 C 2&: "#$ 7
82_2`2`

$UX(R1)

Y !:A Q%C?7; @C@
4 2Z
=
2_2`2`
∗
`2` %C?
∗
?::a:A%C?C':A2Z L
∗
#>: 2Z :A2Z L
=
#]Nbc$,defg#c

 h
Bối cảnh (tt)

$UX(R2)

 Q4N[8922N':A%C? ; 
.
=
2_2`2`
∗
`2` Q4N[892!:A%C?
∗
?::a:A%C?
=
#]Nbc$,d
 i
Nội dung

A !:A"#$@2LELj

 ; 8?
=
GVE 9Uk

 ; <Y
=
;M ek ;W7DE
=
#EV; 4
∗

&]4
∗
_2U4
∗
l N+2--/
 m
Nội dung (tt)

$UX(R1)

 ; 8?
=
Y !:A Q%C?7; @C@4
 2Z

 ; <Y
=

∀∈c$,d+
∃∈fg#c+∃C∈c$,d+
n"g=Cnc$∧
ncg=ng∧
nHofg≤CnHofg///
 pq
MANV HOTEN PHG LUONG
p B p R\qqq
 9 * \qqqq
*  R p\qqq
R  * ^qqqq
\ !. p qqqq

^ 1 R *\qqq
h Q R R\qqq
MAPHG TENPHG TRPHG
p 6' p
*  ?Y 
R 
G
h
c$,d
c$,d
fg#c
fg#c
Vi phạm ràng buộc toàn vẹn ?
 p
Nội dung (tt)

$UX(R2)

 ; 8?
=
 Q4N[8922N':A%C? ; .

 ; <Y
∀∈c$,d+ncrsH=∨
∃∈c$,d+nc$tncrsH//
∀∈c$,d+ncrsHu=
∃∈c$,d+nc$tncrsH//
 p*
MANV HOTEN PHG LUONG MA_NQL
p B p R\qqq null

 9 * \qqqq p
*  R p\qqq null
R  * ^qqqq *
\ !. p qqqq R
^ 1 R *\qqq null
h Q R R\qqq ^
c$,d
c$,d
i  R R\qqq m
vi phạm RBTV
 pR
Bảng tầm ảnh hưởng

#N S:N

v5`2`'S2N7E:"#$
7@8?4L]N

D&

#N S:N :A"#$

#N S:N > @2
 p\
Bảng tầm ảnh hưởng một RBTV
Tên_RB
Quan hệ n
Quan hệ 1
Quan hệ 2
…

Thêm Xóa Sửa
+ − + (Thuộc tính)
+− −
+− −
(+) Vi phạm RBTV
(−) Không vi phạm RBTV
Bảng tầm ảnh hưởng

!%C?2N':

#]Nbc$,d

A b

#N S:N b
 p^
Thêm Xóa Sửa
+ - +(PHAI)
NHANVIEN
∀∈c$,d+nc,tw:w∨nc,tww∨
nc,toHH/
∀∈c$,d+nc,utoHHnc,tw:w
∨nc,tww/
hoặc
Bảng tầm ảnh hưởng

Z  ! % C? 2N ' :A     2Z  ! 2Z 
L

#]Nb


#N S:N b
 ph
Thêm Xóa Sửa
+ - +(PHG)
NHANVIEN
- + + (MAPHG)
PHONGBAN
Bảng tầm ảnh hưởng

 Q4N[892!%C?9D<2N':A%
C? ; .

#]Nb

#N S:N b
 pi
Thêm Xóa Sửa
+ + + (MA_NQL, MANV)
NHANVIEN
Bảng tầm ảnh hưởng

@xb
c$,d+c$efdec,eof,$doo/

"#$b>C6!%C?:'^qe!%C?'
\\n

#]Nb


#N S:N b
 pm
Thêm Xóa Sửa
+ - + (PHAI,
TUOIVEHUU)
NHANVIEN
 q
Bảng tầm ảnh hưởng tổng hợp
Quan hệ 1
Quan hệ 2
Quan hệ 3
Quan hệ n
…
T X S T X S T X S… … …
Ràng buộc 1 Ràng buộc 2 Ràng buộc m
+
-
-
-
+
-
+
-
+
+
-
-
+
+
-

+
-
-
-
+
-
+
-
+
 p
Nội dung chi tiết

:

 !"#$

Phân loại

A4
=
6 5
=
H?LA
=
H?AU

64
=
:9
=

H?LA?4
=
H?AU?4
=
AU> @2
=
<

'
 
RBTV - Miền giá trị

"' LA45 5:AAU

6 5

H?X

"Q&
A B
α
R
α
β
C
1
5
12
β 23
D

1
7
3
9
α
β
β
β
β ∈ {α, β, γ}9 ∈ {1 10}
 *
Ví dụ 3

Q : 6!:A%C?7; 4^q Q

#]NbPHANCONG

#EVb

#N S:N b
∀∈cfg+nf,g,c≤^q/
R3
PHANCONG
Thêm Xóa Sửa
+
− +
(THOIGIAN)
 R
Ví dụ 4

gaU!%C?'I:JIJ


#]NbNHANVIEN

#EVb

#N S:N b
∀∈c$,d+nc,∈yI:JeIJz/
R4
NHANVIEN
Thêm Xóa Sửa
+
− + (PHAI)
Gf+c,/=yI:JeIJz
hay
Ví dụ 4b

gaU!%C?nếu có<2N'I:JIJ
 \
 ^
RBTV - Liên bộ

F8x&!:A.6LA2XAC'8x&!:A
.6LA7 B 4

Q @2L

"#7DU

"#.1+4-/
A B

α
R
α
β
C
1
5
12
β 23
D
1
7
3
9
α
β
β
β