bài 6 ngôn ngữ tân từ

... Bài 6: Ngôn ngữ tân từ www.Athena.Edu.Vn Nội dung Giới thiệu Cú pháp Các định nghĩa Diễn giải công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến ... www.Athena.Edu.Vn Giới thiệu • Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) Lacroit, Proix Ullman phát triển, cài đặt số ngôn ngữ QBE, ALPHA • Đặc điểm: – Ngôn ngữ phi thủ tục – Rút ... M={a1,a2,…,an} F(ai), aiM • Lượng từ : x biến, x F(x): Đ với  aiM/F(ai):Đ M={a1,a2,…,an} F(ai), aiM www.Athena.Edu.Vn 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức...

Ngày tải lên: 19/06/2014, 17:20

... công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến miền giá trị Khoa HTTT - Đại học Giới thiệu  Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) ... M={a1,a2,…,an} ≡∨F(ai), ai∈M  Lượng từ ∀: x biến, ∀x F(x): Đ với ∀ ai∈M/F(ai):Đ M={a1,a2,…,an} ≡∧F(ai), ai∈M Khoa HTTT - Đại học 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức ... (∨)  Các lượng từ: với (∀), tồn (∃) Khoa HTTT - Đại học Các định nghĩa (1)  Định nghĩa 1: Tân từ    Tân từ định nghĩa tập X biến x có giá trị chạy phần tử X Với giá trị x, tân từ P(x) mệnh...

Ngày tải lên: 27/06/2014, 21:20

... Giới thiệu Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) Lacroit, Proix Ullman phát triển, cài đặt số ngôn ngữ QBE, ALPHA Đặc điểm:    Ngôn ngữ phi thủ tục Rút ... Khả diễn đạt tương đương với đại số quan hệ Có hai loại:   Có biến n Có biến miền giá trị Ngôn ngữ tân từ có biến n Câu hỏi có biến n biểu diễn sau: {s | F s} {s | F(s)} Trong s biến n bộ, F công ... ∧ (∀s ∈ SanPham : s.mau =' Do' ) (∃c ∈ CungCap : c.masp = s.masp ∧ c.mancc = n.mancc)} 11 Ngôn ngữ tân từ có biến miền giá trị {(x1,x2,…,xn) | F(x1,x2,…,xn)} Trong đó: • xi biến tự F • Q= {(x1,x2,…,xn)...

Ngày tải lên: 15/03/2014, 23:20

... công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến miền giá trị Khoa HTTT - Đại học Giới thiệu  Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) ... M={a1,a2,…,an} ≡∨F(ai), ai∈M  Lượng từ ∀: x biến, ∀x F(x): Đ với ∀ ai∈M/F(ai):Đ M={a1,a2,…,aKhoa HTTTi∈M học n} ≡∧F(ai), a - Đại 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức ... (∨)  Các lượng từ: với (∀), tồn (∃) Khoa HTTT - Đại học Các định nghĩa (1)  Định nghĩa 1: Tân từ    Tân từ định nghĩa tập X biến x có giá trị chạy phần tử X Với giá trị x, tân từ P(x) mệnh...

Ngày tải lên: 19/12/2014, 16:08

... thuê vào làm việc từ ngày 10/10/1980 đến 10/10/1999 Use northwind select * from employees where hiredate between '10/10/1980' and '10/10/1999' 26 Lệnh Select với LIKE – Not LIKE • Từ khóa LIKE áp ... (student_id INT IDENTITY(100, 5) NOT NULL, name NVARCHAR( 16) ) CREATE TABLE [dbo].[Customers] ( [CustomerID] [nchar](5) NOT NULL, [Address] [nvarchar] (60 ) NULL, [Phone] [nvarchar](24) NULL, [Fax] [nvarchar](24) ... đăng ký mua hàng sau ‘1/1/19 96 use northwind select customerID , address from customers where customerID in (select customerID from orders where orderDate>'1/1/19 96' ) 24 Lệnh Select với EXISTS...

Ngày tải lên: 16/06/2014, 13:46

... 155,1 56 632 (1b) GVHB 512 1 368 ,11x (1a)DTBH 3 36, 11x (1) Nhận hàng 1 56 133 33311 14 Xuất giao hàng, sử dụng PXK kiêm VCNB Đơn vị bán 155,1 56 157 (1) GV (2b) 512 63 2 1 368 ,11x (2a)DTBH Đơn vị mua 3 36 ... hộ, thu hộ 11x 3 36 33x,6xx (3) (1) 1 368 11x (4) (2) 16 9.2.4- Kế tóan quan hệ nội nghĩa vụ tài a/ Trích nộp kinh phí quản lý cấp Đv cấp 511 1 36( 1 368 ) Phải thu KPQL Đơn vị cấp 3 36 642 Phải nộp KPQL ... hợp lãi cấp phải nộp cấp Đơn vị cấp Đơn vị cấp 421 1 36( 1 368 ) 3 36 421 • Trường hợp cấp cấp cấp bù lỗ Đơn vị cấp Đơn vị cấp 3 36 421 421 1 36( 1 368 ) 18 c/ Quan hệ phân phối quỹ DN • Trường hợp quỹ...

Ngày tải lên: 03/07/2014, 22:12

... phần: định nghĩa lớp lớp  Tất thành phần liệt kê sau từ khóa private protected truy nhập thành phần bên lớp Còn tất thành phần liệt kê sau từ khóa public truy nhập hàm • Ví dụ 1: • Class Diem ... u.y; } • • • • • • • • • • • • Ví dụ 7: void main() { Diem a(2, -6) ; a.Xuat(); Diem b = a; //Gọi hàm thiết lập chép b.Xuat(); Diem c( -6, 8); float d = a.KC(c); //Gọi hàm thiết lập chép cout

Ngày tải lên: 18/07/2014, 19:54

... liệu nhập từ bàn phím theo lệnh scanf, gets, getchar, … trước hết chúng đưa vào stdin, sau gán cho biến, lưu lại cho lệnh nhập sau Muốn xóa stdin phải dùng lệnh fflush(stdin) Ví dụ 6: void main() ... vị trí chuỗi s1 mà chứa nội dung chuỗi ký tự s2; không hàm trả NULL • • • • • • • • • • • Ví dụ 6: void main() { char *string = “Borland International”, char *substring = “nation”; char *blank...

Ngày tải lên: 03/12/2015, 15:36

... gia phép toán đối tượng  Toán tử định nghĩa chồng cách định nghĩa hàm toán tử với tên bao gồm từ khóa operator theo sau ký hiệu toán tử cần định nghĩa chồng • Ví dụ 1: Một số ví dụ tên hàm toán ... res(x + u.re, u.im); return res; } //Hàm void main() { SoPhuc a(-2, 4); a.Xuat(); SoPhuc b(8, -6) ; b.Xuat(); SoPhuc c = a + b; // CT dịch hiểu c = a.operator+(b) c.Xuat(); SoPhuc d = + c; //...

Ngày tải lên: 03/12/2015, 18:57

... chiếu Trong trường hợp biểu thức trả câu lệnh return phải tên biến xác định từ bên hàm, sử dụng giá trị hàm • Ví dụ 6: • //Nguyên mẫu hàm • int &fct(); • int x; //biến toàn cục • void main() •...

Ngày tải lên: 03/12/2015, 22:44

... tu từ Biện pháp tu từ, thế, "là kết hợp ngôn ngữ đặc biệt hoàn cảnh ngôn ngữ cụ thể nhằm mục đích định" [6, 183] Đọc văn Nguyễn Tuân, không loại Nguyễn Tuân không sử dụng biện pháp tu từ, từ ... Dùng từ lạ, độc đáo Vốn nghệ sĩ ngôn từ, Nguyễn Tuân có ý thức giữ gìn, trân trọng làm cho kho từ vựng thêm phong phú Ông biến hoá từ ngữ đặc biệt sáng tạo từ mẻ, lạ tai, xa lạ nhiều ngời Những từ ... câu, từ trạng ngữ, bổ ngữ, liên ngữ, tình thái ngữ, định ngữ giải thích ngữ Có câu nhà văn Nguyễn Tuân vận dụng tới hai thành phần phụ vào câu Các thành phần phụ câu văn Nguyễn Tuân đợc thể từ...

Ngày tải lên: 15/12/2015, 10:49

... Học Quốc Gia TP.HCM BÀI TẬP LẬP TRÌNH HƯỚNG ĐỐI TƯỢNG C++ getch(); } Bài Xây dựng lớp XE gồm thông tin: Nhãn hiệu, Giá, Năm sản xuất yêu cầu thong tin có lớp XE lớp dẫn xuất từ lớp XE phép truy ... TP.HCM BÀI TẬP LẬP TRÌNH HƯỚNG ĐỐI TƯỢNG C++ } cout

Ngày tải lên: 17/08/2012, 10:40

... thiệu Các ngôn ngữ giao tiếp Ngôn ngữ định nghĩa liệu Ngôn ngữ thao tác liệu Ngôn ngữ truy vấn liệu có cấu trúc Ngôn ngữ điều khiển liệu Khoa HTTT - Đại học CNTT Giới thiệu     Là ngôn ngữ chuẩn ... quan hệ Là ngôn ngữ phi thủ tục Khởi nguồn SQL SEQUEL - Structured English Query Language, năm 1974) Các chuẩn SQL  SQL89  SQL92 (SQL2)  SQL99 (SQL3) Khoa HTTT - Đại học CNTT Các ngôn ngữ giao ... Đại học CNTT Các ngôn ngữ giao tiếp  Ngôn ngữ định nghĩa liệu (Data Definition Language - DDL): cho phép khai báo cấu trúc bảng, mối quan hệ ràng buộc  Ngôn ngữ thao tác liệu (Data Manipulation...

Ngày tải lên: 01/09/2012, 08:46

... Thị Kim Dung 22 Bài Ngon ngu SQL Hà Thị Kim Dung 23 Phần 2: Ngôn ngữ thao tác liệu Bài Ngon ngu SQL Hà Thị Kim Dung 24 Chèn, sửa, xóa liệu Table Bài Ngon ngu SQL Hà Thị Kim Dung 25 Bài Ngon ngu ... Dung 35 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 36 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 37 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 38 Kết luận • Ngôn ngữ định nghĩa liệu: ... giản Bài Ngon ngu SQL Hà Thị Kim Dung Một số ý với SQL MSQL 2000 Server Bài Ngon ngu SQL Hà Thị Kim Dung Một số ý với SQL MSQL 2000 Server Bài Ngon ngu SQL Hà Thị Kim Dung Phần 1: Ngôn ngữ định...

Ngày tải lên: 04/09/2012, 08:52

... HOCVIEN×MONHOC Khoa HTTT-Đại học CNTT 20 3 .6 Phép kết 3 .6. 1 Phép kết 3 .6. 2 Phép kết bằng, phép kết tự nhiên 3 .6. 3 Phép kết Khoa HTTT-Đại học CNTT 21 3 .6. 1 Phép kết (Theta-Join) (1)  Theta-join ... thể đặt tên cho quan hệ tạo từ biểu thức ĐSQH  Có thể đổi tên thuộc tính quan hệ tạo từ biểu thức ĐSQH Khoa HTTT-Đại học CNTT Các phép toán 3.1 3.2 3.3 3.4 3.5 3 .6 3.7 3.8 Giới thiệu Phép chọn ... S(B1,B2,…Bn)  Phép tích thường dùng kết hợp với phép chọn để kết hợp có liên quan từ hai quan hệ  Ví dụ: từ hai quan hệ HOCVIEN MONHOC, có tất trường hợp “học viên đăng ký học môn học”, giả...

Ngày tải lên: 04/09/2012, 09:11

... useLocal"

Ngày tải lên: 04/09/2012, 15:25

... ngôn ngữ lập trình bao gồm ngôn ngữ: Ngôn ngữ máy Hợp ngữ Ngôn ngữ bậc cao Các bạn ghi nhớ vai trò ngôn ngữ ngôn ngữ lập trình.\ E Bài tập nhà câu hỏi ôn tập(1') * Nghiên cứu học * Em hiểu ngôn ngữ ... thuật toán cho ta chương trình, ngôn ngữ để viết chương trình gọi ngôn ngữ lập trình Có nhiều loại ngôn ngữ lập trình Để hiểu rõ ngôn ngữ lập trình hôm tìm hiểu ngôn ngữ Thuyết trình: 10' số người ... người ta xây dựng 10' 15' ngôn ngữ lập trình bậc cao, ngôn ngữ viết gần với ngôn ngữ tự nhiên hơn, có tính độc lập cao, phụ thuộc vào loại máy tính Ngôn ngữ bậc cao ngôn ngữ FOTRAN (FORmula TRANslator)...

Ngày tải lên: 07/09/2012, 09:53

... khác 16 4.Các dạng công DoS (tt) d SYN flood attack - Khi hai hệ thống kết nối TCP với nhau,chúng phải bắt tay qua bước client SYN gửi từ clien > sever client < SYN/ACK gửi từ sever ... sever client ACK gửi từ clien -> sever 9/14/12 17 4.Các dạng công DoS (tt) - Sau nhận SYN packet từ A, B trả lời cho A chờ thời gian để nhận SYN packet khác từ A Nếu A không trả lời, ... lạc để nhận lệnh từ người dùng từ xa Ví dụ cụ thể người công, bot Trojan Horse 9/14/12 Bot ứng dụng – Spamming (phát tán thư rác) : Thư rác gửi tới botnet, sau phân phối qua bot từ phát tán tới...

Ngày tải lên: 14/09/2012, 08:40

... từ bàn phím loại hình chọn - Trường hợp chọn hình là: thì: +Nhập cạnh từ bàn phím +Tính diện tích thì: +Nhập chiều dài, chiều rộng từ bàn phím +Tính diện tích thì: +Nhập chiều cao, cạnh đáy từ ... dứt BÀI 17 Viết chương trình giải phương trình bậc hai: ax2 + bx + c = BÀI 18: Viết chương trình giải hệ phương trình: a1x + b1y = c1 a2x + b2y = c2 với a1, a2, b1, b2, c1, c2 nhập từ bàn phím BÀI ... b1, b2, c1, c2 nhập từ bàn phím BÀI 19: Tìm UCLN số nhập từ bàn phím BÀI 20: Nhập số thực x, x>0 tính bậc x, x

Ngày tải lên: 13/11/2012, 16:50