Hồ Cẩm Hà
Chương 3
31
Luật chuyển đổi công thức tương đương
liên quan đến các lượng từ

(∀x) (P(x)) ≡ (∃ x))(NOT(P(x)))

(∃ x) (P(x)) ≡ NOT(∀x)(NOT(P(x)))

(∀x) (P(x) AND Q(x)) ≡ (∃ x))(NOT(P(x)) OR NOT(Q(x)))

(∀x) (P(x) OR Q(x)) ≡ (∃ x))(NOT(P(x)) AND NOT(Q(x)))

(∃ x) (P(x) OR Q(x)) ≡ NOT(∀x) (NOT(P(x)) AND NOT(Q(x)))

(∃ x) (P(x) AND Q(x)) ≡ NOT(∀x) (NOT(P(x)) OR NOT(Q(x)))

(∀x) (P(x)) ⇒ (∃ x) (P(x))

(∃ x) (P(x))⇒ (∀x)(NOT (P(x)))
Hồ Cẩm Hà
Chương 3
32
Ngôn ngữ tân từ biến miền
Ví dụ
Câu hỏi 1
Tìm tên của dự án có mã số D4
{tenX ⏐∃diadiemX ∃ma_dvX
(DU_AN(“D4”,tenX, diadiemX, ma_dvX))}
Hồ Cẩm Hà


Khả năng biểu thị câu hỏi của đại số quan hệ và ngôn ngữ
tân từ là tương đương nhau về mặt này
.

Một ngôn ngữ hỏi L (của mô hình quan hệ) được gọi là đầy
đủ nếu với L, chúng ta có thể biểu diễn được bất cứ một câu
hỏi nào mà phép tính quan hệ biểu diễn được
.

Tính đầy đủ trở thành một tiêu chuẩn quyết định để so sánh
khả năng biểu diễn câu hỏi của các ngôn ngữ hỏi bậc cao