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:
Trang 1Bài 6: Ngôn ngữ tân từ
Trang 2Giớ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ị
Trang 31 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 (∃)
Trang 4Ví 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}
Trang 5Cô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
Trang 6Cho CSDL
NhaCC (Mancc, Tenncc, Khuvuc) CungCap (Mancc, Masp, Gia)
SanPham (Masp, Tensp, Mau)
Trang 71 Tìm mã nhà cung cấp cung cấp sản phẩm
màu đỏ hoặc xanh
] [
2 3
) ' '
' '
( : 1 2
1
:
mancc R
R
Do mau
Xanh mau
R R
CungCap SanPham
R
ĐSQH
masp
←
=
∨
=
←
)} '
'
' '
(
.
) ( )
(
|
{
: _
Do mau
s Xanh
mau s
masp s
masp c
s SanPham c
CungCap mancc
c
BNB NNTT
=
∨
=
∧
=
∧
∧
Trang 82 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 đỏ
] [
2 3
) ' '
' '
( : 1 2
) (
1
:
tenncc R
R
TpHCM khuvuc
Do mau
R R
SanPham CungCap
NhaCC R
ĐSQH
masp mancc
←
=
∨
=
←
)}
' '
'
'
(
.
.
|
{
: _
TpHCM khuvuc
n Do
mau s
masp s
masp c
mancc c
mancc
n
s SanPham c
CungCap n
NhaCC tenncc
c
BNB NNTT
=
∨
=
∧
=
∧
=
∧
∧
∧
Trang 93 Tìm TenNCC cung cấp ít nhất 2 sản phẩm
(màu xanh và màu đỏ)
2 1
3
] ))[
' '
( : ) ((
2
] ))[
' '
( : ) ((
1
:
R R
R
tenncc Xanh
mau CungCap
SanPham R
tenncc Do
mau CungCap
SanPham R
ĐSQH
masp masp
∩
←
=
←
=
←
}
2
)
1
) (
' '
2
2
2
) 2 ( )
2 (
' '
1
1
1
) 1 ( )
1 (
|
{
: _
mancc c
mancc c
mancc c
mancc c
c CungCap
Xanh mau
s masp
s masp
c
s SanPham c
CungCap
Do mau
s masp
s masp
c
s SanPham c
CungCap tenncc
c
BNB NNTT
=
∧
=
∧
∧
=
∧
=
∧
∧
∧
=
∧
=
∧
∧
Trang 104 Tìm MaNCC cung cấp tất cả các sản phẩm
2 1
3
] [
2
] ,
[ 1
:
R R
R
masp SanPham
R
masp mancc
CungCap R
ĐSQH
÷
←
←
←
)}
.
.
: (
) (
) (
|
{
: _
mancc n
mancc c
masp s
masp c
CungCap c
SanPham s
n NhaCC mancc
n
BNB NNTT
=
∧
=
∈
∃
∈
∀
∧
Trang 115 Tìm MaNCC cung cấp tất cả các sản phẩm
màu đỏ
)}
.
: (
) ' '
: (
) (
|
{
: _
mancc n
mancc c
masp s
masp c
CungCap c
Do mau
s SanPham s
n NhaCC mancc
n
BNB NNTT
=
∧
=
∈
∃
=
∈
∀
∧
2 1
3
] ))[
' '
( : (
2
] ,
[ 1
:
R R
R
masp Do
mau SanPham
R
masp mancc
CungCap R
ĐSQH
÷
←
=
←
←
Trang 122 Ngôn ngữ tân từ có biến là miền giá trị
Trong đó:
• xi là các biến tự do của F
• Q= {(x1,x2,…,xn) | F(x1,x2,…,xn)}
Nếu (x1,x2,…,xn) ∈ Q thì
F(x1,x2,…,xn):Đúng