Luật chuyển đổi công thức tương đương liên quan đến các lượng từ

tan tư là tương đương nhau về mát này.. » Mot ngon 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ệ

(Vx) (P(x) AND Q(x)) = (4 x))(NOT(P(x)) OR NOT(Q(x)))

(Vx) (P(x) OR Q(x)) = (4 x))(NOT(P(x)) AND NOT(Q(x)))

(4 x) (P(x) OR Q(x)) = NOT(Vx) (NOT(P(x)) AND NOT(Q(x))) (4 x) (P(x) AND Q(x)) = NOT(‘Vx) (NOT(P(x)) OR NOT(Q(x)))

(Vx) (P(x)) = (4 x) (POX)

(1X) (P(X))= (VX)(NOT (P(X)))

a A’ eA

ien mien

Ngön ngữ tân tư b

Vi du

Cau hoi 1

Tim tên của dự an co ma so D4

tenX | 3 diadiemX 3ma_dvX

(DU_AN( D4 ˆ,tenX, diadlemX, ma_dvX))}

Cho biết họ tên và lương của những nhân viên thuộc phòng

"Nghiên cứu và phát triển”

ho_tenX, luongX:

1ma_nvX¬ngay_ sinhX¬gioi_tinhX 31 ma_dvX 31 ma_ tpX

(PHONG (ma_ dvX, *Nghiên cứu và phát triển”, ma_tpX) AND

NHAN_ VIEN(ma_ nvX,ho_ tenX,ngay_ sinnX,gioi_tinhX,ma_ dvX,lu

ongX))?

Hồ Cam Ha Chương 3 33

a A’ eA

ien mien

Ngön ngữ tân tư b

Vi du

Cau hoi 3

Với mỗi dự án thục hiên ở "TT khí thương thủy văn HN” hấy cho Biết

nã số dự án, đóng thơi cho Biết ho tên trưởng phong quan lý dự án nay

{ma_daX, ho_tenx|

4 ten_daX 4 ma_dvX +1ten_phongX 31ma_tpX ängay_ sinhX 3gioi_tinhX 31luongX

(DU AN (ma daX, ten_ daX, "TT khi tượng thủy văn HN”, ma_ dvX) AND PHONG (ma _ dvX, ten_phongX, ma_tpX) AND

NHAN_ VIEN (ma _ tpX, ho_tenX, ngay_ sinhX, gioi_tinhX, ma_dvX, luongX)) }

tan tư là tương đương nhau về mát này

» Mot ngon 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

Hồ Cam Ha Chương 3 35