12/1/2016 Trƣờng Đại học Kinh tế Quốc dân National Economics University CƠ SỞ DỮ LIỆU © Khoa Tin học Kinh tế Trƣờng Đại học Kinh tế Quốc dân National Economics University Họ tên giảng viên: Địa chỉ: Văn phòng Khoa Tin học kinh tế - Phòng 4.3 nhà 10 Website Khoa, Bộ môn: Số ĐT giảng viên: Email giảng viên: © Khoa Tin học Kinh tế 12/1/2016 Trƣờng Đại học Kinh tế Quốc dân National Economics University KẾ HOẠCH GIẢNG DẠY HỌC PHẦN Trong STT Nội dung Tổng số tiết Lý thuyết Bài tập, thảo luận, kiểm tra Chương 1: Cơ sở liệu mô hình sở liệu 2 Chương 2: Một số ngôn ngữ khai thác sở liệu 15 Chương 3: Lý thuyết thiết kế sở liệu quan hệ 12 Chương 4: Tổ chức liệu vật lý Chương 5: Tối ưu hóa câu truy vấn (câu hỏi) Chương 6: An toàn toàn vẹn liệu 45 27 18 Tổng cộng Ghi Phòng máy tính có kết nối Internet cài đặt phần mềm SQL Microsoft Office © Khoa Tin học Kinh tế Trƣờng Đại học Kinh tế Quốc dân National Economics University Thời điểm kiểm tra học phần: Tuần 10 11 Phƣơng pháp đánh giá học phần: - Điểm lên lớp, thảo luận, thuyết trình: 10% - Điểm kiểm tra: 20% - Điểm thi kết thúc học phần: 70% Yêu cầu giảng viên: © Khoa Tin học Kinh tế 12/1/2016 NỘI DUNG CHƢƠNG TRÌNH • CHƢƠNG 1: CƠ SỞ DỮ LIỆU VÀ MỘT SỐ MÔ HÌNH CƠ SỞ DỮ LIỆU • CHƢƠNG 2: MỘT SỐ NGÔN NGỮ KHAI THÁC CƠ SỞ DỮ LIỆU • CHƢƠNG 3: LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ • CHƢƠNG 4: TỔ CHỨC DỮ LIỆU VẬT LÝ • CHƢƠNG TỐI ƢU HOÁ TRUY VẤN (CÂU HỎI) • CHƢƠNG 6: AN TOÀN VÀ TOÀN VẸN DỮ LIỆU © Khoa Tin học Kinh tế TÀI LIỆU THAM KHẢO + Jeffrey Ullman, Nguyên lý hệ sở liệu sở tri thức (3 tập) – NXB Thống kê + Nguyễn Kim Anh Nguyên lý hệ sở liệu Nhà xuất Đại học Quốc gia Hà nội, 2004 + Nguyễn An Tuế Giáo trình Nhập môn Cơ sở liệu quan hệ Khoa CNTT, ĐHKHTN, Đại học Quốc gia TP HCM, 1996 + Nguyễn Bá Tƣờng Cơ sở liệu: Lý thuyết thực hành Nhà xuất khoa học kỹ thuật, 2001 + Lê Tiến Vƣơng Nhập môn Cơ sở liệu quan hệ Nhà xuất khoa học kỹ thuật, 2000 © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu Chương giới thiệu khái niệm chung hệ sở liệu như: Cơ sở liệu là gì, phân loại CSDL, đối tượng sử dụng CSDL, hệ quản trị CSDL, mức biểu diễn CSDL, kiến trúc tổng quan hệ quản trị CSDL, tính độc lập CSDL chương trình Các mô hình sở liệu © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.1 Tổng quan sở liệu 1.1.1 Tầm quan trọng sở liệu - Dƣ thừa liệu tính không quán (Data redundancy and inconsistency) - Khó khăn việc truy xuất liệu - Sự cô lập liệu (Data isolation) - Các vấn đề tính toàn vẹn - Tính bất thƣờng truy xuất cạnh tranh - Vấn đề an toàn (Security problems) © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.1 Tổng quan sở liệu 1.1.2 Lịch sử phát triển sở liệu • 60 Mô hình mạng phân cấp Đối tƣợng Không Riêng biệt • 70 Mô hình quan hệ Giá trị Có Riêng biệt • 80 Mô hình sở hƣớng đối tƣợng Đối tƣợng Không Tích hợp • 90 Mô hình sở tri thức Giá trị Có Tích hợp • Nay Mô hình sở liệu Web Giá trị Có Tích hợp © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.1 Tổng quan sở liệu 1.1.3 Các khái niệm sở liệu © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.1 Tổng quan sở liệu 1.1.3 Các khái niệm sở liệu + Cơ sở liệu • Ƣu điểm CSDL • Vấn đề cần giải • Các đối tƣợng sử dụng sở liệu + Hệ quản trị sở liệu • Các thành phần hệ QTCSDL • + Hệ sở liệu © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.1 Tổng quan sở liệu 1.1.4 Phân loại hệ sở liệu + Hệ CSDL tập trung • Hệ CSDL cá nhân • Hệ CSDL trung tâm • Hệ CSDL khách/chủ + Hệ CSDL phân tán • Hệ CSDL phân tán • Hệ CSDL phân tán không © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các mức biểu diễn sở liệu 1.2.1 Lược đồ và thể © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các mức biểu diễn sở liệu 1.2.2 Tổ chức sở liệu vật lý - Mức thấp trừu tƣợng - Nó tồn thiết bị lƣu trữ - Đây mức lƣu trữ CSDL – mức +Vấn đề cần giải • Dữ liệu gì, đƣợc lƣu trữ nào? • Ở đâu? (đĩa từ, băng từ, track, sector,… nào?) •Cần mục gì? - Ngƣời sử dụng chuyên môn © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các mức biểu diễn sở liệu 1.2.3 Lược đồ mức khái niệm mô hình liệu - Trừu tƣợng hóa giới thực + CSDL cần lƣu giữ loại liệu? + Đó liệu gì? + Mối quan hệ liệu nhƣ nào? - Dữ liệu cần thiết đƣa vào CSDL - Mô tả mối quan hệ liệu © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các mức biểu diễn sở liệu 1.2.4 Mức khung nhìn (Views) - Mức hay gọi lƣợc đồ - Mức ngƣời sử dụng chƣơng trình ứng dụng - Có thể nhìn thấy toàn phần CSDL - Có thể cấu trúc tổ chức lƣu trữ thông tin CSDL - Chỉ làm việc với phần CSDL © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.3 Kiến trúc tổng quát hệ quản trị CSDL © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.3 Kiến trúc tổng quát hệ quản trị CSDL © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.3 Kiến trúc tổng quát hệ quản trị CSDL © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.4 Các mô hình sở liệu 1.4.1 Mô hình thực thể - liên kết (mô hình ER) - Các khái niệm sở + Các tập thực thể: + Các thuộc tính khóa + Các liên kết - Sơ đồ thực thể liên kết - Tính liên kết © Khoa Tin học Kinh tế 10 12/1/2016 CHƢƠNG Tổ chức liệu vật lý 4.3 Tổ chức tệp băm (Hashed Files) 4.3.1 Tổ chức tệp liệu Khái niệm hàm băm (hashed function): Cho k số nguyên dƣơng, hàm băm (kí hiệu hk(x)) đƣợc xác định hk(x) = x mod k Hàm băm nhận giá trị khoảng [0, k] © Khoa Tin học Kinh tế CHƢƠNG Tổ chức liệu vật lý 4.3 Tổ chức tệp băm (Hashed Files) 4.3.2 Các thao tác tổ chức băm a Tìm kiếm ghi b Thêm ghi c Xóa ghi d Sửa ghi e Ví dụ minh họa © Khoa Tin học Kinh tế 52 12/1/2016 CHƢƠNG Tổ chức liệu vật lý 4.4 Tổ chức tệp dẫn (Indexed File) 4.4.1 Tổ chức tệp liệu • Một dẫn (còn gọi mục tệp có ý nghĩa nhƣ danh mục nhằm cải thiện tốc độ cho việc tìm kiếm tra cứu • Việc tổ chức tệp dẫn nhằm tạo tệp từ tệp liệu ban đầu cho tệp hỗ trợ tệp ban đầu việc thực số thao tác (Ví dụ: Thêm, cập nhật, xoá, sửa ) © Khoa Tin học Kinh tế CHƢƠNG Tổ chức liệu vật lý 4.4 Tổ chức tệp dẫn (Indexed File) 4.4.2 Các thao thác tổ chức dẫn a Tìm kiếm ghi b Thêm ghi c Xóa ghi d Sửa ghi e Ví dụ minh họa © Khoa Tin học Kinh tế 53 12/1/2016 CHƢƠNG Tổ chức liệu vật lý 4.4 Tổ chức tệp dẫn (Indexed File) 4.4.2 Các thao thác tổ chức dẫn a Tìm kiếm ghi b Thêm ghi c Xóa ghi d Sửa ghi e Ví dụ minh họa © Khoa Tin học Kinh tế CHƢƠNG Tổ chức liệu vật lý 4.5 Balanced Trees (B - Cây) 4.5.1 Tổ chức tệp liệu Cây cân (B-cây) đƣợc tổ chức theo cấp m thoả mãn đồng thời tính chất: Nút gốc cây: nút có hai Mỗi nút nhánh (trừ nút nút gốc) có từ [m/2] đến m Mọi đƣờng từ nút gốc đến nút có độ dài © Khoa Tin học Kinh tế 54 12/1/2016 CHƢƠNG Tổ chức liệu vật lý 4.5 Balanced Trees (B - Cây) 4.5.2 Các thao tác tổ chức tệp liệu a Tìm kiếm ghi b Bổ sung ghi c Loại bỏ ghi © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) Chương này trình bày vấn đề tối ưu hoá truy vấn (câu hỏi) Cơ sở liệu như: Tổng quan xử lý truy vấn và tối ưu hoá truy vấn, mô hình chi phí truy vấn, đánh giá biểu thức đại số quan hệ, tối ưu hoá biểu thức đại số quan hệ, thuật toán tối ưu hoá biểu thức đại số quan hệ © Khoa Tin học Kinh tế 55 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.1 Tổng quan xử lý truy vấn tối ƣu hóa 5.1.1 Tổng quan xử lý truy vấn © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.1 Tổng quan xử lý truy vấn tối ƣu hóa 5.1.2 Tổng quan tối ƣu hoá truy vấn Tối ƣu hóa truy vấn nhằm chọn điểm tốt không gian lời giải tất chiến lƣợc khả hữu – Biến đổi câu vấn tin cấp cao thành câu vấn tin tƣơng đƣơng mức thấp nhƣng cho kết Có nhiều phƣơng pháp tối ƣu hóa vấn tin, ngƣời sử dụng lựa chọn cách thức để giảm thời gian vấn thực giảm thiểu việc sử dụng chi phí tài nguyên © Khoa Tin học Kinh tế 56 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.2 Mô hình chi phí truy vấn 5.2.1 Các thông tin sử dụng để đánh giá chi phí Bộ tối ƣu hóa phải sử dụng thông tin thống kê đƣợc lƣu trữ thƣ mục hệ quản trị sở liệu để ƣớc lƣợng chi phí cho kế hoạch Các thông tin cần cho trình ƣớc lƣợng bao gồm - nr : số quan hệ r - br : số khối chứa quan hệ r - sr : kích thƣớc quan hệ r tính theo byte - fr : số quan hệ r mà khối chứa - V(A,r) : số giá trị phân biệt thuộc tính A quan hệ r - SC(A, r) : lực lƣợng kết chọn thuộc tính A quan hệ r © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.2 Mô hình chi phí truy vấn 5.2.2 Các đơn vị đo chi phí truy vấn - Chi phí việc đánh giá truy vấn đƣợc đo chi phí sử dụng tài nguyên khác để đánh giá truy vấn - Các truy nhập đĩa - Thời gian thực truy vấn - Chi phí truyền tải thông tin liệu đƣờng truyền © Khoa Tin học Kinh tế 57 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.3 Đánh giá biểu thức đại số quan hệ • Kết bƣớc phân tích dịch truy vấn đƣa vào từ ngƣời sử dụng biểu thức đại số quan hệ Với câu hỏi phức tạp, biểu thức đại số thƣờng gồm nhiều phép toán tác động nhiều quan hệ khác Việc thực biểu thức đại số tốn nhiều thời gian nhớ Kết bƣớc thƣờng đƣợc sử dụng làm toán hạng cho bƣớc tiếp theo, có cách thức xử lý • Ghi kết vào đĩa thông qua quan hệ tạm thời – vật chất hóa • Chuyển kết đến phép toán mà không lƣu trữ - đƣờng ống © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4.Tối ƣu hoá biểu thức đại số quan hệ 5.4.1 Các chiến lƣợc tối ƣu tổng quát 1/ Thực phép chọn phép chiếu sớm 2/ Tổ hợp phép chọn xác định với tích Đề-các thành phép kết nối 3/ Tổ hợp dãy phép toán mộ nhƣ phép chọn phép chiếu 4/ Xác định biểu thức chung biểu thức 5/ Xử lý tệp trƣớc tính toán phép kết nối (hay tƣơng đƣơng với phép tích Đề-các theo sau phép chọn) 6/ Ƣớc lƣợng chi phí lựa chọn thứ tự thực thích hợp © Khoa Tin học Kinh tế 58 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4.Tối ƣu hoá biểu thức đại số quan hệ 5.4.2 Biểu thức tƣơng đƣơng Hai biểu thức E1 E2 đƣợc gọi tƣờng đƣơng (E1 E2) chúng biểu diễn ánh xạ, nghĩa thay quan hệ vào tên biến giống hai biểu thức đƣợc kết 1/ Quy tắc giao hoán phép kết nối phép tích Đề-các • E1 ⋈ E2 E2 ⋈ E1 • E1 x E E2 x E 2/ Quy tắc kết hợp phép kết nối phép tích Đề-các • (E1 ⋈ E2) ⋈ E3 E1 ⋈ (E2 ⋈ E3) • (E1 x E2) x E3 E1 x (E2 x E3) © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4.Tối ƣu hoá biểu thức đại số quan hệ 5.4.2 Biểu thức tƣơng đƣơng 3/ Dãy phép chiếu • Nếu X tập thuộc tính Y • x(y(E)) x(E) 4/ Dãy phép chọn • σF1(σF2(E)) σF1 ^ F2 (E) 5/ Giao hoán phép chọn phép chiếu • σF(x(E) x(σF (E)) Nếu điều kiện chọn F liên quan đến tập thuộc tính Y Y không nằm X • σF(x(E) x(σF (xy(E))) © Khoa Tin học Kinh tế 59 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4.Tối ƣu hoá biểu thức đại số quan hệ 5.4.2 Biểu thức tƣơng đƣơng 6/ Giao hoán phép chọn tích Đề -các • σF(E1 x E2) σF(E1) x E2 7/ Giao hoán phép chọn phép tập hợp • σF(E1 E2) σF(E1) σF (E2) 8/ Giao hoán phép chọn phép hiệu tập hợp • σF(E1 - E2) σF(E1) - σF (E2) 9/ Giao hoán phép chiếu với phép tích Đề-các • x(E1 x E2) y(E1) x z(E2) 10/ Giao hoán phép chiếu với phép hợp • x(E1 E2) x (E1) x (E2) © Khoa Tin học Kinh tế CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4 Tối ƣu hóa lớp biểu thức Một câu hỏi biểu diễn dƣới dạng bảng Để xác định bảng câu hỏi ta cần giả thiết tập thuộc tính quan hệ quan sát nhƣ nhau, nghĩa thuộc tính có tên quan hệ khác có ý nghĩa thuộc tính có ý nghĩa khác phải đặt tên khác © Khoa Tin học Kinh tế 60 12/1/2016 CHƢƠNG Tối ƣu hóa truy vấn (câu hỏi) 5.4 Tối ƣu hóa lớp biểu thức a Câu hỏi hội bảng b.Định nghĩa bảng c Tính tƣơng đƣơng bảng d.Ánh xạ e Tối thiểu hóa bảng © Khoa Tin học Kinh tế CHƢƠNG An toàn toàn vẹn liệu • Trong trình khai thác sở liệu có nhiều mối nguy hiểm đến liệu, buộc hệ quản trị sở liệu phải bảo vệ: • - Việc sử dụng sở liệu với mục đích xấu • - Những sai sót ngoài ý muốn • Chương này có nội dung an toàn liệu và tính toàn vẹn liệu, giúp sinh viên có nhìn nhận đắn cần thiết phải bảo vệ liệu cách thức nâng cao khả bảo vệ liệu sở liệu © Khoa Tin học Kinh tế 61 12/1/2016 CHƢƠNG An toàn toàn vẹn liệu 6.1 An toàn liệu 6.1.1 Xác minh ngƣời sử dụng Những ngƣời dung khác có vai trò, trách nhiệm quyền hạn khác Các hệ quản trị sở liệu phải đảm bảo không cho phép ngƣời sử dụng thực thao tác sở liệu không đƣợc phép - Xác định cho hệ thống quyền hay thao tác cụ thể ngƣời sử dụng đƣợc phép thực - Cung cấp phƣơng tiện cho ngƣời sử dụng để hệ thống nhận biết đƣợc © Khoa Tin học Kinh tế CHƢƠNG An toàn toàn vẹn liệu 6.1 An toàn liệu 6.1.2 Kiểm tra truy nhập - Hệ sở liệu phải tiến hành quản lý hồ sơ ngƣời sử dụng + Xác định ngƣời sử dụng; + Các thủ tục xác minh; + Kiểm sát thao tác thực - Ngƣời thiết kế, quản trị mạng phải thực + Phân quyền ngƣời sử dụng + Bảo trì lan truyền quyền © Khoa Tin học Kinh tế 62 12/1/2016 CHƢƠNG An toàn toàn vẹn liệu 6.1 An toàn liệu 6.1.3 Các khung nhìn nhƣ chế bảo vệ - Cho phép xây dụng chƣơng trình ứng dụng - Cho phép định nghĩa lại sở liệu mức logic - Tăng cƣờng tính độc lập liệu mức logic Công cụ khung nhìn - Các ngôn ngữ đại số túy QBE - Các ngôn ngữ cho phép đọc, ghi đối tƣợng © Khoa Tin học Kinh tế CHƢƠNG An toàn toàn vẹn liệu 6.1 An toàn liệu 6.1.4 Các lệnh an toàn liệu SQL - Tạo khung nhìn cho ngƣời sử dụng CREATE VIEW [()] AS - Tuyên bố kiểm tra quyền truy cập GRANT ON TO [WITH GRANT OPTION] - Hủy bỏ quyền truy nhập REVOKE ON FROM © Khoa Tin học Kinh tế 63 12/1/2016 CHƢƠNG An toàn toàn vẹn liệu 6.2 Toàn vẹn liệu 6.2.1 Các ràng buộc toàn vẹn - Các ràng buộc miền CONSTRAINT CHECK - Các ràng buộc khóa CONSTRAINT [PRIMARY KEY ]/[UNIQUE KEY]/[FOREIGN KEY] © Khoa Tin học Kinh tế CHƢƠNG An toàn toàn vẹn liệu 6.2 Toàn vẹn liệu 6.2.2 Các khẳng định Một khẳng định vị từ biểu thị điều kiện muốn sở liệu thỏa mãn CREATE ASSERTION CHECK Khi khẳng định đƣợc tạo lập, hệ thống kiểm tra tính hiệu lực Khi khẳng định có hiệu lực sau thay đổi đƣợc thực khẳng định không bị vi phạm © Khoa Tin học Kinh tế 64 12/1/2016 CHƢƠNG An toàn toàn vẹn liệu 6.2 Toàn vẹn liệu 6.2.3 Các kích hoạt Một kích hoạt thị đƣợc thực cách tự động hệ thống nhƣ tác động phụ thay đổi Để thiết kê kích hoạt cần đáp ứng - Đặc tả điều kiện - Đặc tả hành động Đƣợc dung để báo động hay thực nhiệm vụ định cách tự động điều kiện đƣợc đáp ứng © Khoa Tin học Kinh tế CHƢƠNG An toàn toàn vẹn liệu 6.2 Toàn vẹn liệu 6.2.3 Các kích hoạt Một số nguyên tắc - Chỉ đƣợc kiểm tra kiện, đặc tả xuất - Ngăn chặn kiện vừa phát sinh kích hoạt kiểm tra điều kiện - Khi điều kiện kích hoạt đƣợc thỏa mãn, hành động kết hợp với kích hoạt đƣợc thực hệ quản trị sở liệu © Khoa Tin học Kinh tế 65 12/1/2016 CHƢƠNG An toàn toàn vẹn liệu 6.2 Toàn vẹn liệu 6.2.4 Các phụ thuộc hàm Một kiểu ràng buộc đặc biệt đƣợc gọi phụ thuộc hàm, xác định ràng buộc tập quan hệ, cho phép biểu diễn kiện đƣợc mô hình hóa sở liệu Phụ thuộc hàm tổng quát hóa khái niệm khóa, cho phép biểu diễn ràng buộc không biểu diễn đƣợc qua ràng buộc khóa © Khoa Tin học Kinh tế 66 ... không © Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các mức biểu diễn sở liệu 1.2.1 Lược đồ và thể © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.2 Các... Khoa Tin học Kinh tế 12/1/2016 CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.3 Kiến trúc tổng quát hệ quản trị CSDL © Khoa Tin học Kinh tế CHƢƠNG Cơ sở liệu số mô hình sở liệu 1.4 Các mô hình sở liệu... thúc học phần: 70% Yêu cầu giảng viên: © Khoa Tin học Kinh tế 12/1/2016 NỘI DUNG CHƢƠNG TRÌNH • CHƢƠNG 1: CƠ SỞ DỮ LIỆU VÀ MỘT SỐ MÔ HÌNH CƠ SỞ DỮ LIỆU • CHƢƠNG 2: MỘT SỐ NGÔN NGỮ KHAI THÁC CƠ SỞ