Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định
Một số khái niệm :
- Hàm: là một ánh xạ từ một miền giá trị vào tập
hợp gồm hai giá trị hoặc đúng hoặc sai, thường kí
hiệu là f,g,h
- Tân từ : Là một biểu thức được xây dựng dựa
trên các biểu thức logic, thường kí hiệu P,Q,R
- Các phép toán logic : phủ định (¬ ), kéo theo
(=>), nối liền (), nối rời ( v )
- Các lượng từ : với mọi () và tồn tại ()
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định trang 1
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định trang 2
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định trang 3
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định trang 4
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ - Vũ Văn Định trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_co_so_du_lieu_bai_9_ngon_ngu_tan_tu_vu_van_dinh.pdf
