Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 110 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
110
Dung lượng
13,63 MB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI -WX WX WX LUẬN VĂN THẠC SỸ KHOA HỌC lu an n va p ie gh tn to CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG THỜI GIAN VÀ XỬ LÝ TRUY VẤN TRONG CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG THỜI GIAN oa nl w d NGÀNH: CÔNG NGHỆ THÔNG TIN lu nf va an MÃ SỐ: lm ul NGUYỄN THỊ HỘI z at nh oi Người hướng dẫn khoa học: TS NGUYỄN KIM ANH z m co l gm @ an Lu HÀ NỘI 2006 n va ac th si Trang - - LỜI CẢM ƠN Lời luận văn em xin gửi lời cảm ơn chân thành đến cô giáo, Tiến sỹ Nguyễn Kim Anh người trực tiếp hướng dẫn, giúp đỡ tạo điều kiện thuận lợi cho em từ lúc tìm hiểu, định hướng tìm kiếm tài liệu lĩnh vực Cơ sở liệu hướng đối tượng thời gian lúc hoàn thành luận văn Chúc mạnh khỏe, cơng tác tốt ngày có nhiều kết từ lĩnh vực nghiên cứu mà cô yêu mến lu Em xin gửi lời cám ơn đến bạn bè người thân gia đình an tạo điều kiện giúp đỡ em mặt q trình hồn thành va n luận văn Chúc người gặp nhiều may mắn tn to Em xin gửi lời cám ơn đến tất thầy cô giáo Khoa Công Nghệ ie gh Thông Tin Trung tâm Đào tạo Sau Đại học Trường Đại học Bách p Khoa Hà Nội giúp đỡ, bảo, tạo điều kiện cho em hoàn thành nl w luận văn d oa Hà nội, mùa thu 2006! nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - MỞ ĐẦU Quản lý liệu phần thiếu việc phát triển hệ thống thông tin, quản lý liệu theo thời gian hệ thống thông tin ứng dụng lĩnh vực thay đổi thường xuyên địi hỏi nhiều u cầu tài chính, ngân hàng, viễn thông, y tế làm cho hệ quản trị sở liệu quan hệ không quản lý mặt thời gian bộc lộ hạn chế Điều đòi hỏi nhà nghiên cứu sở liệu phải đưa kết khả quan hơn, hệ quản trị hơn, kiểu xử lý khác để phục vụ ngày tốt nhu cầu mà thực tế địi hỏi Vì thế, hướng nghiên lu an cứu sở liệu đời xem xét liệu dạng đối tượng n va vốn tồn thực tế thêm yếu tố thời gian để đáp ứng yêu tn to cầu cho ứng dụng quản lý mặt thời gian gh Cơ sở liệu đối tượng thời gian nghiên cứu vào năm 90 p ie thể kỷ 20 năm đầu thể kỷ 21 Một bất ngờ nhà khoa w học thu kết tốt mong đợi hứa hẹn miền ứng oa nl dụng rộng lớn sử dụng kết đưa vào thực tế Cơ sở d liệu hướng đối tượng thời gian thu kết sở lý an lu thuyết đại số nghiên cứu sở liệu thời gian (đại số TA, nf va OSAM*/T, …) [SSH-98] mà thu kết mặt thực hành lm ul xây dựng hệ quản trị sở liệu hướng đối tượng thời gian với đầy đủ tính bao gồm mơ hình, ngôn ngữ định nghĩa ngôn ngữ z at nh oi truy vấn đầy đủ, toàn vẹn liệu hướng đối tượng thời gian (TOOM, TODL, TOQL) Vì lý vậy, với hướng dẫn cô giáo Tiến sỹ z Nguyễn Kim Anh, em chọn tìm hiểu nghiên cứu “Cơ sở liệu đối @ gm tượng thời gian xử lý truy vấn sở liệu đối tượng thời gian” co l Nội dung luận văn giới thiệu mơ hình sở liệu hướng đối m thời gian hệ thống thông tin (TOOBIS) Và để có nguyên an Lu tắc xử lý bên ngôn ngữ định nghĩa ngơn ngữ truy vấn n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - luận văn giới thiệu đại số TA sở toán học cho xử lý sở liệu hướng đối tượng thời gian TODL TOQL TOQL giới thiệu để minh họa lại rõ nét toán tử toán hạng sở liệu hướng đối tượng thời gian Trong thời gian tìm hiểu nghiên cứu đề tài, em đạt kết bước đầu sở liệu hướng đối tượng thời gian, làm sở để hoàn thành luận văn Nội dung luận văn bao gồm chương : Chương I: Tổng quan Chương II: CSDL hướng đối tượng thời gian hệ thống thông tin lu an Chương III: Cơ sở toán học cho xử lý CSDL hướng đối tượng thời gian va n Chương IV: TOQL ngôn ngữ truy vấn cho CSDL hướng đối tượng thời tn to gian ie gh Chương V: Kết luận luận văn p Nội dung luận văn vấn đề sở sở liệu hướng nl w đối tượng thời gian, vấn đề sâu mong trình bày d oa thời gian gần nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - CHƯƠNG I – TỔNG QUAN Giới thiệu Cơ sở liệu thành phần khơng thể thiếu q trình phát triển hệ thống thông tin Trong thời gian gần đây, ứng dụng thông tin không dừng lại ứng dụng lĩnh vực xử lý liệu kinh doanh, thương mại mà phát triển sang lĩnh vực khác trí tuệ nhân tạo, thơng tin văn phòng, đa phương tiện… Do vậy, sở liệu (CSDL) khơng cịn có kiểu quan hệ truyền thống mà phát triển thành CSDL đối tượng, với lu yêu cầu mặt quản lý thời gian xử lý liệu theo thời gian CSDL đối an tượng có yêu cầu mặt quản lý thời gian phát triển nhằm đáp ứng va n ứng dụng thông tin cách đầy đủ tn to Trong chương luận văn trình bày khái niệm CSDL đối ie gh tượng CSDL thời gian Phần 1.1 trình bày CSDL thời gian p toán liên quan phần 1.2 trình bày CSDL đối tượng oa nl w 1.1 Cơ sở liệu thời gian d 1.1.1 Khái niệm lu nf va an Hệ quản trị sở liệu (DataBase Management System - DBMS) [NKA04] hệ thống phần mềm cho phép tạo lập sở liệu (DataBase – lm ul CSDL) điều khiển truy nhập CSDL z at nh oi Hệ sở liệu có thành phần [NKA-04] : • CSDL hợp nhất: CSDL hệ có hai tính chất tối thiểu hóa z dư thừa chia sẻ @ gm • Những người sử dụng: Người sử dụng hệ cá nhân co l có nhu cầu truy nhập CSDL, bao gồm người sử dụng cuối, m người viết chương trình, người quản trị CSDL an Lu • Phần mềm DBMS n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - • Phần cứng: Phần cứng hệ thống bao gồm thiết bị nhớ thứ cấp sử dụng để lưu trữ CSDL Sau số khái niệm hệ quản trị CSDL thông thường thời gian [NN-02] : • Snapshot DataBases Management Systems (DBMS): DBMS truyền thống không hỗ trợ cho kiểu thời gian • Valid Time (Historical) DBMSs: DBMS hỗ trợ thời gian hiệu lực lu • Transaction Time (Rollback) DBMSs: DBMS hỗ trợ thời gian an giao dịch va n • Bi_Temporal DBMSs: DBMS có hỗ trợ hai kiểu thời gian giao to gh tn dịch hiệu lực p ie 1.1.2 Các vấn đề nghiên cứu CSDL thời gian w Trong hệ quản trị CSDL thời gian thuộc tính thời gian xem oa nl phận gắn kết với hệ quản trị CSDL thời gian d Một số vấn đề nghiên cứu CSDL thời gian là: lu nf va an - Ngữ nghĩa liệu thời gian - Mơ hình hóa trình diễn liệu thời gian lm ul - Ngôn ngữ truy vấn hệ quản trị CSDL thời gian z at nh oi - Thiết kế CSDL thời gian - Cài đặt thực thi CSDL thời gian z co l 1.1.3 Ngữ nghĩa liệu thời gian gm @ - Các kỹ thuật tối ưu hóa thực thi CSDL thời gian m Trong CSDL thời gian có hai khái niệm quan tâm thời gian hiệu lực nói đến thời gian hiệu lực thời gian giao dịch an Lu thời gian giao dịch Khi nói đến ngữ nghĩa liệu thời gian, n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - Thời gian hiệu lực kiện tất khoảng thời gian, khứ, tại, tương lai kiện xem • Thời gian hiệu lực ghi nhận trình thay đổi trạng thái kiện thực tế • Thời gian hiệu lực kiện ghi nhận CSDL số lí như: thời gian hiệu lực kiện biết khoảng thời gian hiệu lực không xác định cách xác… lu an Thời gian giao dịch (Transaction Time - TT) kiện tương n va CSDL khoảng thời gian kiện ghi nhận tồn • Thời gian giao dịch ghi nhận thay đổi trạng thái thân CSDL p ie gh tn to CSDL nl w • Các ứng dụng có yêu cầu hỗ trợ khả truy cập đến trạng d oa thái trước CSDL chúng cần hỗ trợ thời gian giao dịch an lu • Thời gian giao dịch bị chặn hai đầu thời điểm CSDL nf va khởi tạo trạng thái thời lm ul • Thời gian giao dịch cịn có tính chất tăng dễ dàng cho việc ghi nhận cách tự động hệ quản trị CSDL z at nh oi 1.1.4 Mơ hình hóa thể liệu thời gian Để biểu diễn xây dựng hệ quản trị CSDL thời gian, người ta mở rộng z gm @ hệ quản trị CSDL thông thường (hệ quản trị CSDL quan hệ, hệ quản trị CSDL điểm nối điểm…) theo hai hai cách sau đây: l m co • Ghi nhận thông tin thời gian liên quan đến liệu an Lu • Ghi nhận thơng tin thời gian liên quan đến thuộc tính liệu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - Cách thứ nhất, liệu thêm trường dùng để lưu giá trị thời gian bao gồm: {TTB, TTE, VTB, VTE } - TT B: Thời gian bắt đầu giao dịch - TT E: Thời gian kết thúc giao dịch - VTB : Thời gian hiệu lực bắt đầu - VTE : Thời gian hiệu lực kết thúc Sau thêm trường này, cách biểu diễn liệu dạng chuẩn (1NF) chúng hỗ trợ hầu hết hệ quản trị CSDL lu thông dụng Nhưng thuộc tính liệu an thay đổi không đồng thời với cách thể vi phạm nguyên va n tắc dư thừa liệu tn to Cách thứ hai biểu diễn thơng tin phức tạp thuộc tính ie gh liệu có giá trị thời gian riêng tương ứng với Do đó, hệ quản trị p CSDL phải hỗ trợ thêm phương pháp lưu trữ, xử lý, truy vấn hiệu nl w Đối với trường hợp này, sử dụng CSDL hướng đối tượng thời gian có d oa nhiều ưu điểm (sẽ nói chi tiết phần 1.2) an lu 1.1.5 Ngôn ngữ truy vấn hệ CSDL thời gian lm ul số điều kiện như: nf va Để thiết kế xây dựng ngôn ngữ truy vấn mới, yêu cầu phải tuân theo z at nh oi • Tương thích với hệ quản trị CSDL có • Việc cài đặt ngôn ngữ truy vấn không q khó khăn z • Ngơn ngữ truy vấn phải có cú pháp giống ngơn ngữ truy vấn gm @ có m co nhiều ngơn ngữ truy vấn có l • Ngơn ngữ truy vấn phải có khả diễn đạ t cao hỗ trợ an Lu Với yêu cầu vậy, việc thiết kế ngôn ngữ truy vấn n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - cơng việc khó khăn, tốn nhiều thời gian công sức mà chưa chắn việc phổ dụng dễ dàng Do vậy, giải vấn đề truy vấn CSDL thời gian mở rộng ngôn ngữ truy vấn thông dụng SQL cách thêm yếu tố thời gian Đối với CSDL thời gian hướng đối tượng có số ngơn ngữ truy vấn xây dựng riêng TOQL, TOOSQL, OQL/T Trong chương luận văn trình bày TOQL 1.1.6 Thiết kế CSDL thời gian Mục đích trình thiết kế khai thác tối đa khả lu an tiện ích hệ quản trị CSDL để phục vụ cho ứng dụng hệ thống va n Các ứng dụng yêu cầu hỗ trợ yếu tố thời gian thường phức tạp tn to ứng dụng thông thường đồng thời khó thiết kế Các thiết kế CSDL gh thời gian thường dựa thiết kế CSDL thơng thường, sau thêm p ie yếu tố thời gian Ví dụ: nl w • Với q trình thiết kế logic đưa thêm yếu tố thời gian mở rộng oa phụ thuộc với yếu tố thời gian Sau đó, q trình chuẩn hóa liệu d với liệu thời gian định nghĩa, thuật toán để chuẩn hoá lu nf va an liệu thay đổi • Với q trình thiết kế m ức khái niệm có vấn đề tương tự lm ul Tức mức thiết kế khái niệm CSDL thời gian dựa mơ z at nh oi hình thực thể liên kết (quan hệ) số dựa mơ hình đối tượng (sẽ nói rõ phần CSDL thời gian hướng đối tượng) z Để chuyển đổi từ mơ hình thực thể liên kết thơng thường sang mơ hình có yếu @ gm tố thời gian thường phải mở rộng thêm yếu tố thời gian phải chuyển đổi l cách thủ cơng Do đó, sử dụng mơ hình đối tượng chuyển sang mơ m co hình đối tượng thời gian thông qua đối tượng, cần thêm yếu động thêm vào yếu tố thời gian an Lu tố thời gian vào thuộc tính đối tượng thao tác (hành vi) tự n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - - 1.1.7 Cài đặt CSDL thời gian Đối với việc cài đặt CSDL thời gian [NN-02] có hai hướng tiếp cận là: Hướng tiếp cận tích hợp (Intergrated) Hướng tiếp cận sử dụng lại hệ có (Layered) Hướng tiếp cận tích hợp sử dụng nhân hệ thống CSDL sẵn có, sau mở rộng chỉnh sửa thêm yếu tố thời gian Ưu điểm tiếp cận là: • Hệ quản trị CSDL m ới xử lý triệt để, hiệu với liệu thời lu gian an • Các ứng dụng CSDL truy xuất trực tiếp với hệ quản trị CSDL mà va n không cần qua thành phần trung gian nên hiệu gh tn to • Có thể sử dụng tiện ích hệ quản trị liệu phi thời gian p ie Nhược điểm đáng kể hướng tiếp cận này: w • Khối lượng cơng việc cần chỉnh sửa, thêm lớn độ phức tạp oa nl truy xuất cao d • Chi phí sản xuất chi phí thời gian đáng kể an lu nf va Hướng tiếp cận sử dụng hệ sẵn có với mục đích khắc phục nhược điểm thứ hai cách tiếp cận tích hợp: giảm chi phí cài đặt lm ul • Chọn hệ quản trị CSDL sẵn có, giữ nguyên nhân hệ thống z at nh oi • Xây dựng mức trung gian cung cấp tính hỗ trợ thời gian, thực biến đổi yêu cầu liên quan đến liệu thời gian thành z yêu cầu thông thường mà hệ quản trị CSDL mức hiểu l gm @ xử lý m co • Chuyển đổi câu truy vấn cho hệ quản trị CSDL mức thực an Lu • Thực số bước xử lý thích hợp kết nhận n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - 95 - ứng dụng phân tán, ứng dụng mạng việc nhân CSDL đối tượng thời gian, có yêu cầu suốt mặt thời gian… Những hạn chế hướng nghiên cứu đề tài vấn đề em mong muốn nghiên cứu tiếp thời gian gần để thu kết toàn vẹn đầy đủ Luận văn hoàn thành thời gian hạn hẹp nên khơng thể tránh thiếu sót, em mong muốn nhận ý kiến đóng góp thầy cơ, bạn để nghiên cứu hồn thiện đầy đủ Em xin chân thành cảm ơn lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Trang - 96 - DANH SÁCH TÀI LIỆU THAM KHẢO TÀI LIỆU TIẾNG VIỆT [NKA-04] Nguyễn Kim Anh (2004), Nguyên lý hệ sở liệu, Nhà xuất Đại học Quốc gia Hà Nội, tr 52 – 57, tr 177 – 182 [NN-02] Nguyễn Kim Anh, Nguyễn Thái Linh (2002), Các kỹ thuật Index sở liệu thời gian, Luận văn thạc sỹ khoa học Công nghệ Thông tin, Trường Đại học Bách Khoa Hà Nội, tr – 14 [MTO-00] M.Tamer Ozsu (2000), Nguyên lý hệ sở liệu phân tán, lu Nhà xuất Thống kê, Hà Nội, tr 487 – 557 an TÀI LIỆU TIẾNG ANH va n [EIV-99F] European Community IV Frame work, Esprit Project 20671 gh tn to (1999), Final Project Report - Deliverable T12R.3, TOOBIS - Temporal p ie Object-Oriented Databases within Information Systems [EIV-99D] European Community IV Frame work, Esprit Project 20671 oa nl w (1999), Deliverable T33TR.1 TOOBIS - Temporal Object Query Language Specifications and Design d an lu [SSH-98] Stanley Y.W.Su (Senior member, IEEE), Soon J.Hyun, Hsin – nf va Hsing M.Chen (1998), Temporal Association Algebra: A Mathematical lm ul Foundation for Processing Object – Oriented Temporal Databases z at nh oi [LR-96] Leonidas Fegaras, Ramez Elmasri (1996), A Temporal Object Query Language [MV-03] Marios Vitos (2003), Rollnr: 73934, Master of Science in z Oriented Databases l gm @ Computer Science, Dr Meersmans, Course: Advanced Databases, Object an Lu )- April 1998 m co [O298] O2 Technology (1998), ODMG C++ Binding Guide, (Release 5.0 n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - i - ) PHỤ LỤC LUẬN VĂN DANH SÁCH BẢNG BIỂU lu an n va p ie gh tn to Bảng 1 Bảng so sánh lớp tập - 13 Bảng Định nghĩa quản lý thời gian lớp thời gian - 25 Bảng Các ký hiệu biểu diễn biểu thức đại số TA - 43 Bảng Các tính chất tốn tử đại số TA - 53 Bảng Một số kiểu thời điểm - 59 Bảng Một số kiểu khoảng - 60 Bảng Một số kiểu giai đoạn - 60 Bảng 4 Một số kiểu tập giai đoạn - 61 Bảng Danh sách số hàm TOQL - 61 Bảng Các vị từ TOQL - 63 Bảng Thao tác khoảng - 64 Bảng Thao tác tập giai đoạn - 64 Bảng Thao tác thời điểm - 64 Bảng 10 Thao tác giai đoạn - 64 Bảng 11 Danh sách biểu thức hỗ trợ TOQL - 67 Bảng 12 Điều kiện kiểu kết nối thời gian - 80 - nl w d oa DANH SÁCH HÌNH VẼ nf va an lu Hình 1 Mơ hình đối tượng - 11 Hình Kiến trúc TOODBMS - 18 Hình 2 Kiến trúc tổng quan hệ TOOBIS - 19 Hình Các khái niệm mơ hình đối tượng - 20 Hình Một lược đồ động - 22 Hình Các lớp thời gian - 25 Hình Mở rộng đến kiểu phân cấp ODMG - 29 Hình Các tính chất thể thời gian đối tượng thời gian - 30 Hình Các quan hệ quan hệ trạng thái - 31 Hình Kiến trúc xử lý TODL - 32 Hình Đồ thị lược đồ CSDL công ty - 35 Hình Thuộc tính nhãn thời gian tổ chức liệu thời gian - 37 Hình 3 Thể nhãn thời gian tổ chức liệu thời gian - 37 Hình Đồ thị đối tượng thời gian - 38 Hình Đồ thị truy vấn Q1 - 38 Hình Minh họa liên kết kết hợp thời gian - 39 - z at nh oi lm ul z m co l gm @ an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - ii - ) lu Hình Các mẫu kết hợp thời gian nguyên thủy - 41 Hình Các mẫu kết hợp thời gian phức tạp - 41 Hình Các TPI TPS - 42 Hình 10 Các tốn tử T- Associate, T- Complement T-Nonassociate - 45 Hình 11 Tốn tử T- Join - 48 Hình 12 Tốn tử T-OJoin - 48 Hình 13 Tốn tử T- Select - 49 Hình 14 Toán tử T- Project - 49 Hình 15 Tốn tử T- Union - 50 Hình 16 Tốn tử T-Intersect - 50 Hình 17 Toán tử T- Difference - 52 Hình 18 Tốn tử T-Divide(+) - 52 Hình 19 Các tốn tử NT-Intersect, NT-Union NT-Difference - 52 Hình Kiến trúc xử lý TOQL - 87 Hình Mơ đun xử lý TOQL - 88 Hình Biểu diễn đối tượng Obj001 - 91 Hình 4 Biểu diễn đối tượng Obj006 - 92 - an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - iii - ) PHỤ LỤC A: DANH SÁCH CÁC TỪ - NGỮ VIẾT TẮT STT Nghĩa từ - ngữ đầy đủ Viết tắt an Cơ sở liệu (DataBase) DBMS DataBase Management System ODMG Object Definition Management Group OO Object Oriented OOM Object Oriented Method OQL Object Query Languge SQL Structures Query Language TA Temporal Algebra TODL Temporal Object Definition Language 10 TODM Temporal Object Definition Method TOOA Temporal Object Oriented Algebra n va CSDL lu p ie gh tn to TOOBIS Temporal Object Oriented DataBases within Information System d oa TOQL Temporal Object Query Language nf va an lu 13 nl 12 w 11 z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - iv - ) PHỤ LỤC B: DANH SÁCH CÁC TỪ KHÓA Keyword indexs: valid timestamp, transaction timestamp, object- oriented temporal database, temporal algebra, temporal object query, processing query Các mục từ khóa: thời gian hiệu lực, thời gian giao dịch, sở liệu thời gian hướng đối tượng, đại số thời gian, truy vấn đối tượng thời gian, xử lý truy vấn đối tượng thời gian lu an n va p ie gh tn to d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - v - ) PHỤ LỤC C: TOQL ĐỐI VỚI CÁC YÊU CẦU NGƯỜI DÙNG TOQL hỗ trợ yêu cầu người dùng liệt kê bảng sau: [EIV-99D] lu an n va Hỗ trợ Chiều thời gian Thời gian hiệu lực Thời gian giao dịch X X Các kiểu đối tượng Đối tượng thông thường Đối tượng hiệu lực Đối tượng giao dịch Đối tượng Bitemporal X X X X Cấu trúc thời gian Điểm thời gian Giai đoạn Tập điểm thời gian Tập giai đoạn X X X X ie gh tn to Các yêu cầu người dùng Chú thích Các thao tác cung cấp thời điểm Các thao tác cung cấp giai đoạn Chuẩn OQL toán tử Túi/Tâp Period_set p Đơn vị Lịch biểu X X d Các đơn vị oa nl w Lịch biểu an lu Gregorian Các lịch tùy ý người dùng định nghĩa Năm, Tháng, Ngày, Giờ, Phút, Giây lịch Gregorian Các đơn vị người dùng định nghĩa nf va Truy vấn thời gian Các so sánh ngày tháng So sánh cấu trúc Giai đoạn Ánh xạ ngày tháng đến Khoảng Tính tốn Khoảng Thao tác thời gian quan hệ lm ul X X z at nh oi X Toán tử thời điểm Toán tử Giai đoạn hàm cấu trúc Toán tử thời điểm, chuyển đổi tường minh Giai đoạn Thơng qua tốn tử hàm cấu trúc Các nhãn thời gian quan hệ X X Hiệu lực, giao dịch bitemporal Trích chọn thời gian hiệu lục X giao dịch đối tượng Các hàm hiệu lục giao dịch Cấu trúc quan hệ hiệu lực đển X đối tượng kết Thông qua bổ nghĩa hiệu lực bổ nghĩa bitemporal z Chuyển đổi đối tượng thông thường đến đối tượng thời X gian khác m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - vi - ) Lựa chọn giá trị tương ứng X giai đoạn Các toán tử kịch tham chiếu đối tượng khác Lựa chọn giai đoạn thỏa mãn X điều kiện Tham chiếu đến biến thể đối tượng Lựa chọn đối tượng hiệu lực X từ đối tượng hiệu lực Các toán tử kịch Nhóm thời gian X Lựa chọn thứ tự thời gian X Các hàm kết hợp X lu Các truy vấn thời gian Chuyển đổi đối tượng hiệu lực tới thông thường, giao dịch X đa chiều an n va Bổ nghĩa thông thường, giao dịch đa chiều Bổ nghĩa thông thường, hiệu lực đa chiều gh tn to Chuyển đổi đối tượng giao dịch tới thông thường, hiệu lực X đa chiều Các đối tượng thời gian nhóm theo thời gian Sắp xếp theo thời điểm giai đoạn Chuẩn kết hợp OQL thể thức thời gian kết hợp p ie Chuyển đổi đối tượng đa chiều tới thông thường, hiệu lực X giao dịch Bổ nghĩa thông thường, hiệu lực giao dịch d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - vii - ) PHỤ LỤC D: BẢN TÓM TẮT TIẾNG VIỆT Cơ sở liệu phần tách rời hệ thống thông tin, thiết kế xây dựng sở liệu tốn khơng khơng cũ nhà thiết kế hệ thống Cơ sở liệu với yêu cầu quản lý mặt thời gian ứng dụng ngày phổ biến Hơn nữa, ứng dụng đa phương tiện, tích hợp hệ thống thơng minh, ứng dụng văn phịng tích hợp ngày u cầu việc phân tích xây dựng sở liệu hệ thống cao lu Luận văn với đề tài “Cơ sở liệu hướng đối tượng thời gian xử lý truy an vấn sở liệu hướng đối tượng thời gian” trình bày nội dung va n sau: gh tn to Chương Tổng quan: Trình bày nội dung sở liệu đối p ie tượng sở liệu thời gian Cơ sở liệu thời gian hệ thống ứng dụng địi hỏi việc quản lý nl w theo khía cạnh thời gian khác Các khía cạnh thời gian quan d oa tâm nhiều thời gian hiệu lực (Valid Time) thời gian giao dịch an lu (Transaction Time) Có ứng dụng yêu cầu quản lý liệu theo hai nf va chiều thời gian gọi thời gian phức hợp (Bi_Temporal) lm ul Cơ sở liệu đối tượng xem quản lý liệu khía cạnh đối tượng Một đối tượng bao gồm thành phần: Một định danh đối tượng z at nh oi (IDentifier - ID) xác định toàn hệ thống Giá trị đối tượng giá trị thời điểm CSDL.Các tham chiếu hay quan hệ mà đối z tượng có Phương thức mà đối tượng thực @ gm Chương 2: Cơ sở liệu hướng đối tượng thời gian hệ thống thơng co l tin Trong chương trình bày nội dung sở liệu hướng đối m tượng thời gian bao gồm sở lý thuyết kết TOOBIS an Lu (Temporal Object Oriented DataBase with Information System) TOOBIS bao gồm phương pháp luận (TOOM) dành riêng hệ quản trị sở n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - viii - ) liệu hướng đối tượng thời gian (TOODBMS) Chương 3: Đại số TA – Cơ sở khoa học cho xử lý liệu hướng đối tượng thời gian Đại số TA nhìn nhận liệu đối tượng theo thời gian lược đồ (Schema), việc xử lý truy vấn dựa mẫu đồ thị (Graph) sở liệu hệ thống Đại số TA có đầy đủ tính chấ t đại số thơng thường khác mà cịn xây dựng phép toán dành riêng cho CSDL đối tượng thời gian Chương 4: Một ngôn ngữ truy vấn sở liệu hướng đối tượng thời gian Trong chương trình bày ngơn ngữ truy vấn TOQL (Temporal lu Object Query Language) TOQL mở rộng từ OQL theo chuẩn an ODMG, ngôn ngữ truy vấn độc lập dành riêng cho sở va n liệu đối tượng thời gian mà hỗ trợ đầy đủ tính truy vấn cho p ie gh tn to sở liệu đối tượng thông thường d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - ix - ) PHỤ LỤC E: BẢN TÓM TẮT TIẾNG ANH In the last two decades, researchers have addressed the issue of temporal data, i.e data varying over time In the real world, entities evolve over time; thus their respective representation in information systems must change Most computerised information systems (and DBMSs, in particular) nowadays retain only the current state of real-world entities, providing no support for keeping past values or storing predicted future values Some information systems allow for retaining a log of past states for each entity, but these facilities mostly serve auditing and archiving purposes, providing only lu minimal support for information retrieval and analysis An additional time- an n va related requirement for information systems is to store the time that each was (logically) removed Technically, the time that each piece of information gh tn to piece of information was stored in the information repository and the time it p ie is true in the real world is termed valid time, while the time from the insertion of a piece of information in a DBMS to its (logical) deletion is termed nl w transaction time d oa Temporal information systems are inherently more complex than snapshot nf va the an lu information systems (i.e information systems storing only the current state of lm ul modelled universe), since an extra dimension (the time dimension) is added In this respect, along with the tools to support the storage and manipulation of z at nh oi time-varying information, a methodology is also needed to enable analysts and designers to capture, represent and analyse the semantics and z requirements of temporal information systems @ gm This thesis describes an object-oriented temporal association algebra (called l TA-algebra) which is intended to serve as a formal foundation for supporting m co a pattern-based query specification and processing paradigm Different from an Lu the traditional tableand- attribute-based paradigm, the pattern-based paradigm views the intension of an object-oriented temporal database as a network of n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si Luận văn cao học: CSDL hướng đối tượng thời gian xử lý truy vấn (pl - x - ) object classes interconnected by different association types and its extension as a network of associated temporal object instances Consistent with this view, queries can be specified in terms of patterns of temporal object associations or nonassociations (i.e., linear, tree and network structures of object classes/objects with logical AND and OR branches) TA-algebra provides a set of algebraic operators for processing these patterns and allows the direct and/or indirect associations and/or nonassociations among temporal object instances to be more explicitly represented and maintained during processing than the traditional tabular representation of temporary or final lu query results TA-algebra operators are based on time-interval and valid-time an semantics and they preserve the closure property The algebra is capable of va n operating on heterogeneous as well as homogeneous patterns of object tn to associations Both homogeneous and heterogeneous patterns are decomposed gh into a set of primitive temporal pattern instances for uniform treatment This p ie paper formally defines the TA-algebra operators and their mathematical w properties The applications of these operators in query decomposition and oa nl processing are illustrated by examples d The last, thesis is present of TOQL is a temporal extension to the OQL, the lu an ODMG standard for querying object databases The design objectives of nf va TOQL were to formulate a temporal extension of OQL, delivering full lm ul temporal functionality, but yet remaining simple and treating uniformly z at nh oi temporal and non-temporal data Another goal pursued in TOQL’s design phase was the provision of the maximum degree of compatibility for legacy applications, i.e applications that were written with a non-temporal schema in z m co l gm @ mind an Lu n va Nguyễn Thị Hội – Công nghệ thông tin 2004 ac th si MỤC LỤC lu an n va p ie gh tn to LỜI CẢM ƠN - MỞ ĐẦU - CHƯƠNG I – TỔNG QUAN - Giới thiệu - 1.1 Cơ sở liệu thời gian - 1.1.1 Khái niệm - 1.1.2 Các vấn đề nghiên cứu CSDL thời gian - 1.1.3 Ngữ nghĩa liệu thời gian - 1.1.4 Mơ hình hóa thể liệu thời gian - 1.1.5 Ngôn ngữ truy vấn hệ CSDL thời gian - 1.1.6 Thiết kế CSDL thời gian - 1.1.7 Cài đặt CSDL thời gian - 1.2 Cơ sở liệu hướng đối tượng - 10 1.2.1 Đối tượng sở liệu đối tượng - 10 1.2.2 Các kiểu liệu - 12 1.2.3 Quản lý đối tượng - 13 1.3 Kết luận chương I - 14 CHƯƠNG II – CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG THỜI GIAN TRONG CÁC HỆ THỐNG THÔNG TIN - 15 Giới thiệu - 15 2.1 Tổng quan - 15 2.2 Mục tiêu chung TOOBIS - 16 2.3 Kết thu - 17 2.4 Hệ TOOBIS - 19 2.4.1 Phương pháp luận hướng đối tượng thời gian - 19 2.4.1.1 Mục tiêu phương pháp luận - 19 2.4.1.2 Phương pháp hướng đối tượng - 20 A - Thuộc tính cấu trúc - 20 B - Thuộc tính hành vi - 21 2.4.1.3 Mở rộng thời gian - 22 A - Định nghĩa lịch biểu - 22 B - Mở rộng miền sở tới miền thời gian - 23 C - Mở rộng lớp đối tượng tới chiều thời gian - 24 D - Mở rộng ràng buộc áp dụng lớp đối tượng tới chiều thời gian - 26 E - Mở rộng thời gian kiện - 26 2.4.1.4 Kết luận phương pháp luận TOOBIS - 27 2.4.2 Hệ quản trị sở liệu thời gian hướng đối tượng - 28 2.4.2.1 Mơ hình liệu đối tượng thời gian (TODM) - 28 - d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si lu an n va p ie gh tn to A - Mơ hình thao tác thời gian - 28 B - Dữ liệu thời gian bên đối tượng - 29 2.4.2.2 Ngôn ngữ định nghĩa đối tượng thời gian (TODL) - 31 2.5 Kết luận chương - 32 CHƯƠNG – CƠ SỞ TOÁN HỌC CHO XỬ LÝ CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG THỜI GIAN - 33 Giới thiệu - 33 3.1 Mơ hình hóa đối tượng thời gian hình thức hóa truy vấn - 34 3.1.1 Dữ liệu thời gian - 34 3.1.2 Biểu diễn đồ thị TOODB - 35 3.1.2.1 Đồ thị lược đồ - 35 3.1.2.2 Tổ chức liệu thời gian đồ thị đối tượng thời gian - 36 3.1.2.3 Hình thức hoá truy vấn thời gian dựa mẫu - 37 3.2 Đại số kết hợp thời gian - 39 3.2.1 Các mẫu kết hợp thời gian nguyên thuỷ - 39 3.2.2 Thể mẫu thời gian tập mẫu thời gian - 40 3.2.3 So sánh khoảng thời gian - 41 3.2.4 Ký hiệu - 42 3.2.5 Toán tử - 42 3.2.5.1 Hình thức hóa mẫu ngun thuỷ - 42 3.2.5.2 Thao tác mẫu - 45 3.2.5.3 Thao tác mẫu khơng tính tốn thời gian - 51 3.3 Thiết kế ngôn ngữ thời gian phân tích đại số học - 53 3.3.1 Các hàm thời gian thao tác so sánh khoảng - 53 3.3.2 Một số ví dụ phân tích đại số học - 55 3.4 Kết luận chương - 57 CHƯƠNG – MỘT NGÔN NGỮ TRUY VẤN CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG THỜI GIAN - 58 Giới thiệu - 58 4.1 Đặc tả TOQL - 58 4.1.1 Giới thiệu - 58 4.1.2 Các kiểu liệu cho trình diễn thời gian - 58 4.1.2.1 Các thành tố - 59 A - Thời điểm - 59 B - Khoảng - 59 C - Giai đoạn hay thời kỳ - 60 D - Tập giai đoạn - 60 4.1.2.2 Hàm - 61 4.1.2.3 Vị từ - 62 4.1.2.4 Toán tử - 63 4.1.2.5 Nguyên tắc tự động chuyển đối kiểu - 64 - d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si lu an n va p ie gh tn to A - Chuyển đổi kiểu - 64 B - Chuyển đổi đơn vị - 65 4.1.3 Cơ sở liệu mẫu - 65 4.1.4 Truy vấn liệu thời gian - 67 4.1.4.1 Các kiểu biểu thức hỗ trợ xử lý truy vấn TOQL - 67 4.1.4.2 Các ví dụ - 68 4.1.4.3 Kiểu kết toán tử kịch - 69 4.1.4.4 Hỗ trợ giá trị bị hủy bỏ tiến triển - 70 4.1.4.5 Trích chọn trạng thái đối tượng - 71 4.1.4.6 Giải vấn đề ngữ nghĩa nhập nhằng - 72 4.1.5 Tham chiếu đến đối tượng thay đối - 73 4.1.6 Chuyển đổi giá trị thời gian thông thường - 75 4.1.6.1 Bổ nghĩa thông thường - 75 4.1.5.2 Bổ nghĩa hiệu lực - 75 4.1.6.3 Bổ nghĩa giao dịch - 76 4.1.6.4 Bổ nghĩa bitemporal - 76 4.1.7 Kết nối thời gian - 76 4.1.7.1 Kiểu kết kết nối thời gian - 78 4.1.7.2 Giá trị kết kết nối thời gian - 79 4.1.7.3 Kết nối thời gian nhiều đối tượng - 80 4.1.8 Toán tử cấu trúc lại - 81 4.1.9 Tập hợp - 83 4.1.9.1 Phân hoạch đối tượng thời gian đơn - 84 4.1.9.2 Kết hợp biến thể từ nhiều đối tượng thời gian - 86 4.2 Bộ xử lý TOQL - 87 4.2.1 Giới thiệu - 87 4.2.2 Kiến trúc xử lý TOQL - 87 4.2.3 Xử lý truy vấn - 89 4.2.3.1 Biến đổi cú pháp - 89 4.2.3.2 Thực thi TOQL OQL 5.1.1 tương thích OODBMS - 89 4.3 Cài đặt chương trình - 89 4.4 Kết luận chương - 92 CHƯƠNG V: KẾT LUẬN - 93 DANH SÁCH TÀI LIỆU THAM KHẢO - 96 TÀI LIỆU TIẾNG VIỆT - 96 TÀI LIỆU TIẾNG ANH - 96 - d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th Nguyễn Thị Hội – Công nghệ thông tin 2004 si