Một số mô hình cơ sở dữ liệu mở rộng : Luận văn ThS. Công nghệ thông tin : 60 48 05

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ NGỌC TÚ MỘT SỐ MƠ HÌNH CƠ SỞ DỮ LIỆU MỞ RỘNG LUẬN VĂN THẠC SỸ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2013 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ NGỌC TÚ MỘT SỐ MƠ HÌNH CƠ SỞ DỮ LIỆU MỞ RỘNG Ngành: Công nghệ thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60 48 05 LUẬN VĂN THẠC SĨ HỆ THỐNG THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: TS Nguyễn Tuệ Hà Nội – 2013 LỜI CẢM ƠN Lời em xin chân thành cảm ơn thầy giáo TS Nguyễn Tuệ cho em nhiều ý kiến đóng góp q báu, tận tình hƣớng dẫn giúp đỡ em mặt kiến thức, nhƣ tài liệu để em hồn thành luận văn Em xin gửi lời cảm ơn đến Ban Giám hiệu, phòng ban, khoa sau đại học trƣờng Đại Học Công Nghệ tạo điều kiện cho em suốt q trình khóa học Em bày tỏ lịng biết ơn sâu sắc đến thầy giáo, giáo trƣờng trƣờng Đại Học Công Nghệ - Đại học Quốc Gia Hà Nội thầy giáo, cô giáo tham gia giảng dậy, hƣớng dẫn, bảo em suốt trình học Và em xin gửi lời cảm ơn đến bạn bè, gia đình đồng nghiệp có động viên, khuyến khích hỗ trợ cần thiết để em hoàn thành luận văn Hà Nội, ngày tháng năm 2013 Nguyễn Thị Ngọc Tú LỜI CAM ĐOAN Tôi xin cam đoan luận văn “ Một số mơ hình sở liệu mở rộng” cơng trình nghiên cứu tơi dƣới hƣớng dẫn khoa học TS Nguyễn Tuệ, tham khảo nguồn tài liệu đƣợc ghi rõ trích dẫn danh mục tài liệu tham khảo Các nội dung cơng bố kết trình bày luận văn hoàn toàn trung thực Hà Nội, ngày tháng 10 năm 2103 Học viên (kí ghi rõ họ tên) Nguyễn Thị Ngọc Tú MỤC LỤC DANH MỤC HÌNH VẼ KÝ HIỆU VIẾT TẮT MỞ ĐẦU CHƢƠNG 1: TỔNG QUAN VỀ MƠ HÌNH CƠ SỞ DỮ LIỆU MỞ RỘNG 10 1.1 Một số mơ hình CSDL mở rộng 10 1.2 Mơ hình sở liệu tích cực( Active database) 10 1.2.1 Quy tắc ECA (Event- Condition -Action) 10 1.2.1.1 Sự kiện (Event) 11 1.2.1.2 Điều kiện(Condition) 12 1.2.1.3 Hành động(active) 13 1.2.2 Mơ hình tổng qt CSDL tích cực 14 1.2.3 Thiết kế cài đặt CSDL tích cực 19 1.3 Mơ hình sở liệu thời gian(Temporal database) 20 1.3.1.Quan hệ thời gian hợp lệ 22 1.3.2.Quan hệ thời gian giao tác 24 1.3.3.Quan hệ theo hai loại thời gian 25 1.3.4.Thiết kế sở liệu thời gian 27 1.4 Mơ hình sở liệu khơng gian (spatial database) 28 1.4.1 Đặc trƣng CSDL không gian 28 1.4.2 Hình học mơ hình liệu DBMS 31 1.4.3 Một số toán GIS 35 CHƢƠNG 2: POSTGRESQL VÀ POSTGIS 36 2.1 POSTGRESQL 36 2.1.1 Giới thiệu hệ quản trị sở liệu PostgreSQL 36 2.1.2 Các chức hệ quản trị CSDL PostgreSQL 37 2.1.3 Các lệnh thao tác với hệ quản trị CSDL Postgresql 37 2.1.4 Cài đặt hệ quản trị CSDL PostgreSQL 41 2.2 POSTGIS 44 2.2.1 Giới thiệu POSTGIS 44 2.2.2 Chức Postgis 44 2.2.3 Cách lệnh thao tác PostGis 45 2.2.4 Thực cài đặt PostGis 56 2.3 Chỉ mục 56 2.3.1 Chỉ mục GIST 57 2.3.2 Sử dụng mục 57 CHƢƠNG 59 3.1 Phân tích toán 59 3.1.1 Nguồn liệu đầu vào phạm vi toán 59 3.1.2 Phƣơng pháp kỹ thuật giải toán 60 3.1.3 Xây dựng chƣơng trình ứng dụng 60 3.2 Xây dựng sở liệu 62 3.2.1 Tạo bảng sở liệu 62 3.2.2 Tạo Trigger, hàm toán 64 3.3 Thử nghiệm đánh giá thuật toán 69 KẾT LUẬN 70 TÀI LIỆU THAM KHẢO 71 DANH MỤC HÌNH VẼ Hình 1.1: Mơ hình sở liệu tích cực( Active Database) 10 Hình 1.2 : Ngữ cảnh mà quy tắc đƣợc xử lý[7] 12 Hình 1.3: Mơ hình ECA (Event- Condition -Action) 15 Hình 1.4: Cơ sở liệu thời gian( Temporal database) 21 Hình 1.5: Mơ hình CSDL thời gian 22 Hình 6: Các loại CSDL quan hệ theo thời gian khác 23 Hình 1.7.Quan hệ thời gian hợp lệ NHANVIEN_VT DONVI_VT 24 Hình 1.8 Các quan hệ theo hai loại thời gian 25 Hình 1.9: Điểm (Point) 30 Hình 1.10: Đƣờng – Cung (Line- Arc) 31 Hình 1.11: Vùng(polygon) 31 Hình1.12: Mơ hình vector 34 Hình 1.13: Mơ hình raster 34 Hình 2.1: Một số lệnh hệ quản trị CSDL PostgreSQl 39 Hình 2.2: Nhóm lệnh chung psql 40 Hình 2.3: Nhóm lệnh truy vấn đệm psql 40 Hình 2.4: Nhóm lệnh vào/ra psql 40 Hình 2.5 Nhóm lệnh định dạng 40 Hình Kết kiểm tra tính tống chiều dài biên giới đƣờng Việt Nam 42 Hình 2.7: Kết kiểm tra tính tổng độ dài đƣờng chạy qua địa phân Hà Nội 43 Hình 2.8 Đƣờng viền 46 Hình 2.9: Một số hàm PostGis 47 Hình 2.10 A Intersection(B) 51 Hình 2.11: A Difference(B) B Difference(A) 52 Hình 2.12 A Union(B) 52 Hình 2.13 A SymDifference(B) 53 Hình 2.14: Hàm Bssuffer 54 Hình 2.15: kết sử dụng hai hàm ST_Distance() ST_AsText() 56 Hình 3.1: Mơ hình Use – case 62 Bảng 3.1: Station 62 Bảng 3.2: Points 63 Bảng 3.3: Bus 63 Bảng 3.4: GoBus 63 Hình 3.2Trang chủ website hệ thống quản lý xe buýt Hà Nội 67 Hình 3.3.Trang tin tức giao thơng 67 Hình 3.4: Cập nhật thơng tin điểm xe buýt 68 Hinh 3.5 : Cập nhật thông tin chi tiết trạm xe buýt 68 Hinh3.6: Cập nhật thông tin chi tiết tuyến xe buýt hoạt động 69 KÝ HIỆU VIẾT TẮT Stt Từ viết tắt CSDL CNTT DBMS DB ECA SQL UC GIS TST TET VST VET 10 11 12 Tiếng Anh Tiếng Việt Cơ sở liệu Công nghệ thông tin Data Base Manager System Hệ quản trị sở liệu Data base Cơ sở liệu Sự kiện – điều kiện – hành Event- Condition -Action động Ngơn ngữ truy vấn mang tính Structured Query Language cấu trúc Until Changed Cho đến thay đổi Geographic Information System Hệ thông tin địa lý Transactiion Start Time Thời gian giao dịch bắt đầu Transactiion End Time Thời gian giao dịch kết thúc Valid Start Time Thời gian bắt đầu có hiệu lực Valid End Time Thời gian kết thúc hiệu lực MỞ ĐẦU Ngày nay, ngành Công nghệ thông tin phát triển có nhiều ứng dụng vào lĩnh vực sống Trong ứng dụng có mơ hình sở liệu đóng vai trị quan trọng Để đáp ứng đƣợc việc ứng dụng liên quan đến xử lý thông tin phức tạp, việc mở rộng mơ hình sở liệu cần thiết Mục đích luận văn nghiên cứu giới thiệu số mơ hình sở liệu mở rộng (cơ sở liệu tích cực, sở liệu thời gian sở liệu không gian) sâu nghiên cứu nghiên cứu hệ quản trị sở liệu không gian (PostgreSQL, PostGis) xây dựng ứng dụng quản lý xe buýt Luận văn bao gồm ba chƣơng: Chƣơng 1: Tổng quan sở liệu mở rộng Chƣơng trình bày số mơ hình CSDL mở rộng nhƣ sở liệu tích cực, sở liệu thời gian sở liệu không gian với ứng dụng chúng Chƣơng 2: Hệ quản trị CSDL postgreSQL Postgis Chƣơng trình bày nghiên cứu hệ quản trị CSDL PostgreSQL PostGis, cách lƣu trữ liệu câu lệnh truy vấn liệu chúng Chƣơng 3: Xây dựng chƣơng trình quản lý đồ xe bt Hà Nội Chƣơng trình bày tốn quản lý xe buýt, xây dựng sở liệu lập trình demo hoạt động quản lý Cuối cùng, phần kết luận, tổng kết lại công việc làm luận văn, khuyết điểm hạn chế nhƣ hƣớng phát triển 10 CHƢƠNG 1: TỔNG QUAN VỀ MƠ HÌNH CƠ SỞ DỮ LIỆU MỞ RỘNG 1.1 Một số mơ hình CSDL mở rộng Cùng với phát triển công nghệ thơng tin , mơ hình sở liệu quan hệ có nhiều ứng dụng quản lý nhƣ nhiều lĩnh vực khác Tuy nhiên q trình ứng dụng có nhiều vấn đề nảy sinh Chẳng hạn, việc đảm bảo ràng buộc toàn vẹn cập nhật liệu, việc ghi lại lịch sử biến đổi liệu nhu cầu mở rộng thêm kiểu liệu Vì vậy, ngƣời ta đề nghị số mơ hình mở rộng để đáp ứng ứng dụng Trong phần xin trình bày ngắn gọn mơ hình mở rộng Cụ thể luận văn trình bày sở liệu tích cực, sở liệu thời gian sở liệu không gian 1.2 Mơ hình sở liệu tích cực( Active database) Cơ sở liệu tích cực sở liệu cộng với tập quy tắc tích cực (active rules) Các quy tắc đƣợc tự động kích hoạt sau kiện cập nhật nhƣ (insert, delete, update) sở liệu, nhằm đảm bảo tính tồn vẹn sở liệu Hình 1.1: Mơ hình sở liệu tích cực( Active Database) 1.2.1 Quy tắc ECA (Event- Condition -Action) Mơ hình đƣợc sử dụng để rõ quy tắc sở liệu tích cực đƣợc tham chiếu đến nhƣ mơ hình ECA Một quy tắc mơ hình ECA có thành phần 58 rows retrieved Thời gian truy vấn sau đánh mục cho cột thời gian The_geom Total query runtime: 0ms rows retrieved Qua tác dụng việc đánh mục, thời gian truy vấn giảm gấp nhiều lần Với số bảng lớn gấp nhiều lần thấy tác dụng việc đánh mục Công cụ đánh mục giúp ích nhiều q trình thực truy vấn hệ thống, thời gian mà hệ thống để dành thực truy vấn đƣợc giảm lƣợng đáng kể Tuy nhiên, chỉ nên đánh mục bảng, cột thƣờng xun đƣợc sử dụng cho mục đích tìm kiếm liệu 59 CHƢƠNG ÁP DỤNG: CHƢƠNG TRÌNH QUẢN LÝ XE BUÝT THÀNH PHỐ HÀ NỘI 3.1 Phân tích tốn Mở rộng ƣu tiên hệ thống xe buýt công cộng nội thành Hà Nội sách trọng điểm nhà nƣớc nói chung thành phố Hà Nội nói riêng, nhằm chống tắc nghẽn giao thông, giảm ô nhiễm môi trƣờng, giảm thiểu phƣơng tiện cá nhân, đẩy mạnh công tác an tồn giao thơng tiến tới hệ thống giao thơng an tồn đại u cầu tốn tìm địa điểm, vị trí trạm, điểm xe buýt có tuyến xe buýt nằm gần khu vực có nhiều tiện ích nhƣ trƣờng học, bến xe, khách sạn, khu vui chơi giải trí hay chung cƣ, …,những tuyến xe buýt đƣợc phép hoạt động, hay tuyến xe buýt bị chuyển bị cấm tuyến phố Lịch trình địa điểm đi, địa điểm đến, thời gian chạy tuyến xe buýt, từ khởi hành đến dừng hành trình để đảm bảo cho hành khách tìm kiếm thơng tin nhƣ hành khách tham gia tuyến xe buýt, thực cảm thấy thoải mái đảm bảo chất lƣợng phục vụ, an toàn tuyến xe lựa chọn Trong khn khổ luận văn, sở để giải toán dựa việc lƣu trữ liệu sở liệu mở rộng, sở liệu tích cực, thời gian không gian, cụ thể thực cập nhật thơng tin, chỉnh sửa, xóa,… tuyến xe đƣợc phép Bộ giao thông UBNDTP Hà Nội cách tự động, từ hỗ trợ hành khách lựa chọn tuyến xe an toàn, đảm bảo chất lƣợng Chƣơng làm rõ tốn nhƣ tính khả thi thơng qua việc xem xét yếu tố định đến kết toán, yếu tố bao gồm - Dữ liệu đầu vào - Phạm vi toán - Phƣơng pháp kỹ thuật sử dụng để giải toán 3.1.1 Nguồn liệu đầu vào phạm vi toán Trong số nguồn tài liệu liệu đồ số mà học viên tiếp cận đƣợc, liệu đồ thành phố Hà nội phong phú nhất, có 21 lớp thơng tin đồ, đƣợc chia thành nhóm thơng tin nhƣ, nhóm lớp thơng tin đồ nền, nhóm văn hóa, giáo dục y tế, kinh doanh giao thông… Trong lớp thông tin chủ yếu tập trung khu vực nội thành lớp thơng tin có ý nghĩa u cầu đặt toán chủ yếu lớp thơng tin dạng điểm tiện ích nhƣ Khu hành chính(sở ban ngành, bệnh viện, trƣờng học) 60 Siêu thị, ngân hàng, địa điểm trạm dừng xe buýt Nhƣ vậy, liệu đầu vào sử dụng cho toán chủ yếu liệu không gian phi không gian Trong liệu khơng gian nhƣ tập hợp đối tƣợng hình học (điểm, đƣờng, mặt) để mơ tả tọa độ hình dạng đối tƣợng đồ, liệu phi không gian thông tin (thuộc tính)của đối tƣợng đồ ví dụ (tên đƣờng, chiều dài đoạn đƣờng,…), tất đƣợc dùng để mô tả lớp đồ nhƣ lớp đồ sơng ngịi, đồ giao thơng đƣờng bộ, lớp đồ giao thông đƣờng xe buýt,….Ở đây, ta xét cách mô tả lớp đồ giao thông liệu không gian, phạm vi chủ yếu nội thành Hà nội 3.1.2 Phƣơng pháp kỹ thuật giải toán Hệ quản trị sở liệu PostgreSQL 9.1 hỗ trợ để xây dựng bảng lƣu trữ điểm, trạm tuyến xe buýt; viết trigger, function,… với pgAminIII Chƣơng trình sử dụng API đồ họa Google Map làm đồ họa cho website: Xebuyt.org Lập trình web với Asp.net (C#) chƣơng trình chính, trang tin tức giới thiệu sử dụng PHP với mã nguồn mở (Wordpress) 3.1.3 Xây dựng chƣơng trình ứng dụng Hiện thành phố Hà Nội có nhiều tuyến xe buýt nội thành từ nội thành đến điểm ngoại thành đến thành phố vệ tình, tuyến xe buýt đơn vị chủ quản, đơn vị chủ quản phụ trách hay nhiều tuyến xe buýt khác Mỗi tuyến xe bt theo lộ trình cụ thể, có khoảng cách điểm, thời gian bắt đầu, thời gian kết thúc thời gian lộ trình định, tuyến xe khác có lộ trình thời gian khác nhau, lộ trình bao gồm tuyến đƣờng địa danh mà tuyến xe qua Có trạm xe, trạm dừng nhiều tuyến xe buýt, trạm đầu tuyến nhƣng lại trạm kết thúc tuyến xe khác Điểm dừng trạm nhỏ để hành khách chờ đón xe nơi để khách xuống xe, điểm dừng đƣợc bố trí dọc theo lộ trình tuyến xe bt Mỗi điểm dừng thuộc lộ trình lộ trình tuyến xe buýt , điểm dừng điểm đón trả khách nhiều tuyến xe khác Trong đồ xe buýt xây dựng nhiều tiện ích cho ngƣời dùng sử dụng nhƣ tìm đƣờng đi, tìm địa điểm vui chơi, hay đƣờng từ điểm A đến điểm B Một vấn đề cần xử lý tính xác thực liệu điểm dừng xe buýt Không thể từ điểm A thời điểm h1 đến điểm B thời 61 điểm h2 mà h2 < h1 đƣợc Hoặc xử lý yêu cầu tính khoảng cách điểm đầu điểm chặng đƣờng - Bài toán thực yêu cầu nhƣ thời điểm ngày kiểm tra xem trạm xe buýt đồ hoạt động Giả sử tuyến xe buýt có 20 điểm dừng tuyến, với khoảng cách tƣơng đối thời gian từ điểm đến điểm phút thời gian tuyển 100 phút Nếu tuyến xe buýt bắt đầu hoạt động lúc 05:00:00 ngƣời đón xe bt khơng nên đón xe chặng thứ 10 lúc 05:15:00 Vậy để quản lý đƣợc thời gian hoạt động tƣơng đối trạm để khách xe tiết kiệm đƣợc thời gian nhiều - Hoặc trƣờng hợp hết hoạt động chuyến xe, có nhiều tuyến xe nghỉ chạy nhƣng biết tuyến hoạt động - Nhƣ vậy, hai số nhiều tiện ích thú vị áp dụng kiến thức ràng buộc trigger để xử lý ràng buộc việc Insert, Update thời gian xuất phát trạm Hệ thống phải đảm bảo cung cấp chức tối thiểu hệ thống thông tin địa lý nhƣ - Duyệt đồ - Phóng to - Thu nhỏ - Trƣợt đồ - Xem đồ Ngoài ra, phục vụ yêu cầu toán đề ra, hệ thống cần có thêm chức - Cập nhật - Xóa, chỉnh sửa - Lƣu liệu Các chức nhƣ: - Hỗ trợ hành khách tìm thông tin tổng quát tuyến, thời gian bắt đầu, thời gian kết thúc - Hỗ trợ hành khách tìm tuyến xe bt phải đón qua điểm dừng lộ trình hành khách định - Hỗ trợ ngƣời quản trị quản lý xây dựng, cập nhật thông tin tuyến xe buýt nội thành phố Hà Nội Trên sở phân tích chức hệ thống nhƣ trên, xây dựng đƣợc biểu đồ use case thể chức hệ thống nhƣ sau Biểu đồ ca sử dụng: 62 Quan ly thong tin tram, tuyen,điểm Dinh vi ban Di chuyen ban Xem tin tuc Phong to/thu nho user Admin Hien thi toan bo ban Tim duong di Tim tuyen xe buyt Tim tram dung xe buyt Quan ly he thong trang tin tuc Hình 3.1: Mơ hình Use – case 3.2 Xây dựng sở liệu 3.2.1 Tạo bảng sở liệu Bảng Stations TT Tên trƣờng ids namestation description p Kiểu liệu integer Text text point Ghi Bảng 3.1: Lƣu trữ thuộc tính trạm xe buýt, chủ yếu tọa độ trạm xe, trạm có nhiều điểm dừng tuyến nhiều tuyến xe buýt Bảng Points TT Tên trƣờng idp idb Kiểu liệu integer Character(20) Ghi Mã điểm Mã tuyến 63 ids namepoint Description timestart integer text text time without time zone Bảng 3.2: Lƣu trữ điểm dừng tuyến xe buýt, vị trí trạm đƣợc định đánh dấu Bảng Gobus TT Tên trƣờng idb ids timestart timeend Kiểu liệu Character(20) integer time without time zone time without time zone Ghi Bảng 3.3: Tính tốn truy vấn theo thời gian tuyến hoạt động thời điểm tại, kết thúc Bảng Bus TT Tên trƣờng idb namebus description price timestart timeend nub timelong Kiểu liệu Ghi Character(20) text text integer time without time zone time without time zone integer Số điểm dừng integer Bảng 3.4: Thông tin tuyến xe buýt (nhƣ tuyến 01,02,…), 64 điểm đầu kết thúc 3.2.2 Tạo Trigger, hàm tốn + Tạo Triger có điểm xe bt đƣợc thêm CREATE TRIGGER point_add AFTER INSERT ON points FOR EACH ROW EXECUTE PROCEDURE point_add(); + Hàm thực thêm điểm dừng CREATE OR REPLACE FUNCTION _0_points_add(idb character, ids integer, namepoint text, description text, timestart time without time zone) RETURNS void AS $BODY$Begin Insert into "points"(idb,ids,namepoint,description,timestart) values($1,$2,$3,$4,$5); End$BODY$ LANGUAGE plpgsql VOLATILE COST 100; ALTER FUNCTION _0_points_add(character, integer, text, text, time without time zone) OWNER TO postgres; + Một Function Trigger ràng buộc đếm số điểm dừng tuyến xe buýt thêm điểm cho tuyến xe buýt CREATE OR REPLACE FUNCTION point_add() RETURNS trigger AS $BODY$ DECLARE tim INTEGER; begin tim=0; tim = 'select count(*) from points where idb=' || new.idb; update bus set nub=tim where idb=new.idb; 65 return new; end; $BODY$ LANGUAGE plpgsql VOLATILE COST 100; ALTER FUNCTION point_add() OWNER TO postgres + Hàm thực tính tốn liệu thay đổi theo thời gian Tính tốn liệu thay đổi theo thời gian từ đầu tuyến đến cuối tuyến, đánh dấu điểm với thời gian kết thúc điểm dừng tuyến ngày create or replace function _0_gobus(timez time without time zone ) returns void as $$ DECLARE r record; k record; tmp time without time zone; c integer; s integer; e integer; m record; h time without time zone; begin FOR r IN SELECT * FROM points LOOP for m in select * from bus where idb=r.idb loop tmp = m.timestart; s= (SELECT EXTRACT(EPOCH FROM tmp )); tmp = r.timestart; e= (SELECT EXTRACT(EPOCH FROM tmp)); h= m.timeend; end loop; c= (SELECT EXTRACT(EPOCH FROM h)) + e- s; RAISE NOTICE 'ND:%' , c; /*c= (SELECT EXTRACT(EPOCH FROM timez)); RAISE NOTICE 'ND2:%' ,c ; */ 66 if (c> (SELECT EXTRACT(EPOCH FROM timez))) then /* chua het time*/ if (EXISTS (select * from gobus where idb=r.idb and ids=r.ids )) then for k in select * from gobus where idb=r.idb and ids=r.ids LOOP tmp = k.timeend; c = (SELECT EXTRACT(EPOCH FROM tmp)); END LOOP; else Insert into "gobus"(idb,ids,timestart,timeend) values(r.idb,r.ids,r.timestart ,'00:00:00'); /*Chua ket thuc*/ end if; else update gobus set timeend=(SELECT to_timestamp(c)) where idb=r.idb and ids=r.ids; /*ket thuc*/ end if; END LOOP; end; $$ language plpgsql; SELECT EXTRACT(EPOCH FROM time WITHout TIME ZONE '21:13:00'); SELECT _0_gobus( '21:05:00'); Một số hình ảnh chƣơng trình Khách hàng tìm hiểu thơng tin nhƣ tìm đƣờng hay tuyến , trạm xe buýt nội đô thành phố Hà Nội trang website xebuyt.org 67 Hình 3.2Trang chủ website hệ thống quản lý xe buýt Hà Nội Hình 3.3.Trang tin tức giao thông Khi đăng nhập với tên ngƣời quản trị website vào hệ thống, trang web hiển thị chức quản lý thực thêm, sửa, xóa trạm, điểm, tuyến xe 68 buýt nội thành Hà Nội Thay đổi hay cập nhật thêm thông tin trang tin tức Hình 3.4: Cập nhật thơng tin điểm xe buýt Hinh 3.5 : Cập nhật thông tin chi tiết trạm xe buýt 69 Hinh3.6: Cập nhật thông tin chi tiết tuyến xe buýt hoạt động 3.3 Thử nghiệm đánh giá thuật toán Học viên tiến hành tích hợp thành cơng ba sở sữ liệu mở rộng nhƣ sở liệu tích cực, sở liệu thời gian sở liệu không gian vào toán Thử nghiệm, so sánh đánh giá thuật tốn tìm đƣờng cài đặt hệ thống tốn tìm đƣờng xe bt, với số lƣợng đỉnh cung lớn việc tiến hành giải tốn phƣơng pháp thơng thƣờng nhƣ Dijkstra hay ma trận không hiệu mặt tốc độ thực hiện, không gian nhớ để lƣu trữ kết toán 70 KẾT LUẬN Luận văn thực đƣợc công việc sau: - Nghiên cứu tổng quan mơ hình sở liệu mở rộng, mơ hình sở liệu tích cực (Active database) mơ hình cơ sở liệu thời gian (Temporal database) mơ hình sở liệu không gian (spatial databas) - Nghiên cứu hệ quản trị sở liệu PostgreSQL PostGIS, thực hàm phép toán truy vấn không gian với hệ quản trị PostgreSQL PostGIS - Áp dụng: Chƣơng trình quản lý xe buýt thành phố Hà Nội - Đánh giá toán với phép tốn tích hợp sở liệu mở rộng Tuy nhiên, liệu sử dụng để đánh giá chƣa đủ lớn để nên chƣa đánh giá hết đƣợc hiệu đặc trƣng tốn, tính ổn định hệ thống thử nghiệm tƣơng lai, cần phải thử nghiệm đánh giá liệu lớn Hƣớng phát triển luận văn: - Tiếp tục nghiên cứu mơ hình CSDL mở rộng khác với ứng dụng chúng - Hồn thiện tốn vẽ đồ xe buýt để đƣa vào ứng dụng thực tiễn nhằm giảm tải ùn tắc giao thông - Phát triển hệ thống đồ thành dịch vụ tiện ích truy cập miễn phí trang thơng tin tìm kiếm máy tính điện thoại di động 71 TÀI LIỆU THAM KHẢO Tiếng Việt [1] [2] [3] Nghiêm Thị Hƣơng, KLTN, Hệ quản trị CSDl PostgreSQL& Postgis Lâm Vĩ Quốc-Trân Thị Bích Hạnh, luận văn- Hệ thống hỗ trợ tìm đƣờng xe buýt Web.2003 Nguyễn Tuệ(2007) Nhập môn sở liệu, NXB Giáo Dục Tiếng Anh [4] [5] [6 ] [7] [8] Active Database Sufiystems NORMAN W.PATON University of Manchester AND OSCAR DIAZ University of the Basque Country Journal ACM Computing Surveys (CSUR) Surveys Homepage archive Volume 31 Issue 1, March 1999 Carlo Combi, Massimo Franceschet, Adriano Peron, Representing and reasoning about temporal granularities, 1996 Christian S Jensen, Senior Member, IEEE, and Richard T Snodgrass, Senior Member, IEEE, Temporal Data Management, 2001 Decker, H.(2002) Translating advanced integrity checking techonology to SQL.In J.Door&L Rivero(Eds).database integrity: challenges and solutions(pp.203-249) Hershey,PA: Idea Group Publishing Elmasri, R., S B Navathe, Fundamentals of Database Systems, International Edition, 2000, pp 630 -652 [9 ] Ewald Geschwinde and Hans_Juergen Shoening, PHP PostGre SQL advanced web programming, 2002, Same Publishing [10] Ilan Eini, Vera Goebel and BjØrn Skjellaug, A temporal Data 72 [11] Model for Multimedia Database Systems, Research Report, 1997 Raghu Ramakrishnan, Database Management Systems, McGraw –Hill, 1998 [12] Korry Dougla and Susan Douglas The comprechensive guide to building program and admimnistering, PostgreSQL database, 2nd , 2005, Same Publishing [13] Postgis 1.5.0 Manual [14] X.Sean Wang, Claudio Bettini, Alexander Brodsky and Sushil Jajodia, Logical Design for Temporal Database with Multiple Granularities, ACM Trans Database Systems, 1997 Websites [15] [16] [17] [18]ss [19] [20] [21] http://www.codeproject.com http://kdtqt.duytan.edu.vn http://.sli.unimelb.edu.au/giweb/GISModule/GIST_Vector http://www.postgresql.org http://www.postgis.refractions.net http://vi.wikipedia.org/wiki/So_sanh _he _quan _tri _csdl http://www.transerco.vn/default.aspx?pageid=253