Mô hình dữ liệu đối với các truy vấn định lượng

Tóm tắt Mô hình dữ liệu đối với các truy vấn định lượng: ...D∗ vo´.i T 6∈ N la` teˆn cu’a thuoˆ.c t´ınh boˆ’ sung deˆ’ lu .u tru˜. gia´ tri. chaˆn ly´ cu’a boˆ. . 3. CA´C PHE´P TOA´N DA. I SOˆ´ DOˆ´I VO´ . I MOˆ HI`NH DU˜ . LIEˆ. U MO .’ ROˆ. NG Trong pha`ˆn tru.´o.c, chu´ng ta da˜ du.a ra kha´i nieˆ.m quan heˆ. nho´m, moˆ.t su . . mo .’ roˆ.ng cu...∈ Y du .o.. c keˆ´t ho . . p vo´ .i moˆ. t mie`ˆn D va` co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p HD va` ca´c thuoˆ.c t´ınh thuoˆ.c X khoˆng du .o.. c keˆ´t ho.. p vo´ .i moˆ.t caˆ´u tru´c phaˆn caˆ´p na`o. X hoa˘.c Y co´ theˆ’ ba`˘ng ∅ nhu .ng XY 6= ∅. Gia’ su.’ Y = {A1, A2, ..., Ak}, v[Y ] = (C...ˆm cu’a phe´p nho´m da`ˆu tieˆn theo A )}. Chu´ y´: Phe´p cho.n σ 0 va` σ1 du.o.. c su .’ du. ng trong tru .`o.ng ho.. p X 6= ∅ co`n σ 2 du.o.. c su .’ du. ng trong tru.`o.ng ho.. p X = ∅ va` quan heˆ. R da˜ du .o.. c nho´m theo moˆ.t thuoˆ.c t´ınh A ∈ Y da`ˆu tieˆn, sau do´ co´ theˆ’ tieˆ´...

pdf8 trang | Chia sẻ: havih72 | Lượt xem: 287 | Lượt tải: 0download
Nội dung tài liệu Mô hình dữ liệu đối với các truy vấn định lượng, để tải tài liệu về máy bạn click vào nút DOWNLOAD ở trên
 Hai phe´p toa´n
mo´.i: phe´p nho´m va` phe´p mo.’ nho´m la` ca`ˆn thieˆ´t deˆ’ di.nh ngh˜ıa ca´c phe´p toa´n da. i soˆ´ treˆn ca´c
quan heˆ. nho´m. Chu´ y´ ra`˘ng, moˆ˜i quan heˆ. nho´m pha’i tu
.o.ng du.o.ng vo´.i moˆ.t quan heˆ. nguyeˆn
toˆ´ duy nhaˆ´t doˆ´i vo´.i ca´c caˆ´u tru´c phaˆn caˆ´p da˜ cho. Co´ ngh˜ıa la`, co´ moˆ.t moˆ h`ınh duy nhaˆ´t vo´
.i
ca´c gia´ tri. nguyeˆn toˆ´ (ca´c gia´ tri. thuoˆ.c mie`ˆn goˆ´c cu’a thuoˆ.c t´ınh) tho’a ma˜n quan heˆ. da˜ cho.
Moˆ. t phe´p toa´n na`o do´ treˆn ca´c quan heˆ. nho´m se˜ co´ cu`ng ta´c doˆ.ng baˆ´t keˆ’ no´ du
.o.. c thu
.
. c hieˆ.n
treˆn ca´c quan heˆ. nho´m hay treˆn ca´c quan heˆ. nguyeˆn toˆ´ tu
.o.ng du.o.ng. Theo ngh˜ıa na`y, ngu˜.
ngh˜ıa cu’a ca´c phe´p toa´n quan heˆ. la` khoˆng bi. thay doˆ’i ngay ca’ trong tru
.`o.ng ho.. p vo´
.i ca´c quan
heˆ. nho´m.
Deˆ’ tr`ınh ba`y ca´c phe´p toa´n treˆn ca´c quan heˆ. nho´m, tru
.´o.c tieˆn, chu´ng toˆi tr`ınh ba`y moˆ. t
thuaˆ.t toa´n kha´ do
.n gia’n cho phe´p di.ch moˆ. t taˆ.p ca´c gia´ tri. trong moˆ.t D
+ vo´.i HD tu.o.ng u´.ng
cu’a moˆ. t thuoˆ.c t´ınh A na`o do´ tha`nh ca´c lo´
.p toˆ’ng qua´t ho.n trong HD va` cho phe´p co´ ngoa. i
leˆ. . Vo´
.i ca´c loa. i caˆu truy vaˆ´n di.nh lu
.o.. ng kha´c nhau, chu´ng ta co´ theˆ’ su
.’ du. ng ca´c thuaˆ.t toa´n
di.ch kha´c nhau vo´
.i ca´c tieˆu ch´ı nho´m kha´c nhau. O
.’ daˆy, chu´ng toˆi chı’ quan taˆm deˆ´n ca´c truy
vaˆ´n vo´.i lu.o.. ng tu`
. ∀ va` bo.’ i vaˆ.y, tieˆu ch´ı nho´m cu’a chu´ng toˆi la` nho´m taˆ´t ca’ ca´c nu´t du
.o.ng
co´ cu`ng cha la. i khi soˆ´ ca´c ngoa. i leˆ. hay ca´c nu´t aˆm cu’a chu´ng la` nho’ ho
.n. Trong thu.. c teˆ´, vo´
.i
moˆ. t su
.
. phaˆn nho´m ca´c doˆ´i tu
.o.. ng ho
.
. p ly´, soˆ´ ca´c ngoa. i leˆ. thu
.`o.ng la` kha´ nho’ hay thu.. c chaˆ´t la`
khoˆng da´ng keˆ’.
Cho moˆ. t thuoˆ. c t´ınh A du
.o.. c keˆ´t ho
.
. p vo´
.i mie`ˆn D co´ moˆ.t caˆ´u tru´c phaˆn caˆ´p HD va` S ⊂ D
+
vo´.i D+ - k´ı hieˆ.u taˆ.p taˆ´t ca’ ca´c nu´t cu’a HD.
Thuaˆ.t toa´n 1. T´ınh ca´c lo´
.p toˆ’ng qua´t cu’a S ⊂ D+ va` ca´c ngoa. i leˆ..
MOˆ. T MOˆ HI`NH DU˜
.
LIEˆ. U DO´ˆI VO´
.
I CA´C TRUY VA´ˆN DI.NH LU
.
O.
.
NG 45
Va`o: Thuoˆ.c t´ınh A, mie`ˆn D, caˆ´u tru´c phaˆn caˆ´p HD va` S ⊂ D
+.
Ra: T´ınh Lo´.p (S) va` NgL(S).
Ca´ch t´ınh:
• T`ım nu´t cha chung nho’ nhaˆ´t cu’a S doˆ´i vo´.i HD va` k´ı hieˆ.u nu´t na`y la` Rt.
• Kı´ hieˆ.u caˆy con cu’a HD vo´
.i nu´t goˆ´c la` Rt va` ca´c nu´t la´ la` ca´c nu´t hoa˘. c thuoˆ.c S hoa˘. c la` ca´c
nu´t anh em cu’a ca´c nu´t trong S la` T.
• Da´nh daˆ´u ca´c nu´t la´ thuoˆ.c S la` +
• Da´nh daˆ´u ca´c nu´t la´ khoˆng thuoˆ.c S la` −
• Doˆ´i vo´.i moˆ˜i nu´t trong N cu’a T , k´ı hieˆ.u caˆy con cu’a T goˆ´c ta. i N la` TN va` k´ı hieˆ.u S
+
N la`
taˆ.p ca´c nu´t la´ du
.o.. c da´nh daˆ´u +, S
−
N la` taˆ.p ca´c nu´t la´ du
.o.. c da´nh daˆ´u - doˆ´i vo´
.i TN . T´ınh
x = |S+N | va` y = |S
−
N |. Moˆ.t nu´t N co´ x > y du
.o.. c go. i la` nu´t toˆ´t, ngu
.o.. c la. i du
.o.. c go. i la` nu´t
toˆ`i.
• Da˘.t N := Rt. Go. i thu’ tu. c Cho.n (N, TN , S
+
N , S
−
N)
• Thu’ tu. c cho.n nu´t Cho.n (N, TN , S
+
N , S
−
N):
1) Neˆ´u N la` nu´t la´ va` du.o.. c da´nh daˆ´u + th`ı Lo´
.p(S+N) = N, NgL(S
+
N) = ∅
2) Neˆ´u N la` nu´t toˆ´t co´ m con tru.. c tieˆ´p la` N1, N2, ...., Nm va` khoˆng maˆ´t t´ınh toˆ’ng qua´t,
gia’ su.’ N1, N2, ...., Nk la` ca´c nu´t toˆ`i va` Nk+1, N2, ...., Nm la` ca´c nu´t toˆ´t.
Neˆ´u 1+
∑k
1 yi < m−k+
∑k
1 xi vo´
.i xi = |S
+
Ni| va` yi = |S
−
Ni| th`ı Lo´
.p(S+N) = N, NgL(S
+
N) =
S−N va` keˆ´t thu´c.
Ngu.o.. c la. i, thu
.
. c hieˆ.n Cho.n (Ni, TNi, S
+
Ni, S
−
Ni) vo´
.i i = 1..m va` da˘.t Lo´
.p(S+N) = ∪
m
1
Lo´.p(S+Ni), NgL(S
+
N) = ∪
m
1 NgL(S
+
Ni).
3) Neˆ´uN la` nu´t toˆ`i co´ m con tru.. c tieˆ´p la`N1, N2, ...., Nm, thu
.
. c hieˆ.n Cho.n(Ni, TNi, S
+
Ni, S
−
Ni)
vo´.i i = 1..m va` da˘.t Lo´
.p(S+N) = ∪
m
1 Lo´
.p(S+Ni), NgL(S
+
N) = ∪
m
1 NgL(S
+
Ni).
• Da˘.t Lo´
.p(S) = Lo´.p(S+Rt) va` NgL(S) = NgL(S
+
Rt)
Meˆ.nh de`ˆ 1. Cho moˆ. t thuoˆ. c t´ınh A du
.o.. c keˆ´t ho
.
. p vo´
.i mie`ˆn D co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p
HD va` S ⊂ D+. K´ı hieˆ.u DTu
.o.. ng (S) la` taˆ. p taˆ´t ca’ ca´c doˆ´i tu
.o.. ng thuoˆ. c ca´c lo´
.p trong S th`ı
DTu.o.. ng (S) = DTu
.o.. ng (Lo´
.p(S)) \ DTu.o.. ng (NgL(S)).
Chu´.ng minh. De˜ˆ thaˆ´y, do caˆ´u tru´c phaˆn caˆ´p HD, taˆ.p taˆ´t ca’ ca´c doˆ´i tu
.o.. ng thuoˆ.c moˆ. t lo´
.p
ch´ınh la` ho.. p cu’a taˆ.p taˆ´t ca’ ca´c doˆ´i tu
.o.. ng thuoˆ.c ca´c lo´
.p con cu’a no´. Bo.’ i vaˆ.y, chu´ng ta co´
DTu.o.. ng (Lo´
.p(S)) = DTu.o.. ng (S) ∪DTu
.o.. ng (NgL(S)). Ho
.n nu˜.a, DTu.o.. ng (S) va` DTu
.o.. ng
(NgL(S)) la` ro`.i nhau. Do vaˆ.y, ta co´ die`ˆu pha’ i chu´
.ng minh. 
Phe´p mo.’ nho´m: Cho quan heˆ. nho´m R(X, Y, T ) vo´
.i ca´c thuoˆ.c t´ınh A ∈ Y du
.o.. c keˆ´t ho
.
. p vo´
.i
moˆ. t mie`ˆn D va` co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p HD va` ca´c thuoˆ.c t´ınh thuoˆ.c X khoˆng du
.o.. c keˆ´t
ho.. p vo´
.i moˆ.t caˆ´u tru´c phaˆn caˆ´p na`o. X hoa˘.c Y co´ theˆ’ ba`˘ng ∅ nhu
.ng XY 6= ∅.
Gia’ su.’ Y = {A1, A2, ..., Ak}, v[Y ] = (C1, C2, ..., Ck) va` moˆ.t boˆ. nguyeˆn toˆ´ t[Y ] =
(c1, c2, ..., ck) vo´
.i ci ∈ Di - mie`ˆn cu’a Ai. Chu´ng ta vieˆ´t t[Y ] ∈ v[Y ] neˆ´u vo´.i i = 1..k th`ı
ci ∈ Ci. Phe´p mo.’ nho´m doˆ´i vo´.i quan heˆ. nho´m R, k´ı hieˆ.u la` Mo
.’ Nho´m(R) du.o.. c di.nh ngh˜ıa
nhu. sau:
Mo.’ Nho´m(R) = {t[XY ]/∃v ∈ R(t[X ] = v[X ]∧ t[Y ] = y∧ y ∈ v[Y ]∧ v[T ] = ‘true′∧ 6 ∃v′ ∈
46 NGUYE˜ˆN KIM ANH
R (v′[X ] = v[X ]∧ v′[T ] = ‘false′ ∧ y ∈ v′[Y ]))}.
Chu´ y´: Phe´p mo.’ nho´m tra’ la. i keˆ´t qua’ la` moˆ.t quan heˆ. nguyeˆn toˆ´ thoˆng thu
.`o.ng, quan heˆ. chı’
chu´.a ca´c gia´ tri. nguyeˆn toˆ´ va` khoˆng chu´
.a thuoˆ.c t´ınh T lu
.u gia´ tri. chaˆn ly´ cu’a boˆ. . Ho
.n nu˜.a,
phe´p toa´n Mo.’ Nho´m da’m ba’o moˆ˜i quan heˆ. nho´m la` tu
.o.ng du.o.ng vo´.i moˆ. t quan heˆ. nguyeˆn toˆ´
duy nhaˆ´t doˆ´i vo´.i ca´c caˆ´u tru´c phaˆn caˆ´p da˜ cho.
Phe´p nho´m: Cho moˆ. t quan heˆ. nho´m R xa´c di.nh treˆn taˆ.p thuoˆ.c t´ınh U vo´
.i moˆ.t thuoˆ.c t´ınh
A ∈ U na`o do´ du.o.. c keˆ´t ho
.
. p vo´
.i moˆ. t mie`ˆn D va` co´ moˆ.t caˆ´u tru´c phaˆn caˆ´p HD. Kı´ hieˆ.u R
+
la` taˆ.p ca´c boˆ. du
.o.ng cu’a R va` R la` taˆ.p ca´c boˆ. aˆm cu’a R. Phe´p nho´m quan heˆ. nho´m R theo
thuoˆ.c t´ınh A, k´ı hieˆ.u la` Nho´mA(R) du
.o.. c di.nh ngh˜ıa nhu
. sau:
Nho´mA(R
+) = {t/(v ∈ R+(t[U\TA] = v[U\TA] ∧ ((t[A] = {C/∃C ∈ Lo´.p (S)} ∧ t[T ] =
‘true′) ∨ (t[A] = {C/∃C ∈ NgL(S)} ∧ t[T ] = ‘false′)) ∧ S = ∪v[A] vo´.i ca´c v ∈ R+ tho’a
t[U\A] = v[U\A])}.
Nho´mA(R) = Nho´mA(R
+) ∪ R−.
Chu´ y´: Trong qua´ tr`ınh nho´m, chu´ng ta luoˆn coˆ´ ga˘´ng nho´m nhie`ˆu nhaˆ´t co´ theˆ’ ca´c lo´.p con
xuaˆ´t hieˆ.n trong thuoˆ.c t´ınh A cu’a ca´c boˆ. du
.o.ng tha`nh moˆ.t lo´
.p toˆ’ng qua´t ho.n vo´.i vieˆ.c chaˆ´p
nhaˆ.n moˆ. t soˆ´ ngoa. i leˆ. khoˆng da´ng keˆ’ neˆn taˆ.p ca´c boˆ. thuoˆ.c Nho´mA(R
+) va` R− la` ro`.i nhau.
Meˆ.nh de`ˆ 2. Phe´p toa´n Nho´m ba’o toa`n noˆ. i dung thoˆng tin cu’a quan heˆ. nho´m ban da`ˆu.
Co´ ngh˜ıa la` vo´.i moˆ. t quan heˆ. nho´m R va` moˆ. t thuoˆ. c t´ınh A co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p th`ı
Mo.’ Nho´m(Nho´mA(R)) = Mo.’ Nho´m(R).
Chu´.ng minh. Theo di.nh ngh˜ıa cu’a ca´c phe´p toa´n Mo
.’ Nho´m, Nho´m va` t´ınh du´ng da˘´n cu’a
Thuaˆ.t toa´n 1 du
.o.. c kha˘’ ng di.nh trong meˆ.nh de`ˆ 1, moˆ˜i boˆ. x vo´
.i ca´c gia´ tri. nguyeˆn toˆ´ thuoˆ.c
Mo.’ Nho´m(Nho´mA(R)) cu˜ng thuoˆ. c Mo
.’ Nho´m(R) va` ngu.o.. c la. i. 
Heˆ. qua’ 1. Cho R la` quan heˆ. nho´m nguyeˆn toˆ´ va` moˆ. t thuoˆ. c t´ınh A co´ moˆ. t caˆ´u tru´c phaˆn
caˆ´p. Go. i R’ la` quan heˆ. nguyeˆn toˆ´ doˆ´i vo´
.i R th`ı Mo.’ Nho´m(Nho´mA(R)) = R’.
Heˆ. qua’ 1 du
.o.. c suy ra tru
.
. c tieˆ´p tu`
. Meˆ.nh de`ˆ 2.
Phe´p keˆ´t noˆ´i tu.. nhieˆn: Cho hai quan heˆ. nho´m R(U) va` S(V ) vo´
.i U ∩ V = Y Z va` Y =
{A1, A2, ..., Ak}. Ca´c thuoˆ. c t´ınh Ai ∈ Y du
.o.. c keˆ´t ho
.
.p vo´
.i moˆ.t mie`ˆn Di va` co´ moˆ. t caˆ´u tru´c
phaˆn caˆ´p HDi, i = 1..k. Ca´c thuoˆ. c t´ınh thuoˆ.c Z khoˆng du
.o.. c keˆ´t ho
.
. p vo´
.i moˆ. t caˆ´u tru´c phaˆn
caˆ´p na`o. Z co´ theˆ’ ba`˘ng ∅ va` k co´ theˆ’ ba`˘ng 0. Phe´p keˆ´t noˆ´i tu.. nhieˆn cu’a 2 quan heˆ. nho´m R
va` S, k´ı hieˆ.u la` R ∗ S du
.o.. c di.nh ngh˜ıa nhu
. sau:
R ∗ S = {t[UV ]/∃u ∈ R∃v ∈ S(t[U\Y T ] = u[U\Y T ] ∧ t[V \Y T ] = v[V \Y T ] ∧ (t[Ai] =
u[Ai]∩ v[Ai], i = 1..k)∧ t[T ] = u[T ] ∗ v[T ]}, o.’ daˆy ‘true
′ ∗ ‘true′ = ‘true′ va` ‘true′ ∗ ‘false′ =
‘false′ ∗ ‘true′ = ‘false′.
Phe´p chieˆ´u: Cho quan heˆ. nho´m R(X, Y, T ) vo´
.i ca´c thuoˆ.c t´ınh A ∈ Y du
.o.. c keˆ´t ho
.
. p vo´
.i moˆ. t
mie`ˆn D va` co´ moˆ.t caˆ´u tru´c phaˆn caˆ´p HD va` ca´c thuoˆ.c t´ınh thuoˆ.c X khoˆng du
.o.. c keˆ´t ho
.
. p vo´
.i
moˆ. t caˆ´u tru´c phaˆn caˆ´p na`o. X va` Y co´ theˆ’ ba`˘ng ∅. Chu´ng toˆi di.nh ngh˜ıa hai phe´p chieˆ´u
treˆn quan heˆ. nho´m R phu. thuoˆ.c va`o taˆ.p thuoˆ.c t´ınh chieˆ´u: Π
0 la` phe´p chieˆ´u vo´.i taˆ.p thuoˆ.c
t´ınh chieˆ´u chı’ lieˆn quan deˆ´n ca´c thuoˆ.c t´ınh khoˆng co´ caˆ´u tru´c phaˆn caˆ´p va` Π
1 la` phe´p chieˆ´u
vo´.i taˆ.p thuoˆ.c t´ınh chieˆ´u co´ lieˆn quan deˆ´n ca´c thuoˆ.c t´ınh co´ caˆ´u tru´c phaˆn caˆ´p.
MOˆ. T MOˆ HI`NH DU˜
.
LIEˆ. U DO´ˆI VO´
.
I CA´C TRUY VA´ˆN DI.NH LU
.
O.
.
NG 47
Π0Z(R) = {t[ZT ]/t ∈ R
+ vo´.i Z ⊆ X va` Z 6= ∅}, o.’ daˆy R+ la` taˆ.p ca´c boˆ. du
.o.ng cu’a R.
Π1Z(R) = {t[ZT ]/t ∈ R vo´
.i Z ⊆ XY va` Z 6= ∅}.
Phe´p cho.n: Cho quan heˆ. nho´m R(X, Y, T ) vo´
.i ca´c thuoˆ.c t´ınh A ∈ Y du
.o.. c keˆ´t ho
.
.p vo´
.i moˆ. t
mie`ˆn D va` co´ moˆ.t caˆ´u tru´c phaˆn caˆ´p HD va` ca´c thuoˆ.c t´ınh thuoˆ.c X khoˆng du
.o.. c keˆ´t ho
.
. p vo´
.i
moˆ. t caˆ´u tru´c phaˆn caˆ´p na`o. Chu´ng toˆi di.nh ngh˜ıa hai phe´p cho.n treˆn quan heˆ. nho´m R phu.
thuoˆ.c va`o da.ng cu’a die`ˆu kieˆ.n cho.n: σ
0 la` phe´p cho.n vo´
.i die`ˆu kieˆ.n cho.n chı’ lieˆn quan deˆ´n ca´c
thuoˆ.c t´ınh khoˆng co´ caˆ´u tru´c phaˆn caˆ´p va` σ
1, σ2 la` phe´p cho.n vo´
.i die`ˆu kieˆ.n cho.n lieˆn quan
deˆ´n ca´c thuoˆ. c t´ınh co´ caˆ´u tru´c phaˆn caˆ´p. Kı´ hieˆ.u R
+ la` taˆ.p ca´c boˆ. du
.o.ng cu’a R,R− la` taˆ.p
ca´c boˆ. aˆm cu’a R. Deˆ’ do
.n gia’n, gia’ thieˆ´t die`ˆu kieˆ.n cho.n co´ lieˆn quan deˆ´n ca´c thuoˆ.c t´ınh co´
caˆ´u tru´c phaˆn caˆ´p co´ da.ng AθC vo´
.i A ∈ Y , C ∈ HD va` θ ∈ {=,⊆,⊇}.
σ0
F (X)(R) = {t/t ∈ R ∧ F (t) = du´ng}
σ1A=C(R) = {t/∃u ∈ R(u[A] ∩C 6= ∅ ∧ t[U\A] = u[U\A]) ∧ t[A] = u[A] ∩C}
σ2A=C(R) = {t/∃u ∈ R
+(u[A] = C ∧ t[U ] = u[U ]) ∨ ∃v ∈ R−(v[A] ⊆ C ∧ t[U ] = u[U ])}.
σ2A⊇C(R) = {t/∃u ∈ R
+(u[A] ⊇ C ∧ t[U ] = u[U ]) ∨ ∃v ∈ R−(v[A] ⊆ C ∧ t[U ] = u[U ])}.
σ2A⊆C(R) = {t/∃u ∈ R
+(u[A] ⊇ C∧t[U ] = u[U ])∨∃v ∈ R−(v[A] ⊆ C∧t[U ] = u[U ])∧v 6∈
R
′−}. vo´.i R
′− la` ca´c boˆ. aˆm cu’a phe´p nho´m da`ˆu tieˆn theo A )}.
Chu´ y´: Phe´p cho.n σ
0 va` σ1 du.o.. c su
.’ du. ng trong tru
.`o.ng ho.. p X 6= ∅ co`n σ
2 du.o.. c su
.’ du. ng
trong tru.`o.ng ho.. p X = ∅ va` quan heˆ. R da˜ du
.o.. c nho´m theo moˆ.t thuoˆ.c t´ınh A ∈ Y da`ˆu tieˆn,
sau do´ co´ theˆ’ tieˆ´p tu. c nho´m theo ca´c thuoˆ. c t´ınh kha´c trong Y.
Ca´c phe´p toa´n taˆ. p ho
.
. p: Deˆ’ thu
.
. c hieˆ.n ca´c phe´p toa´n taˆ.p ho
.
. p: ho
.
.p, tru`
. va` giao, tru.´o.c tieˆn
chu´ng ta thu.. c hieˆ.n phe´p toa´n Mo
.’ Nho´m doˆ´i vo´.i hai quan heˆ. toa´n ha.ng, sau do´ thu
.
. c hieˆ.n ca´c
phe´p toa´n ho.. p, tru`
., giao tu.o.ng u´.ng cu’a da. i soˆ´ quan heˆ. kinh dieˆ’n treˆn hai quan heˆ. thu du
.o.. c.
Cuoˆ´i cu`ng, thu.. c hieˆ.n phe´p Nho´m treˆn quan heˆ. keˆ´t qua’ theo ca´c thuoˆ.c t´ınh mong muoˆ´n, chu´ng
ta se˜ thu du.o.. c quan heˆ. nho´m keˆ´t qua’ cu’a ca´c phe´p toa´n taˆ.p ho
.
. p na`y.
Di.nh ly´ 1. Ca´c phe´p toa´n da. i soˆ´: cho.n (σ
0), chieˆ´u Π(0) va` keˆ´t noˆ´i tu.. nhieˆn treˆn ca´c quan
heˆ. nho´m la` ba’o toa`n ngu˜
. ngh˜ıa baˆ´t keˆ’ no´ du.o.. c thu
.
. c hieˆ.n treˆn ca´c quan heˆ. nho´m hay treˆn
ca´c quan heˆ. nguyeˆn toˆ´ tu
.o.ng du.o.ng.
Chu´.ng minh. Gia’ su.’ P - k´ı hieˆ.u phe´p cho.n (σ
0) hoa˘. c phe´p chieˆ´u Π
(0). Du.. a treˆn di.nh
ngh˜ıa cu’a phe´p cho.n va` phe´p chieˆ´u doˆ´i vo´
.i quan heˆ. nho´m, chu´ng ta co´: Mo
.’ Nho´m(P (R))=
P (Mo.’ Nho´m(R)). Tu.o.ng tu.. vo´
.i phe´p keˆ´t noˆ´i tu.. nhieˆn, moˆ˜i boˆ. x ∈Mo
.’Nho´m(R ∗ S) khi va`
chı’ khi x pha’ i du.o.. c chu´
.a trong moˆ. t boˆ. du
.o.ng cu’a (R ∗ S) va` khoˆng toˆ`n ta. i moˆ. t boˆ. aˆm
cu’a (R ∗ S) chu´.a x, tu´.c la` x khoˆng theˆ’ du.o.. c ghe´p bo
.’ i moˆ.t boˆ. aˆm cu’a R hoa˘. c moˆ. t boˆ. aˆm
cu’a S. Die`ˆu na`y co´ ngh˜ıa la` x ∈ Mo.’Nho´m(R)∗Mo.’Nho´m(R). Do vaˆ.y, Mo
.’ Nho´m(R ∗ S) =
Mo.’ Nho´m(R)∗Mo.’Nho´m(R). 
Chu´ y´: Phe´p toa´n Π1 se˜ khoˆng co`n ba’o toa`n ngu˜. ngh˜ıa khi no´ du.o.. c a´p du. ng sau moˆ. t phe´p
cho.n σ
2. Di.nh ly´ 2 sau daˆy cho thaˆ´y, moˆ. t phe´p toa´n Π
1 se˜ du.o.. c a´p du. ng ngay sau moˆ. t phe´p
cho.n σ
2 co´ ta´c doˆ.ng tu
.o.ng du.o.ng vo´.i moˆ. t phe´p chia cu’a da. i soˆ´ quan heˆ. kinh dieˆ’n.
Meˆ.nh de`ˆ 3. Cho quan heˆ. nho´m R(U) vo´
.i moˆ. t thuoˆ. c t´ınh A ∈ U du
.o.. c keˆ´t ho
.
. p vo´
.i moˆ. t
mie`ˆn D va` co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p HD. Khi do´, ta co´ Mo
.’ Nho´m(σ1A=C(R)) = σA∈C
48 NGUYE˜ˆN KIM ANH
(Mo.’ Nho´m(R)), o.’ daˆy A ∈ C k´ı hieˆ. u bieˆ’u thu´
.c logic A = c1 ∨ A = c2 ∨ ... ∨ A = ck vo´.i
C = {c1, c2, ..., ck}.
Co´ theˆ’ de˜ˆ da`ng chu´.ng minh meˆ.nh de`ˆ na`y du
.
. a treˆn di.nh ngh˜ıa cu’a phe´p toa´n σ
1.
Di.nh ly´ 2. Cho moˆ. t quan heˆ. nho´m R xa´c di.nh treˆn taˆ. p thuoˆ. c t´ınh U = {X,A, T} vo´
.i
thuoˆ. c t´ınh A co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p. Quan heˆ. R da˜ du
.o.. c nho´m theo A da`ˆu tieˆn. Khi
do´ Mo.’ Nho´m(Π1Xσ
2
A⊇C (R)) = Mo
.’ Nho´m(R)÷ S vo´.i S la` moˆ. t quan heˆ. thoˆng thu
.`o.ng xa´c di.nh
treˆn moˆ. t thuoˆ. c t´ınh A va` chu´
.a ca´c boˆ. tu
.o.ng u´.ng vo´.i ca´c doˆ´i tu.o.. ng thuoˆ. c lo´
.p C.
Chu´.ng minh. Ta co´ moˆ˜i boˆ. x ∈Mo
.’Nho´m(ΠXσ
2
A⊇C(R)) khi va` chı’ khi x pha’ i du
.o.. c chu´
.a
trong moˆ.t boˆ. du
.o.ng cu’a σ2A⊇C(R) va` khoˆng toˆ`n ta. i moˆ.t boˆ. aˆm cu’a σ
2
A⊇C (R) chu´
.a x, tu´.c la`
∃u ∈ R+(u[Ak] = C)−u chu´.a x, va` khoˆng ∃v ∈ R−(v[Ak] ⊆ C)− v chu´.a x va` x chı’ xa´c di.nh
treˆn taˆ.p X. Die`ˆu na`y co´ ngh˜ıa la` x ∈Mo
.’Nho´m(R) ÷ S. Ta co´ die`ˆu pha’ i chu´.ng minh. 
4. BIEˆ
’
U DIE˜ˆN CA´C TRUY VA´ˆN DI.NH LU
.
O
.
. NG
CU’A MOˆ HI`NH DU˜
.
LIEˆ. U MO
.’ ROˆ. NG
Cho moˆ.t CSDL vo´
.i ca´c quan heˆ. nguyeˆn toˆ´: S1(S#, SNAME), S2(S#, CITY), P1(P#,
PNAME), P2(P#, COLOR), P3(P#, WEIGHT), SP(S#,P#), o.’ daˆy thuoˆ.c t´ınh S# du
.o.. c
keˆ´t ho.. p vo´
.i mie`ˆn DS va` va` co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p HDs va` P# du
.o.. c keˆ´t ho
.
.p vo´
.i mie`ˆn
DP va` va` co´ moˆ. t caˆ´u tru´c phaˆn caˆ´p HDp.
Ca´c truy vaˆ´n di.nh lu
.o.. ng
• Cho bieˆ´t ca´c lo´.p ma˘. t ha`ng co´ ma`u do’ : (Π
1
P#(σ
0
COLOR = Do’(Nho´mP#P2)))
• Cho bieˆ´t thoˆng tin ve`ˆ di.a chı’ cu’a taˆ´t ca’ ca´c ca´c ha˜ng thuoˆ.c lo´
.p D :
σ1S#=D(Nho´mS#S2) - keˆ´t qua’ na`y chu´
.a du.. ng da`ˆy du’ thoˆng tin mang t´ınh gia’ i th´ıch ve`ˆ
di.a chı’ cu’a taˆ´t ca’ ca´c ca´c ha˜ng thuoˆ.c lo´
.p D.
• Neˆ´u chu´ng ta khoˆng ca`ˆn quan taˆm deˆ´n di.a chı’ d´ıch xa´c cu’a tu`
.ng ha˜ng, chu´ng ta co´ theˆ’ bieˆ’u
die˜ˆn nhu. sau: Π0CITY (σ
1
S#=D(Nho´mS#S2)).
• Du.a ra teˆn ca´c ha˜ng cung u´.ng ı´t nhaˆ´t taˆ´t ca’ ca´c ma˘. t ha`ng thuoˆ.c lo´
.p C :
ΠSNAME(S1∗ Mo.’Nho´m(Π1S#σ
2
P#⊇C (Nho´mP#SP )))
• Du.a ra teˆn ca´c ha˜ng chı’ cung u´.ng taˆ´t ca’ ca´c ma˘. t ha`ng thuoˆ.c lo´
.p C :
ΠSNAME(S1∗ Mo.’Nho´m(Π1S#σ
2
P#=C (Nho´mP#SP )))
• Du.a ra thoˆng tin ve`ˆ di.a chı’ cu’a ca´c ha˜ng cung u´
.ng nhie`ˆu nhaˆ´t taˆ´t ca’ ca´c ma˘. t ha`ng thuoˆ.c
lo´.p C: Nho´mS#S2 ∗ (Π
1
S#σ
2
P# ⊇ C (Nho´mS# (Nho´mP#SP ))).
5. DA´NH GIA´ VA` KEˆ´T LUAˆ. N
Vo´.i vieˆ.c du
.a kha´i nieˆ.m phaˆn caˆ´p lo´
.p va`o moˆ h`ınh quan heˆ. thoˆng qua vieˆ.c cho phe´p ca´c
teˆn lo´.p du.o.. c su
.’ du. ng nhu
. ca´c gia´ tri. thuoˆ.c t´ınh trong moˆ.t quan heˆ. va` chaˆ´p nhaˆ.n ca´c ngoa. i
leˆ. , moˆ.t soˆ´ da.ng truy vaˆ´n di.nh lu
.o.. ng treˆn ca´c lo´
.p doˆ´i tu.o.. ng da˜ co´ theˆ’ du
.o.. c bieˆ’u die˜ˆn moˆ. t
ca´ch de˜ˆ da`ng thoˆng qua ca´c phe´p toa´n da. i soˆ´ treˆn ca´c quan heˆ. nho´m. Nhu
. vaˆ.y, moˆ h`ınh du˜
.
lieˆ.u mo
.’ roˆ.ng na`y co´ theˆ’ xem nhu
. moˆ. t giao dieˆ.n cung caˆ´p ca´c thao ta´c baˆ.c cao so vo´
.i moˆ
MOˆ. T MOˆ HI`NH DU˜
.
LIEˆ. U DO´ˆI VO´
.
I CA´C TRUY VA´ˆN DI.NH LU
.
O.
.
NG 49
h`ınh quan heˆ. chuaˆ’n vo´
.i su.. hoˆ˜ tro
.
. cu’a phaˆn caˆ´p ca´c lo´
.p doˆ´i tu.o.. ng. Vieˆ.c cung caˆ´p ca´c thao
ta´c baˆ.c cao cho phe´p ngu
.`o.i du`ng co´ theˆ’ bieˆ’u die˜ˆn ca´c truy vaˆ´n moˆ. t ca´ch do
.n gia’n ho.n vo´.i
ı´t thao ta´c ho.n va` ho.n nu˜.a, ca´c truy vaˆ´n du.o.. c da´nh gia´ hieˆ.u qua’ ho
.n. Da˘. c bieˆ.t, so vo´
.i ca´c
moˆ h`ınh du˜. lieˆ.u quan heˆ. loˆ`ng, ca´c quan heˆ. loˆ`ng khoˆng o
.’ da.ng chuaˆ’n 1, vieˆ.c ca`i da˘.t va` da´nh
gia´ ca´c bieˆ’u thu´.c da. i soˆ´ loˆ`ng kha´ phu´
.c ta.p va` thu
.`o.ng pha’ i bieˆ’n doˆ’i tha`nh ca´c bieˆ’u thu´.c da. i
soˆ´ pha˘’ ng [3, 4]. Trong moˆ h`ınh du˜. lieˆ.u mo
.’ roˆ.ng cu’a chu´ng toˆi, ca´c su
.
. kieˆ.n xem xe´t ca´c lo´
.p
doˆ´i tu.o.. ng co´ theˆ’ du
.o.. c lu
.u tru˜. va` thao ta´c gioˆ´ng nhu. ca´c su.. kieˆ.n xem xe´t ca´c theˆ’ hieˆ.n doˆ´i
tu.o.. ng. Moˆ h`ınh cu’a chu´ng toˆi la` tu
.o.ng th´ıch vo´.i moˆ h`ınh quan heˆ. chuaˆ’n. Tuy nhieˆn, moˆ. t
trong nhu.ng kho´ kha˘n va` ha.n cheˆ´ khi a´p du. ng moˆ h`ınh du˜
. lieˆ.u mo
.’ roˆ.ng na`y la` chu´ng ta ca`ˆn
xa´c di.nh du
.o.. c ca´c caˆ´u tru´c phaˆn caˆ´p HD doˆ´i vo´
.i mie`ˆn D cu’a moˆ. t thuoˆ.c t´ınh di.nh danh A
na`o do´. Trong thu.. c teˆ´, neˆ´u moˆ.t su
.
. phaˆn nho´m ca´c doˆ´i tu
.o.. ng ho
.
. p ly´ du
.o.. c cung caˆ´p tu`
. ch´ınh
nhu˜.ng ngu.`o.i su.’ du. ng cu’a heˆ. va` soˆ´ ca´c ngoa. i leˆ. la` kha´ nho’ hay thu
.
. c chaˆ´t la` khoˆng da´ng keˆ’,
ca´c truy vaˆ´n di.nh lu
.o.. ng treˆn ca´c lo´
.p doˆ´i tu.o.. ng se˜ du
.o.. c bieˆ’u die˜ˆn moˆ.t ca´ch de˜ˆ da`ng thoˆng
qua ca´c phe´p toa´n da. i soˆ´ treˆn ca´c quan heˆ. nho´m. Ngoa`i ra, chu´ng toˆi cu˜ng cho ra`˘ng, chu´ng ta
co´ theˆ’ a´p du. ng moˆ.t soˆ´ thuaˆ. t toa´n tu
.
. doˆ.ng sa’n sinh ra ca´c caˆ´u tru´c phaˆn caˆ´p du
.
. a treˆn ch´ınh
CSDL cu’a heˆ. vo´
.i tieˆu ch´ı toˆ´i thieˆ’u hoa´ lu.. c lu
.o.. ng ca´c quan heˆ. nho´m thu du
.o.. c. Ba`i ba´o [2]
de`ˆ caˆ.p deˆ´n moˆ. t gia’ i thuaˆ.t cho phe´p nho´m ca´c gia´ tri. thuoˆ.c t´ınh du
.
. a treˆn ca´c maˆ˜u co´ theˆ’ la`
moˆ. t tham kha´o toˆ´t cho y´ doˆ` na`y. Cuoˆ´i cu`ng, chu´ng toˆi hy vo.ng co´ theˆ’ tieˆ´p tu. c pha´t trieˆ’n va`
thu.’ nghieˆ.m moˆ h`ınh na`y vo´
.i nhie`ˆu da.ng truy vaˆ´n di.nh lu
.o.. ng kha´c nhau deˆ’ da´p u´
.ng du.o.. c
ca´c nhu ca`ˆu khai tha´c thoˆng tin da da.ng va` phong phu´ cu’a ngu
.`o.i du`ng.
TA`I LIEˆ. U THAM KHA
’O
[1] H.V. Jagadish, Incorporating hierarchy in a relational model of data, Proceedings ACM-
SIGMOD International Conference on Management of Data, 1989 (78–87). NOI NAO???
[2] M. Merzbacher, W.W. Chu, Pattern-Based Clustering for Database Attribute Values, Proceed-
ings AAAI Workshop on Knowledge Discovery in Database, 1993. NOI NAO???
[3] W.Y. Mok, D.W. Embley, A normal formal for precisely characterizing redundancy in nested
relations, ACM TODS 21 (1996) 77–106.
[4] J. Paredaens, D. V. Gucht, Converting nested algebra expressions to flat algebra expressions,
ACM TODS 17 (1992) 66–93.
[5] R. Rantzau, C. Mangold, Laws for rewriting queries containing division operators, Proceedings
ICDE, USA, 2006.
Nhaˆ. n ba`i nga`y 15 - 8 - 2007

File đính kèm:

  • pdfmo_hinh_du_lieu_doi_voi_cac_truy_van_dinh_luong.pdf