Bài giảng Cơ sở dữ liệu: Bài 9 - ThS. Vũ Văn Định

Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu: Bài 9 - ThS. Vũ Văn ĐịnhTopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn PhíBÀI 9. NGÔN NGỮ TÂN TỪI. Logic toán và ứng dụng của nó vào CSDL.ĐN1 : Biểu thức logic là một phát biểu mà giátrị của nó có thể đúng hoặc sai. Biểu thức logic cógiá trị luôn luôn đúng ( hoặc sai ) được gọi làhằng đúng hoặc hàng sai.1. Một số khái niệm :Hàm: là một ánh xạ từ một miền giá trị vào tậphợ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ựatrê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 ()TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí- ĐN2 : Tân từ một ngôi được định nghĩatrên 1 tập X và một 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ộtmệnh đề logic, tức là nó có giá trị hoặclà đúng hoặc là sai.VD: X là một tập hợp những người có tênnhư sau :X={ Hoa , Lan, Tuấn, Dũng, T.Anh,…}Với tân từ NỮ (x) được xác dịnh như : “ xlà người nữ”. Khi đó mệnh đề :NỮ ( Hoa) : cho kết quả là đúng.NỮ ( Tuấn ) : Cho kết quả là sai .TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn PhíĐN3: Tân từ n ngôi được định nghĩatrên các tập X1, X2,…Xn và n biếnx1, x2, …, xn lấy giá trị trên các tậpXi tương ứng. Với mỗi ai Xi, xi = ai, tân từ n ngôi là một mệnh đề.Kí hiệu : P ( x1, x2, …, xn)VD: CHA ( x1, x2 ) : “ x1 là cha củax2”TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí- ĐN4: Từ đựợc định nghĩa một cách truy hồi nhưsau :i. Từ là một hằng hay một biếnii. f (t1,t2,…,tn) là một hàm n ngôi thì f là một từ.- ĐN5: Công thức :i. Công thức nguyên tố là một tân từ n ngôiP(t1,t2,.., tn) , trong đó t1, t2,.., tn là các từ.ii. Nếu F1, F2, .. ,Fn là các công thức thì các biểuthức sau: F1 v F2 , F1  F2 , F1 => f2, ¬ F1cũng là các công thức.iii. Nếu F1 là công thức thì x: F1, x: F1 cũng làcác công thức.iv. Nếu F1 là công thức thì ( F1) cũng là công thức.TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí-ĐN6:- Một công thức được gọi là “đóng”nếu mọi biến của nó đều có kèm vớilượng từ.- Một công thức được gọi là “mở” nếutồn tại một biến không có kèm vớilượng từ. Biến này gọi là biến tự do.