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, : dùng chữ thường ở cuối bộ ký tự: x,y,z,t,s •Hằng: dùng chữ thường ở đầu bộ ký tự: a,b,c, •Hàm: là một ánh xạ từ một miền giá trị vào tập hợp gồm 2 giá trị: đúng hoặc sai. Thường dùng chữ thường ở giữa bộ ký tự: h,g,f, •Tân từ: là một biểu thức được xây dựng dựa trên biểu thức logic. Dùng chữ in hoa ở giữa. | Bài 6 Ngôn ngữ tân từ WATHENA TRUNG TÀM ĐÀO TAO AN NINH MANG QUAN TRỊ MANG n 1 Nội dung 1. Giới thiệu 2. Cú pháp 3. Các định nghĩa 4. Diễn giải của một công thức 5. Quy tắc lượng giá công thức 6. Ngôn ngữ tân từ có biến là n bộ 7. Ngôn ngữ tân từ có biến là miền giá trị n 2 1. Giới thiệu Ngôn ngữ tân từ là ngôn ngữ truy vấn hình thức do Codd đe 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ị n