Tài liệu 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EFG9:@<& H01I

"#$ ' :@ 6 7 ? 5  J > :@
.647

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

#\M

@

#M R:M

%&

'
 ]
Bối cảnh

#\M!:@"#$

G'   4  C 7M (  K5 B 2&: "#$ 7
82^2_2_

$TW(R1)

X !:@ P%B>7; ?B?
4 2Y

2^2_2_
∗
_2_ %B>
∗
>::`:@%B>B':@2Y K
∗
#=: 2Y :@2Y K


#\Mab$,cdef#b
 g
Bối cảnh (tt)

$TW(R2)

 P4MZ8922M':@%B> ; 
.

2^2_2_
∗
_2_ P4MZ892!:@%B>
∗
>::`:@%B>

#\Mab$,c
 h
Nội dung

@ !:@"#$?2KDKi

 ; 8>

FUD 9Tj

 ; <X

;L dj ;V7CD

#DU; 4

∗
&\4
∗
^2T4
∗
k M+2--/
 l
Nội dung (tt)

$TW(R1)

 ; 8>

X !:@ P%B>7; ?B?4
 2Y

 ; <X


∀∈b$,c+
∃∈ef#b+∃B∈b$,c+
m"f=Bmb$∧
mbf=mf∧
mGnef≤BmGnef///
 op
Nội dung (tt)

$TW(R2)

 ; 8>


 P4MZ8922M':@%B> ; .

 ; <X


∀∈b$,c+mbqrG≠∧
∃∈b$,c+mbqrG=mb$//
 oo
Bảng tầm ảnh hưởng

#M R:M

s5_2_'R2M7D:"#$
7?8>4K\M

C&

#M R:M :@"#$

#M R:M = ?2
 o
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
 o*
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
+
-
-
-
+
-
+
-
+
+
-
-
+
+
-
+
-

-
-
+
-
+
-
+
 oQ
Nội dung chi tiết

:

 !"#$

Phân loại

@4

6 5

G>K@

G>@T

64

:9

G>K@d>4


G>@Td>4

@T= ?2

<

'
 o[
RBTV - Miền giá trị

"' K@45 5:@@T

6 5

G>W

"P&
A B
α
R
α
β
C
1
5
12
β 23
D
1
7

3
9
α
β
β
β
β ∈ {α, β, γ}9 ∈ {1 10}
 o]
Ví dụ 3

P : 6!:@%B>7; 
4]p P

#\Ma

#DUa

#M R:M a
 og
Ví dụ 4

f`T!%B>'H:IHI

#\Ma

#DUa

#M R:M a
 oh
RBTV - Liên bộ


E8t&!:@.6K@2W@B'8
t&!:@.6K@7 A 4


P ?2K

"#7CT

"#.1+4-/
A B
α
R
α
β
C
1
5
12
β 23
D
1
7
3
9
α
β
β
β
 ol

Ví dụ 5

>2Y '.1

#\Ma

#DUa

#M R:M a
 p
Ví dụ 6

@%B>?: \[6

#\Ma

#DUa

#M R:M a
 o
Ví dụ 7

,Fbn+fbudf,edFe,dEe#b/

v_1'@1!V @

#\Ma

#DUa


#M R:M
 
RBTV - Liên thuộc tính

G'' K@ @T A 4

A B
α
R
α
β
C
1
5
12
β 23
D
1
7
3
9
α
β
β
β
 *
Ví dụ 8

@%B>7; 4MZ892T:<


#\Ma

#DUa

#M R:M a
 Q
Ví dụ 9

ebe+bdcd#Fbndn/

v7CL7^'T1*

#\Ma

#DUa

#M R:M a
 [
RBTV - Tham chiếu

f501&@T :@4
'C2M:99 57CT!
:@47`

P ?2K

"#7C &
A B
α
R

α
β
C
1
5
12
β 23
D
1
7
3
9
α
β
β
β
E F
7
S
3
1
2
Bắt buộc phải tồn tại trước