Giaùo trình CÔ SÔÛ DÖÕ lieäu trang

Caùc pheùp toaùn taäp hôïp (set operation)

tải về 1.89 Mb.

trang	4/20
Chuyển đổi dữ liệu	07.07.2016
Kích	1.89 Mb.
	#203

1 2 3 4 5 6 7 8 9 ... 20

4Caùc pheùp toaùn quan heä
5Caùc tính chaát cuûa ñaïi soá quan heä

3Caùc pheùp toaùn taäp hôïp (set operation)

iPheùp hôïp (Union operation)

Cho hai löôïc ñoà quan heä Q₁ vaø Q₂ coù cuøng taäp thuoäc tính {A_1,A_2,..,A_n}. r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂. Pheùp hôïp cuûa hai löôïc ñoà quan heä Q₁ vaø Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q_3. Q₃ ñöôïc xaùc ñònh nhö sau:

Q₃⁺= {A_1,A_2,..,A_n}

r₃= r₁+r₂= {t | t  r₁ hay t  r₂}

Ví duï:

r₁			r₂			r₃= r₁+ r₂
MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI
99001	CSDL	5.0	99002	CTDL	2.0	99001	CSDL	5.0
99002	CTDL	2.0	99001	TTNT	5.0	99002	CTDL	2.0
99003	MANG	8.0	99003	CSDL	6.0	99003	MANG	8.0
						99001	TTNT	5.0
						99003	CSDL	6.0

iiPheùp Giao (Intersection):

Cho hai löôïc ñoà quan heä Q₁ vaø Q₂ coù cuøng taäp thuoäc tính {A_1,A_2,..,A_n}. r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂. Pheùp giao cuûa hai löôïc ñoà quan heä Q₁ vaø Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q₃ nhö sau:

Q₃⁺={A_1,A_2,..,A_n}

r₃= r₁*r₂= {t | t  r₁ vaø t  r₂}

Ví duï:

r₁			r₂			r₃ = r₁* r₂
MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI
99001	CSDL	5.0	99002	CTDL	2.0	99002	CTDL	2.0
99002	CTDL	2.0	99001	TTNT	5.0
99003	MANG	8.0	99003	CSDL	6.0

iiiPheùp Tröø (Minus, difference)

Cho hai löôïc ñoà quan heä Q₁ vaø Q₂ coù cuøng taäp thuoäc tính {A_1,A_2,..,A_n}. r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂. Pheùp tröø löôïc ñoà quan heä Q₁ cho Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q₃ nhö sau:

Q₃⁺={A_1,A_2,..,A_n}

r₃= r₁- r₂= {t | t  r₁ vaø t  r₂}

Ví duï:

r₁			r₂			r₃=r₁-r₂
MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI
99001	CSDL	5.0	99002	CTDL	2.0	99001	CSDL	5.0
99002	CTDL	2.0	99001	TTNT	5.0	99003	MANG	8.0
99003	MANG	8.0	99003	CSDL	6.0

ivTích Descartes (Cartesian Product, product)

Cho hai löôïc ñoà quan heä Q₁(A_1,A_2,..,A_n), Q₂(B_1,B_2,..,B_m). r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂. Tích Descartes cuûa hai löôïc ñoà quan heä Q₁ vaø Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q₃ nhö sau:

Q₃⁺= Q₁⁺  Q₂⁺= {A₁,..., B₁,...}

r₃= r₁x r₂= {(t₁,t₂)| t₁  r₁ vaø t₂  r₂}

Ví duï:

r₁			r₃= r₁x r₂
MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI	MAMH	TENMH
99001	CSDL	5.0	99001	CSDL	5.0	CSDL	CO SO DU LIEU
99002	CTDL	2.0	99001	CSDL	5.0	FOX	FOXPRO
99003	MANG	8.0	99002	CTDL	2.0	CSDL	CO SO DU LIEU
r₂			99002	CTDL	2.0	FOX	FOXPRO
MAMH	TENMH		99003	MANG	8.0	CSDL	CO SO DU LIEU
CSDL	CO SO DU LIEU		99003	MANG	8.0	FOX	FOXPRO
FOX	FOXPRO

4Caùc pheùp toaùn quan heä

iPheùp Chieáu (Projection)

Cho moät löôïc ñoà quan heä Q(A_1,A_2,..,A_n). r laø quan heä treân Q. X  Q⁺.

Pheùp chieáu cuûa Q leân taäp thuoäc tính X seõ taïo thaønh löôïc ñoà quan heä Q’= Q[X], trong ñoù Q’⁺ chính laø X vaø r’ chính laø r nhöng chæ laáy caùc thuoäc tính cuûa X.

Q’⁺= X

r’ = r[X] = r.X = {t’| tr vaø t.X = t[X] = t’}

pheùp chieáu chính laø pheùp ruùt trích döõ lieäu theo coät (chieàu doïc)

Ví duï:

r			r’ = r.{MAMH}
MASV	MAMH	DIEMTHI	MAMH
99001	CSDL	5.0	CSDL
99002	CTDL	2.0	CTDL
99003	MANG	8.0	MANG

iiPheùp Choïn (Selection)

Cho löôïc ñoà quan heä Q(A_1,A_2,..,A_n), r laø moät quan heä treân Q. X Q⁺ vaø E laø moät meänh ñeà logic ñöôïc phaùt bieåu treân taäp X. Phaàn töû tr thoûa maõn ñieàu kieän E kyù hieäu laø t(E).

Pheùp choïn töø r theo ñieàu kieän E seõ taïo thaønh moät löôïc ñoà quan heä Q’ nhö sau:

Q’⁺= Q⁺

r’= r(E)= r:E ={t | t  r vaø t(E)}

pheùp choïn chính laø pheùp ruùt trích döõ lieäu theo doøng (chieàu ngang)

Ví duï:

r			r’= r:DIEMTHI >= 5
MASV	MAMH	DIEMTHI	MASV	MAMH	DIEMTHI
99001	CSDL	5.0	99001	CSDL	5.0
99002	CTDL	2.0	99003	MANG	8.0
99003	MANG	8.0

iiiPheùp keát, Pheùp Keát Töï Nhieân (join, natural join):

Cho hai löôïc ñoà quan heä Q₁(A_1,A_2,..,A_n), Q₂(B_1,B_2,..,B_m).

r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂.

A_i vaø B_j laàn löôït laø caùc thuoäc tính cuûa Q₁ vaø Q₂ sao cho MGT(A_I) = MGT(B_J) (MGT: mieàn giaù trò).

 laø moät pheùp so saùnh treân MGT(A_I).

Pheùp keát giöõa Q₁ vaø Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q₃ nhö sau:

Q₃⁺= Q₁⁺  Q₂⁺

r₃=r₁r₂= {t₁₂|t₁r₁,t₂r₂ sao cho

t₁₂.Q₁⁺ = t₁

t₁₂.Q₂⁺ = t₂

t₁.A_i  t₂.B_j}

Ta ruùt ra caùc böôùc cuï theå ñeå thöïc hieän pheùp keát nhö sau:

Taïo tích descartes
Thöïc hieän pheùp choïn theo ñieàu kieän E=A_i  B_j

Ví duï:

A_i laø thuoäc tính B, B_j laø thuoäc tính F vaø  laø pheùp so saùnh “>=”. Ta ñöôïc keát quaû laø quan heä sau:

r₁			r₂			r₃ = r₁r₂
A	B	C	E	F	H	A	B	C	E	F	H
6	5	4	1	5	9	6	5	4	1	5	9
7	5	5	4	6	8	6	5	4	7	5	3
4	2	6	7	5	3	7	5	5	1	5	9
						7	5	5	7	5	3

Neáu  ñöôïc söû duïng trong pheùp keát laø pheùp so saùnh baèng (=) thì ta goïi laø pheùp keát baèng. Hôn nöõa neáu A_I B_j thì pheùp keát baèng naøy ñöôïc goïi laø pheùp keát töï nhieân. Pheùp keát töï nhieân laø moät pheùp keát thöôøng duøng nhaát trong thöïc teá.

Ví duï: Vôùi A_i B_j= MAMH

r₁			r₂		r₃= r₁r₂
MASV	MAMH	DIEMTHI	MAMH	TENMH	MASV	MAMH	DIEMTHI	TENMH
99001	CSDL	5.0	CSDL	CO SO DU LIEU	99001	CSDL	5.0	CO SO DU LIEU
99002	CTDL	2.0	CTDL	CAU TRUC DU LIEU	99002	CTDL	2.0	CAU TRUC DU LIEU
99003	MANG	8.0

ivPheùp chia (division):

Cho hai löôïc ñoà quan heä Q₁(A_1,A_2,..,A_n), Q₂(B_1,B_2,..,B_m).

r₁ vaø r₂ laàn löôït laø hai quan heä treân Q₁ vaø Q₂.

A_i vaø B_j laàn löôït laø caùc thuoäc tính cuûa Q₁ vaø Q₂ sao cho n>m.

Pheùp chia Q₁ vaø Q₂ seõ taïo thaønh moät löôïc ñoà quan heä Q₃ nhö sau:

Q₃⁺= {A₁,...,A_n-m}

r₃= r₁r₂= {t₃|t₂r_2, t₁r₁ t₃=t_1.{A₁,...,A_n-m}

t₂=t₁.{A_n-m+1,...,A_n}}

Ví duï:

r₁					r₂		r₃= r₁ r₂
A₁	A₂	A₃	A₄	A₅	B₁	B₂	A₁	A₂	A₃
a	b	d	c	g	c	g	a	b	d
a	b	d	e	f	e	f	e	g	c
b	c	e	e	f
e	g	c	c	g
e	g	c	e	f
a	b	e	g	e

5Caùc tính chaát cuûa ñaïi soá quan heä

Q laø löôïc ñoà quan heä

q,r,s laø quan heä treân Q,

E,E₁,E₂ laø meänh ñeà logic treân Q⁺

X₁  X₂  Q⁺

Haõy chöùng minh caùc tính chaát sau:
(r:E₁):E₂ = (r:E₂):E₁

Chöùng minh:

(r:E₁):E₂ = {t’|t’(r:E₁) vaø t’(E₂)}

= {t’|t’{t|tr vaø t(E₁)} vaø t’(E₂)}

= {t’r|t’(E₁) vaø t’(E₂)}

= {t’|t’{t|tr vaø t(E₂)} vaø t’(E₁)}

= {t’|t’(r:E₂) vaø t’(E₁)}

= (r:E₂):E₁

(r+s):E = (r:E)+(s:E)

Chöùng minh:

(r+s):E = {t|t(r+s) vaø t(E)}

= {t|t{t’|t’r hoaëc t’s} vaø t(E)}

= {t|(tr hoaëc ts) vaø t(E)}

= {t|(tr vaø t(E)) hoaëc (ts vaø t(E))}

= {t|t{t’|t’r vaø t’(E)} hoaëc t{t’|t’s vaø t’(E)}}

= {t|t(r:E) hoaëc t(s:E)}

= (r:E)+(s:E)

(r*s):E = (r:E)*(s:E)

Chöùng minh:

(r*s):E = {t|t(r*s) vaø t(E)}

= {t|t{t’|t’r vaø t’s} vaø t(E)}

= {t|tr vaø ts vaø t(E)}

= {t|(tr vaø t(E)) vaø (ts vaø t(E))}

= {t|t{t’|t’r vaø t’(E)} vaø t{t’|t’s vaø t’(E)}}

= {t|t(r:E) vaø t(s:E)}

= (r:E)*(s:E)

(r-s):E = (r:E)-(s:E)

Chöùng minh:

(r-s):E = {t|t(r-s) vaø t(E)}

= {t|t{t’|t’r vaø t’s} vaø t(E)}

= {t|tr vaø ts vaø t(E)}

= {t|(tr vaø t(E)) vaø (ts vaø t(E))}

= {t|t{t’|t’r vaø t’(E)} vaø t{t’|t’s vaø t’(E)}}

= {t|t(r:E) vaø t(s:E)}

= (r:E)*(s:E)

Vôùi X₂ X₁  (r.X₂).X₁= r.X₁

Chöùng minh:

(r.X₂).X₁ = {t.X₁|t(r.X₂)}

= {t.X₁|t{t’.X₂|t’r}}

= {(t’.X₂).X₁|t’r}

= {t’.X₁|t’r} vì X₁  X₂

= r.X₁

E phaùt bieåu treân X  (r:E).X= (r.X):E

Chöùng minh:

(r:E).X = {t.X|t(r:E)}

= {t.X|t{t’|t’r vaø t’(E)}}

= {t.X|tr vaø t(E)}

= {t’|t’{t.X|tr} vaø t’(E)}

= {t’|t’(r.X) vaø t(E)}

= (r.X):E

q|><|r= r|><|q

Chöùng minh:

(q|><|r) ={t₁₂|t₁q,t₂r t₁₂.Q⁺ = t₁, t₁₂.R⁺ = t₂ t₁₂.A_it₁₂.B_j}

= r|><|q
A_iQ,B_jS,C_kQ,D_lR  (q|><|r)|><|s= q|><|(r|><|s)

Chöùng minh:

(q|><|r)|><|s ={t₁₂|t₁(q|><|r),t₂s t₁₂.Q⁺R⁺ = t₁

t₁₂.S⁺ = t₂ t₁₂.A_i₁t₁₂.B_j}

={t₁₂|t₁{u₁₂|u₁q,u₂r u₁₂.Q⁺=u₁ u₁₂.R⁺=u₂ u₁.C_k₂u₂.D_l},

t₂s t₁₂.Q⁺R⁺ = t₁,t₁₂.S⁺=t₂ t₁.A_i₁t₂.B_j}

={t₁₂₃|t₁q,t₂r,t₃s t₁₂₃.Q⁺=t₁,t₁₂₃.R⁺=t₂ t₁₂₃.S⁺=t₃

t₁₂₃.A_i₁t₁₂₃.B_j t₁₂₃.C_k₂t₁₂₃.D_l}

={t₁₂|t₁q,t₂{u₁₂|u₁r,u₂s u₁₂.R⁺=u₁

u₁₂.S⁺=u₂ u₁.C_k₂u₂.D_l},t₁₂.Q⁺=t₁ t₁₂.R⁺S⁺=t₂ t₁₂.A_i₁t₁₂.B_j}

={t₁₂|t₁q,t₂(r|><|s),t₁₂.Q⁺=t₁

t₁₂.R⁺S⁺=t₂ t₁₂.A_i₁t₁₂.B_j}

=q|><|(r|><|s)

Каталог: 2015
2015 -> CHỦ TỊch nưỚC
2015 -> CHỦ TỊch nưỚC
2015 -> Qcvn 81: 2014/bgtvt
2015 -> Tác giả phạm hồng thái bài giảng ngôn ngữ LẬp trình c/C++
2015 -> TRƯỜng đẠi học ngân hàng tp. Hcm markerting cơ BẢn lớP: mk001-1-111-T01
2015 -> Bch đOÀn tỉnh thanh hóa số: 381 bc/TĐtn-btg đOÀn tncs hồ chí minh
2015 -> Hãy là người đầu tiên biết
2015 -> Có chiến lược toàn diện về việc truyền phát tin tức
2015 -> Transformations
2015 -> SỞ gd&Đt bắc ninh trưỜng thpt hàn thuyêN

tải về 1.89 Mb.

Chia sẻ với bạn bè của bạn:

1 2 3 4 5 6 7 8 9 ... 20