Nghiên cứu một số vấn đề về cơ sở dữ liệu và ứng dụng trong bài toán quản lý dân cư

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ BÙI TRUNG HIẾU NGHIÊN CỨU MỘT SỐ VẤN ĐỀ VỀ CƠ SỞ DỮ LIỆU VÀ ỨNG DỤNG TRONG BÀI TOÁN QUẢN LÝ DÂN CƯ LUẬN VĂN THẠC SĨ: HỆ THỐNG THÔNG TIN Hà Nội - 2016 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ BÙI TRUNG HIẾU NGHIÊN CỨU MỘT SỐ VẤN ĐỀ VỀ CƠ SỞ DỮ LIỆU VÀ ỨNG DỤNG TRONG BÀI TOÁN QUẢN LÝ DÂN CƯ Ngành: Hệ thống thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60.48.01.04 LUẬN VĂN THẠC SĨ: HỆ THỐNG THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: GS TS VŨ ĐỨC THI Hà Nội - 2016 LỜI CẢM ƠN Đầu tiên, xin gửi lời biết ơn sâu sắc đến thầy Giáo sư, Tiến sĩ Vũ Đức Thi, thầy dành nhiều thời gian tâm huyết hướng dẫn giúp tơi hồn thành tốt luận văn tốt nghiệp Thầy định hướng nghiên cứu kiến thức cần thiết hữu ích trọng tâm vấn đề, đồng thời tạo điều kiện thuận lợi cho tơi q trình học tập nghiên cứu đề tài luận văn Tôi xin bày tỏ lịng biết ơn tới thầy, giáo trường Đại học Công nghệ tham gia giảng dạy chia sẻ kinh nghiệm quý báu cho thân Tôi xin gửi lời cảm ơn đến thấy anh chị thường xuyên giúp đỡ, trao đổi, góp ý vấn đề khoa học liên quan tới luận văn Cuối cùng, bày tỏ lòng biết ơn giúp đỡ anh, chị công tác Cục Cảnh sát đăng ký, quản lý cư trú sở liệu quốc gia dân cư; Văn phòng Bộ - quan nơi công tác tạo điều kiện tốt cho thời gian động viên tơi hồn thành luận văn Một lần nữa, tơi xin chân thành cảm ơn ! Hà Nội, tháng 10 năm 2016 Học viên Bùi Trung Hiếu LỜI CAM ĐOAN Những kiến thức trình bày luận văn tơi tìm hiểu, nghiên cứu trình bày lại theo cách hiểu Trong q trình làm luận văn, tơi có tham khảo tài liệu có liên quan ghi rõ nguồn tài liệu tham khảo Tơi xin cam đoan cơng trình nghiên cứu không chép Hà Nội, tháng 10 năm 2016 Học viên Bùi Trung Hiếu MỤC LỤC LỜI CẢM ƠN LỜI CAM ĐOAN DANH MỤC CÁC KÍ HIỆU, TỪ VIẾT TẮT DANH MỤC HÌNH VẼ DANH SÁCH BẢNG BIỂU MỞ ĐẦU CHƢƠNG I MỘT SỐ VẤN ĐỀ VỀ SƠ SỞ DỮ LIỆU 1.1 Những khái niệm 1.1.1 Khái qt mơ hình liệu 1.1.2 Các khái niệm hệ tiên đề Armstrong 1.1.2.1 Quan hệ 1.1.2.2 Phụ thuộc hàm 1.1.2.3 Hệ tiên đề Armstrong 1.1.2.4 Sơ đồ quan hệ 1.2 Những vấn đề liên quan đến khóa 1.2.1 Khóa 1.2.2 Thuật tốn liên quan đến khóa 1.2.2.1 Thuật toán tìm khóa tối tiểu sơ đồ quan hệ 1.2.2.2 Thuật tốn tìm khóa tối tiểu quan hệ 1.3 Chuẩn hóa 1.3.1 Các khái niệm 1.3.2 Các thuật toán liên quan đến chuẩn hóa 1.4 Ngơn ngữ xử lý bảng 1.4.1 Các phép toán 1.4.1.1 Phép hợp (r ∪ t) 1.4.1.2 Phép trừ (r – t) 1.4.1.3 Phép giao (r ∩ t) 1.4.1.4 Tích Đề 1.4.1.5 Phép chiếu 1.4.1.6 Phép chọn 1.4.2 Các phép toán khác 1.4.2.1 Phép chia (r ÷ s) 1.4.2.2 Phép nối θ 1.4.2.3 Phép nối CHƢƠNG II KHO DỮ LIỆU 2.1 Kiến trúc chung kho liệu 2.1.1 Tầng xử lý liệu 2.1.2 Tầng kho liệu 2.1.3 Tầng khai thác liệu 2.2 Một số thành phần kho liệu 2.2.1 Kho liệu DBMS 2.2.2 Nguồn liệu 2.2.3 Siêu liệu meta data 2.2.4 Công cụ truy cập 2.2.5 Kho liệu chủ đề 2.2.6 Quản trị kho liệu 4 2.2.7 Hệ thống thông tin 2.3 Công cụ kho liệu Microsoft 2.3.1 Dịch vụ tich hợp liệu 2.3.2 Dịch vụ Báo cáo 2.3.3 Dịch vụ phân tích 2.3.4 Bộ công cụ phát triển tri tuệ doanh nghiệp 2.3.5 Công cụ quản lý SQL Server 2.3.6 Dịch vụ tác nhân SQL Server CHƢƠNG III THỬ NGHIỆM GIẢI QUYẾT BÀI TOÁN QUẢN LÝ DÂN CƢ 47 3.1 Mơ tả tốn quản lý dân cƣ 3.2 Các tiêu toán quản lý dân cƣ 3.2.1 Nguyên tắc thiết kế 3.2.2 Các yêu cầu thiết kế 3.2.3 Nhu cầu xử lý liệu 3.2.4 Kho liệu gốc công dân 3.3 Hệ thống biểu mẫu 3.3.1 Biểu mẫu thu thập, cập nhật thông tin dân cư 3.3.2 Biểu mẫu thống kê liệu 3.4 Quy mơ tốn 3.4.1 Mục tiêu đầu tư 3.4.2 Quy mô đầu tư 3.5 Phần mềm thủ nghiệm 3.5.1 Mơ hình kiến trúc hệ thống tổng thể 3.5.2 Thiết kế Cơ sở liệu 3.5.3 Thiết kế phần mềm nội 3.5.4 Thiết kế hạ tầng kỹ thuật 3.5.5 Giải pháp sinh mã số định danh cá nhân 3.5.6 Giải pháp khai thác, chia sẻ liệu 3.5.6.1 Giới thiệu chung giải pháp 3.5.6.2 Đối tượng tham gia khai thác, chia sẻ 3.5.6.3 Công cụ khai thác, chia sẻ cung cấp dịch vụ công 3.5.6.4 Nguyên tắc phân quyền khai thác, chia sẻ liệu 3.5.7 Giải pháp đồng liệu Trung tâm liệu Trung tâm liệu dự phòng KẾT LUẬN TÀI LIỆU THAM KHẢO DANH MỤC CÁC KÍ HIỆU, TỪ VIẾT TẮT STT 10 11 12 13 14 15 16 17 18 19 20 21 22 DANH MỤC HÌNH VẼ Hình 1.1 – Quan hệ r1 quan hệ r2 Hình 1.2 – Mối quan hệ lớp quan hệ phụ thuộc hàm Hình 1.3 – Mối quan hệ lớp họ phụ thuộc hàm với hàm đóng Hình 1.4 – Mối quan hệ lớp họ phụ thuộc hàm với lớp hệ Sperner Hình 1.5 – Phân lớp dạng chuẩn sở liệu Hình 1.6 – Quan hệ r quan hệ t Hình 2.1 – Kiến trúc hệ thống Kho liệu Hình 2.2 – Kiến trúc dịch vụ tích hợp SSIS Hình 2.3 – Ví dụ luồng liệu Hình 2.4 – Kiến trúc dịch vụ báo cáo SSRS Hình 2.5 – Kiến trúc dịch vụ phân tích SSAS Hình 2.6 – Màn hình khởi tạo mẫu dự án DW/BI BIDS Hình 2.7 – Màn hình quản lý SQL Server Hình 2.8 – Màn hình tạo cơng việc Hình 3.1 – Biểu mẫu thu thập thơng tin dân cư Hình 3.2 – Biểu mẫu cập nhật, chỉnh sửa thơng tin dân cư Hình 3.3 – Biểu mẫu Tờ khai nhân Hình 3.4 – Biểu mẫu phiếu báo thay đổi hộ khẩu, nhân Hình 3.5 – Biểu mẫu phiếu khai báo tạm vắng Hình 3.6 – Biểu mẫu tờ khai cước công dân Hình 3.7 – Biểu mẫu phiếu thu nhận thơng tin cước cơng dân Hình 3.8 – Biểu mẫu tờ khai xin cấp hộ chiếu Hình 3.9 – Thống kê việc cấp quản lý cước cơng dân Hình 3.10 – Thống kê hộ, nhân Hình 3.11 – Thống kê đăng ký, quản lý cư trú Hình 3.12 – Kiến trúc hệ thống Cơ sở liệu quốc gia dân cư Hình 3.13 – Mơ hình liệu hệ thống Cơ sở liệu quốc gia dân cư Hình 3.14 – Gói phần mềm ứng dụng hệ thống Cơ sở liệu quốc gia dân cư Hình 3.15 – Mơ hình thiết kế tổng thể hạ tầng hệ thống Cơ sở liệu quốc gia dân cư Hình 3.16 – Mơi trường hệ thống Cơ sở liệu quốc gia dân cư DANH SÁCH BẢNG BIỂU Bảng 1.1 – Quan hệ r Bảng 1.2 – Phép nối r t θ Bảng 1.3 – Phép nối r t 79 Chỉ đồng liệu thay đổi: Để tiết kiệm băng thông, thời gian đồng bộ, đồng thời không ảnh hưởng đến hiệu hệ thống, phương pháp đồng CSDL đảm bảo đồng liệu thay đổi - ... CÔNG NGHỆ BÙI TRUNG HIẾU NGHIÊN CỨU MỘT SỐ VẤN ĐỀ VỀ CƠ SỞ DỮ LIỆU VÀ ỨNG DỤNG TRONG BÀI TỐN QUẢN LÝ DÂN CƯ Ngành: Hệ thống thơng tin Chuyên ngành: Hệ thống thông tin Mã số: 60.48.01.04 LUẬN VĂN... ký, quản lý cư trú Hình 3.12 – Kiến trúc hệ thống Cơ sở liệu quốc gia dân cư Hình 3.13 – Mơ hình liệu hệ thống Cơ sở liệu quốc gia dân cư Hình 3.14 – Gói phần mềm ứng dụng hệ thống Cơ sở liệu. .. cụ quản lý SQL Server 2.3.6 Dịch vụ tác nhân SQL Server CHƢƠNG III THỬ NGHIỆM GIẢI QUYẾT BÀI TỐN QUẢN LÝ DÂN CƢ 47 3.1 Mơ tả toán quản lý dân cƣ 3.2 Các tiêu toán quản