B
BÀ
ÀI 9. NGÔN NG
I 9. NGÔN NGỮ
ỮTÂN T
TÂN TỪ
Ừ
I . Logic
I . Logic to
toá
án
nv
và
àứ
ứng
ng d
dụ
ụng
ng c
củ
ủa
an
nó
óv
và
ào
oCSDL.
CSDL.
ĐN
ĐN1 :
1 : Bi
Biể
ểu
uth
thứ
ức
clogic
logic l
là
àm
mộ
ột
tph
phá
át
tbi
biể
ểu
um
mà
àgi
giá
á
tr
trị
ịc
củ
ủa
an
nó
óc
có
óth
thể
ểđ
đú
úng
ng ho
hoặ
ặc
csai
sai.
. Bi
Biể
ểu
uth
thứ
ức
clogic
logic c
có
ó
gi
giá
átr
trị
ịluôn
luôn luôn
luôn đ
đú
úng
ng (
( ho
hoặ
ặc
csai
sai )
) đư
đượ
ợc
cg
gọ
ọi
il
là
à
h
hằ
ằng
ng đ
đú
úng
ng ho
hoặ
ặc
ch
hà
àng
ng sai
sai.
.
1 .
1 . M
Mộ
ột
ts
số
ốkh
khá
ái
ini
niệ
ệm
m:
:
-
-H
Hà
àm
m:
: l
là
àm
mộ
ột
tá
ánh
nh x
xạ
ạt
từ
ừm
mộ
ột
tm i
m iề
ền
ngi
giá
átr
tr ị
ịv
và
ào
ot
tậ
ập
p
h
hợ
ợp
pg
gồ
ồm
mhai
hai gi
giá
átr
trị
ịho
hoặ
ặc
cđ
đú
úng
ng ho
hoặ
ặc
csai
sai,
, thư
thườ
ờng
ng k
kí
í
hi
hiệ
ệu
ul
là
àf,g,h
f,g,h…
…
-
-Tân
Tân t
từ
ừ:
: L
Là
àm
mộ
ột
tbi
biể
ểu
uth
thứ
ức
cđư
đượ
ợc
cxây
xây d
dự
ựng
ng d
dự
ựa
a
trên
trên c
cá
ác
cbi
biể
ểu
uth
thứ
ức
clogic,
logic, thư
thườ
ờng
ng k
kí
íhi
hiệ
ệu
uP,Q,R
P,Q,R…
…
-
-C
Cá
ác
cph
phé
ép
pto
toá
án
nlogic :
logic : ph
phủ
ủđ
đị
ịnh
nh (
(¬
¬),
), k
ké
éo
otheo
theo
(= > ),
(= > ), n
nố
ối
ili
liề
ền
n(
(
),
), n
nố
ối
ir
rờ
ời
i( v )
( v )
-
-C
Cá
ác
clư
lượ
ợng
ng t
từ
ừ:
: v
vớ
ới
im
mọ
ọi
i(
(
)
)v
và
àt
tồ
ồn
nt
tạ
ại
i(
(
)
)
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
-
- ĐN
ĐN2
2:
: Tân
Tân t
từ
ừm
mộ
ột
tngôi
ngôi đư
đượ
ợc
cđ
đị
ịnh
nh ngh
nghĩ
ĩa
a
trên
trên 1
1 t
tậ
ập
pX
X v
và
àm
mộ
ột
tbi
biế
ến
nx
x c
có
ógi
giá
átr
trị
ị
ch
chạ
ạy
ytrên
trên c
cá
ác
cph
phầ
ần
nt
tử
ửc
củ
ủa
aX.
X.
V
Vớ
ới
im
mỗ
ỗi
igi
giá
átr
trị
ịc
củ
ủa
ax,
x, tân
tân t
từ
ừP(x)
P(x) l
là
àm
mộ
ột
t
m
mệ
ệnh
nh đ
đề
ềlogic,
logic, t
tứ
ức
cl
là
àn
nó
óc
có
ógi
giá
átr
trị
ịho
hoặ
ặc
c
l
là
àđ
đú
úng
ng ho
hoặ
ặc
cl
là
àsai
sai.
.
VD: X
VD: X l
là
àm
mộ
ột
tt
tậ
ập
ph
hợ
ợp
pnh
nhữ
ững
ng ngư
ngườ
ời
ic
có
ótên
tên
như
như sau
sau :
:
X= {
X= { Hoa
Hoa ,
, Lan
Lan,
, Tu
Tuấ
ấn
n,
, D
Dũ
ũng
ng,
, T.Anh
T.Anh,
,…
…
}
}
V
Vớ
ới
itân
tân t
từ
ừN
NỮ
Ữ(x)
(x) đư
đượ
ợc
cx
xá
ác
cd
dị
ịnh
nh như
như :
: “
“x
x
l
là
àngư
ngườ
ời
in
nữ
ữ”
”.
. Khi
Khi đ
đó
óm
mệ
ệnh
nh đ
đề
ề:
:
N
NỮ
Ữ(
( Hoa
Hoa) :
) : cho
cho k
kế
ết
tqu
quả
ảl
là
àđ
đú
úng
ng.
.
N
NỮ
Ữ(
( Tu
Tuấ
ấn
n) :
) : Cho
Cho k
kế
ết
tqu
quả
ảl
là
àsai
sai .
.
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
ĐN
ĐN3 :
3 : Tân
Tân t
từ
ừn
n ngôi
ngôi đư
đượ
ợc
cđ
đị
ịnh
nh ngh
nghĩ
ĩa
a
trên
trên c
cá
ác
ct
tậ
ập
pX1, X2,
X1, X2,…
…Xn
Xn v
và
àn
n bi
biế
ến
n
x1, x2,
x1, x2, …
…,
, xn
xn l
lấ
ấy
ygi
giá
átr
trị
ịtrên
trên c
cá
ác
ct
tậ
ập
p
Xi
Xi tương
tương ứ
ứng
ng.
. V
Vớ
ới
im
mỗ
ỗi
iai
ai
Xi, xi =
Xi, xi = ai
ai
,
, tân
tân t
từ
ừn
n ngôi
ngôi l
là
àm
mộ
ột
tm
mệ
ệnh
nh đ
đề
ề.
.
K
Kí
íhi
hiệ
ệu
u: P ( x1, x2,
: P ( x1, x2, …
…,
, xn
xn)
)
VD:
VD: CHA ( x1, x2 ) :
CHA ( x1, x2 ) : “
“x1
x1 l
là
àcha
cha c
củ
ủa
a
x2
x2”
”
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
-
- ĐN
ĐN4 : T
4 : Từ
ừđ
đựợ
ựợc
cđ
đị
ịnh
nh ngh
nghĩ
ĩa
am
mộ
ột
tc
cá
ách
ch truy
truy h
hồ
ồi
inhư
như
sau
sau :
:
i. T
i. Từ
ừl
là
àm
mộ
ột
th
hằ
ằng
ng hay
hay m
mộ
ột
tbi
biế
ến
n
ii. f (t1,t2,
ii. f (t1,t2,…
…,
,tn
tn)
) l
là
àm
mộ
ột
th
hà
àm
mn
n ngôi
ngôi th
thì
ìf
f l
là
àm
mộ
ột
tt
từ
ừ.
.
-
- ĐN
ĐN5 :
5 : Công
Công th
thứ
ức
c:
:
i.
i. Công
Công th
thứ
ức
cnguyên
nguyên t
tố
ốl
là
àm
mộ
ột
ttân
tân t
từ
ừn
n ngôi
ngôi
P(t1,t2,..,
P(t1,t2,.., tn
tn) ,
) , trong
trong đ
đó
ót1, t2,..,
t1, t2,.., tn
tn l
là
àc
cá
ác
ct
từ
ừ.
.
ii.
ii. N
Nế
ếu
uF1, F2, .. ,Fn
F1, F2, .. ,Fn l
là
àc
cá
ác
ccông
công th
thứ
ức
cth
thì
ìc
cá
ác
cbi
biể
ểu
u
th
thứ
ức
csau
sau: F1 v F2 , F1
: F1 v F2 , F1
F2 , F1 = > f2,
F2 , F1 = > f2, ¬
¬F1
F1
c
cũ
ũng
ng l
là
àc
cá
ác
ccông
công th
thứ
ức
c.
.
iii.
iii. N
Nế
ếu
uF1
F1 l
là
àcông
công th
thứ
ức
cth
thì
ì
x: F1,
x: F1,
x: F1
x: F1 c
cũ
ũng
ng l
là
à
c
cá
ác
ccông
công th
thứ
ức
c.
.
iv.
iv. N
Nế
ếu
uF1
F1 l
là
àcông
công th
thứ
ức
cth
thì
ì( F1)
( F1) c
cũ
ũng
ng l
là
àcông
công th
thứ
ức
c.
.
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
-
-ĐN
ĐN6 :
6 :
-
-M
Mộ
ột
tcông
công th
thứ
ức
cđư
đượ
ợc
cg
gọ
ọi
il
là
à“
“đ
đó
óng
ng”
”
n
nế
ếu
um
mọ
ọi
ibi
biế
ến
nc
củ
ủa
an
nó
óđ
đề
ều
uc
có
ók
kè
èm
mv
vớ
ới
i
lư
lượ
ợng
ng t
từ
ừ.
.
-
-M
Mộ
ột
tcông
công th
thứ
ức
cđư
đượ
ợc
cg
gọ
ọi
il
là
à“
“m
mở
ở”
”n
nế
ếu
u
t
tồ
ồn
nt
tạ
ại
im
mộ
ột
tbi
biế
ến
nkhông
không c
có
ók
kè
èm
mv
vớ
ới
i
lư
lượ
ợng
ng t
từ
ừ.
. Bi
Biế
ến
nn
nà
ày
yg
gọ
ọi
il
là
àbi
biế
ến
nt
tự
ựdo.
do.
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí