tailieunhanh - Bài giảng Cơ sở dữ liệu: Bài 6 - Đại học CNTT

Bài giảng Cơ sở dữ liệu - Bài 6 trang bị cho người học những hiểu biết về ngôn ngữ tân từ. Các nội dung chính được trình bày trong chương này gồm có: Cú pháp, các định nghĩa, diễn giải của một công thức, quy tắc lượng giá công thức, ngôn ngữ tân từ có biến là n bộ, ngôn ngữ tân từ có biến là miền giá trị. . | Bài 6 Ngôn ngữ tân từ Khoa HTTT - Đại học CNTT Nội dung 1 1 S 1. 2. 1 1 1 1 Giới thiệu Cú pháp 3. 4. 5. 6. Các định nghĩa Diễn giải của một công thức Quy tắc lượng giá công thức 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ị Khoa HTTT - Đại học CNTT 2 1 1. Giới thiệu r I 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ị Khoa HTTT - Đại học CNTT 3 2. Cú pháp I biêu thức trong ngoặc Biến 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ộ ký tự P Q R. Các phép toán logic phủ định kéo theo và a hoặc v . Các lượng từ với mọi V tồn tại 3 Khoa HTTT - Đại học CNTT 4 2 3. Các định nghĩa 1 ---- I I Định nghĩa 1 Tân từ 1 ngôi Tân từ 1 ngôi được định nghĩa trên tập X và biến x có giá trị chạy trên các phân tử của X. Với mỗi giá trị của x tân từ P x là một mệnh đề logic tức là nó có giá trị đúng Đ hoặc sai S Ví dụ P x x là biến chạy trên X là một tân từ P gt gteX là một mệnh đề X Nguyen Van A Tran Thi B Với tân từ NỮ x được xác định x là người nữ . Khi đó Mệnh đề NỮ Nguyen Van A cho kết quả Sai NỮ Tran Thi B cho kết quả Đúng Khoa HTTT - Đại học CNTT 5 3. Các định nghĩa 2 I Định nghĩa 2 Tân từ n ngôi Tân từ n ngôi được định nghĩa trên các tập X1 X2 . Xn và n biến x1 x2 . xn lấy giá trị trên các tập Xi tương ứng. Với mỗi giá trị aieXi xi từ n ngôi là một mệnh đề. Ký hiệu P xb x2 . xj - Ví dụ CHA x1 x2 x1 là CHA của x2 Chú ý Các Xi không nhất thiết phải là rời nhau Với xi ai P x1 x2 . ai . xn là tân từ n-1