Ngôn ngữ tân từ doc

1
Bài 6: Ngôn ngữ tân từ
2
Giới thiệu
Ngôn ngữ tân từ là ngôn ngữ truy vấn hình thức do
Codd đề nghị (1972-1973) được Lacroit, Proix và
Ullman phát triển, cài đặt trong một số ngôn ngữ
như QBE, ALPHA
Đặc điểm:

Ngôn ngữ phi thủ tục

Rút trích cái gì chứ không phải rút trích như thế nào

Khả năng diễn đạt tương đương với đại số quan hệ
Có hai loại:

Có biến là n bộ

Có biến là miền giá trị
3
1. Ngôn ngữ tân từ có biến là n bộ
Câu hỏi có biến là n bộ được biểu diễn như sau:
{s | F s} hoặc {s | F(s)}
Trong đó s là biến n bộ, F là một công thức chỉ
có một biến tự do là s.
Các phép toán logic: phủ định (¬), kéo theo
(⇒), và (∧), hoặc (∨).
Các lượng từ: với mọi (∀), tồn tại (∃)
4
Ví dụ: SANPHAM(masp,gia,nuocsx). In ra mã

sản phẩm do ‘TQ’ sản xuất có giá hơn 10.000


ĐSQH: SANPHAM:(nuocsx=‘TQ’∧gia>10000)[masp]

NNTT_BNB:

{s.masp | SANPHAM(s) ∧ s.nuocsx=‘TQ’ ∧ s.gia>10000}

{s[masp] | SANPHAM s ∧ s[nuocsx]=‘TQ’ ∧ s[gia]>10000}
5
Công thức an toàn
Một công thức được gọi là an toàn nếu
tất cả các giá trị trong kết quả đều lấy
từ miền giá trị của công thức
Ví dụ: {s | ¬(SANPHAM s)}
6
Cho CSDL
NhaCC (Mancc, Tenncc, Khuvuc)
CungCap (Mancc, Masp, Gia)
SanPham (Masp, Tensp, Mau)
7
1. Tìm mã nhà cung cấp cung cấp sản phẩm
màu đỏ hoặc xanh
][23
)''''(:12
1
:
manccRR
DomauXanhmauRR

CungCapSanPhamR
ĐSQH
masp
←
=∨=←
←

)}''.''.(

)()(|.{
:_
DomausXanhmaus
maspsmaspc
sSanPhamcCungCapmanccc
BNBNNTT
=∨=∧
=∧
∧
8
2. Tìm TenNCC cung cấp sản phẩm cho khu vực
“TpHCM” hoặc cung cấp sản phẩm màu đỏ
][23
)''''(:12
)(1
:
tennccRR
TpHCMkhuvucDomauRR
SanPhamCungCapNhaCCR
ĐSQH
masp

mancc
←
=∨=←
←

)}''.''.(

|.{
:_
TpHCMkhuvucnDomaus
maspsmaspcmancccmanccn
sSanPhamcCungCapnNhaCCtennccc
BNBNNTT
=∨=∧
=∧=∧
∧∧
9
3. Tìm TenNCC cung cấp ít nhất 2 sản phẩm
(màu xanh và màu đỏ)
213
]))[''(:)((2
]))[''(:)((1
:
RRR
tennccXanhmauCungCapSanPhamR
tennccDomauCungCapSanPhamR
ĐSQH
masp
masp
∩←

=←
=←


}.2.).1.)(
''.2.2.2
)2()2(
''.1.1.1
)1()1(|.{
:_
mancccmancccmancccmanccccCungCap
Xanhmausmaspsmaspc
sSanPhamcCungCap
Domausmaspsmaspc
sSanPhamcCungCaptennccc
BNBNNTT
=∧=∧∧
=∧=∧
∧∧
=∧=∧
∧
10
4. Tìm MaNCC cung cấp tất cả các sản phẩm
213
][
2
],[1
:
RRR
maspSanPham

R
maspmanccCungCapR
ĐSQH
÷←
←
←
)}
:(
)()(|.{
:_
manccnmancccmaspsmaspc
CungCapc
SanPhamsnNhaCCmanccn
BNBNNTT
=∧=
∈∃
∈∀∧
11
5. Tìm MaNCC cung cấp tất cả các sản phẩm
màu đỏ
)} :(
)''.:()(|.{
:_
manccnmancccmaspsmaspcCungCapc
DomausSanPhamsnNhaCCmanccn
BNBNNTT
=∧=∈∃
=∈∀∧
213
]))[''(:(

2
],[1
:
RRR
maspDomauSanPham
R
maspmanccCungCapR
ĐSQH
÷←
=
←
←
12
2. Ngôn ngữ tân từ có biến là miền giá trị
{(x
1
,x
2
,…,x
n
) | F(x
1
,x
2
,…,x
n
)}
Trong đó:
•
x

i
là các biến tự do của F
•
Q= {(x
1
,x
2
,…,x
n
) | F(x
1
,x
2
,…,x
n
)}
Nếu (x
1
,x
2
,…,x
n
)∈Q thì
F(x
1
,x
2
,…,x
n
):Đúng