Mô hình cơ sở dữ liệu song thời gian ứng dụng vào quản lý giao dịch ở các công ty môi giới chứng khoán

ĐạiHọc Quốc Gia Thành PhốHồChí Minh Trường Đạ i Họ c Bách Khoa VÕ HỒNG TAM MƠ HÌNH CƠSỞ DỮ LIỆU SONG THỜI GIAN - ỨNG DỤNG VÀO QUẢN LÝ GIAO DỊ CH Ở CÁC CÔNG TY MÔI GIỚI CHỨNG KHỐN Chun ngành: Khoa họ c Máy tính Mã sốngành: 60 48 01 LUẬN VĂN THẠC SĨ TP HỒCHÍ MINH, tháng 11 nă m 2007 ĐẠI HỌC QUỐC GIA TP HCM CỘNG HOÀ XÃ HỘI CHỦNGHIÃ VIỆT NAM TRƯỜNG ĐẠI HỌC BÁCH KHOA Độc Lập - TựDo - Hạnh Phúc oOo - Tp HCM, ngày 05 tháng 11 nă m 2007 NHIỆM VỤLUẬN VĂN THẠC SĨ Họvà tên họ c viên : Võ Hoàng Tam Giớ i tính : Nam / Nữ Ngày, tháng, nă m sinh : 11/12/1982 Nơi sinh : Tây Ninh Chuyên ngành : Khoa họ c Máy tính Khoá : 2005 1- TÊN ĐỀTÀI : MƠ HÌNH CƠ SỞ DỮ LIỆU SONG THỜI GIAN ỨNG DỤNG VÀO QUẢN LÝ GIAO DỊ CH Ở CÁC CƠNG TY MƠI GIỚI CHỨNG KHỐN 2- NHIỆM VỤLUẬN VĂN : - Nghiên cứu mơ hình dữliệ u song thời gian tác giảđ i trước - Đềxuấ t mộ t ngôn ngữtruy vấ n song thời gian - Hiệ n thực hệthố ng hỗtrợngôn ngữtruy vấ n song thời gian nhưlà tầ ng (layer) xây hệquả n trịCSDL Oracle - Ứng dụng hệthống truy vấ n vào việ c n lý giao dị ch ởcác công ty môi giớichứng khốn 3- NGÀY GIAO NHIỆM VỤ: 01/2007 4- NGÀY HỒN THÀNH NHIỆM VỤ: 11/2007 5- HỌVÀ TÊN CÁN BỘHƯỚNG DẪN : TS Dươ ng Tuấ n Anh Nộ i dung đ ềcương Luậ n vă n thạ c sĩđ ã đ ược Hộ i Đồ ng Chuyên Ngành thơng qua CÁN BỘHƯỚNG DẪN CN BỘMƠN QL CHUN NGÀNH TS Dương Tuấ n Anh Ngày tháng nă m TRƯỞNG KHOA QUẢN LÝ NGÀNH CƠNG TRÌNH ĐƯỢC HỒN THÀNH TẠI TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH Cán bộhướng dẫ n khoa học : TS Dươ ng Tuấ n Anh Cán bộchấ m nhậ n xét : TS Nguyễ n Quang Tấ n Cán bộchấ m nhậ n xét :TS Phạ m Trầ n Vũ Luậ n vă n thạ c sĩđ ược bả o vệtạ i HỘI ĐỒNG CHẤM BẢO VỆLUẬN VĂN THẠC SĨ TRƯỜNG ĐẠI HỌC BÁCH KHOA, ngày 03 tháng 12 nă m 2007 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giớichứng khốn LỜI CAM ĐOAN Tơi cam đoan rằ ng, ngoạ i trừcác kế t quảtham khả o từcác cơng trình khác nhưđ ã ghi rõ luậ n vă n, cơng việ c trình bày luậ n vă n tơi thực hiệ n chưa có phầ n nội dung củ a luậ n vă n đ ược nộ p đểlấ y mộ t bằ ng cấ p trườ ng hoặ c trường khác Ngày 05 tháng 11 nă m 2007 Võ Hoàng Tam Võ Hoàng Tam Trang i Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giớichứng khốn LỜI CẢM ƠN Tơi xin gởi lời m ơn chân thành sâu sắ c nhấ tđ ế n TS Dương Tuấ n Anh, người Thầ y tậ n tình hướng dẫ n tơi suốt trình từđạ i họ c tớ i cao họ c tạ o mọ i đ iề u kiệ nđ ểtơi có thểhồn thành luậ n vă n Tơi xin m ơn gia đình độ ng viên tạ o mọ iđ iề u kiệ n tố t nhấ tđ ểtơi tiế p tụ c theo đuổi việ c học tậ p nghiên cứu Tôi trân trọ ng dành tặ ng thành quảcủa luậ n vă n cho Cha Mẹ Nhờcông lao dưỡng dục Người mà chúng có đ ược thành quảnhưngày hơm Con xin hứa sẽtiế p tụ c cốgắ ng phấ n đấ uđ ểvươn cao Võ Hồng Tam Trang ii Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giớichứng khốn TĨM TẮT LUẬN VĂN Thời gian hợp lệghi nhậ n thời gian mà sựviệ c diễ n thếgiới thực Thờ i gian giao tác ghi nhậ n thời gian mà sựviệ cđ ược lưu trữvào cơsởdữliệ u Dữliệ u song thời gian lưu vế t theo cảhai chiề u thờ i gian Cho đế n thời đ iể m hiệ n nay, có rấ t mơ hình cơsởdữliệ u song thời gian đượ c hiệ n thực áp dụng vào thực tế Dựa vào mộ t sốmơ hình dữliệ u song thời gian đ ãđ ược nghiên cứu, luậ n vă n đ ề xuất ngôn ngữtruy vấ n song thời gian Bi-TSQL mởrộng từngôn ngữSQL-92 Bi-TSQL hỗtrợngười sửdụ ng thao tác với dữliệ u thời gian hợp lệ , dữliệ u thời gian giao tác dữliệ u song thời gian Ngữnghĩ a hình thức Bi-TSQL dùng phép tính quan hệbộ(tuple relational calculus) cũ ng đưa nhằ mđ ả m bả o tính đắ n ngôn ngữBi-TSQL Ngôn ngữtruy vấ n cũ ng đ ã đ ược hiệ n thực hóa nhưlà mộ t tầng xây hệquả n trịcơsởdữliệ u Oracle Kế t quảthu đ ược áp dụng vào nghiệ p vụquả n lý dữliệ u giao dị ch chứng khoán cho thấ y hệthống truy vấ n Bi-TSQL có nhiề u ưu đ iể m so với hiệ n thực mẫ u củ a hỗtrợdữliệ u hướng thời gian Võ Hồng Tam Trang iii Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giớichứng khốn ABSTRACT The valid time of a fact records when the fact is true in the real world, and the transaction time of a fact records when the fact is stored as current in the database A bi-temporal database stores data with respect to both valid time and transaction time For the time being, hardly any prototype of bi-temporal data model can find its way to real application in practice Basing on some previous bitemporal data models, we introduce a new bitemporal query language Bi-TSQL, which is an extension of SQL-92 Bi-TSQL can work with valid time data, transaction time data and bitemporal data The formal semantic of Bi-TSQL using tuple relation calculus has also been proposed We implemented this query language as a layer on top of Oracle DBMS using layered implementation technology The experiment in applying this query language to stock transaction management has shown that Bi-TSQL has many promising features Võ Hoàng Tam Trang iv Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giớichứng khốn MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii TÓM TẮT LUẬN VĂN iii DANH MỤC HÌNH viii DANH MỤC BẢNG ix Chương GIỚI THIỆU ĐỀTÀI 1.1 1.2 1.3 Bốicảnh mục tiêu đềtài Cấu trúc luận văn Tổng kết chương Chương CƠSỞLÝ THUYẾT VỀCƠSỞDỮLIỆU HƯỚNG THỜI GIAN 2.1 2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.2 2.2.1 2.2.2 2.2.3 2.3 Các khái niệ m cơbản mơ hình dữliệu hướng thời gian Mơ hình hóa thời gian (model of time) .6 Phân loạ i thời gian (notion of time) Phân loạ i cơsởdữliệ u hướng thời gian (temporal database) Dán nhãn thời gian (Timestamping Data) .10 Ngữnghĩ a củ a dữliệ u hướng thời gian (Semantic of temporal data) .12 Mơ hình cơsởdữliệ u hướng thời gian ngơn ngữtruy vấn liên quan .13 Mơ hình dữliệ u quan hệhướng thời gian (Temporal Relational Model) ngôn ngữ TSQL 13 Mô hình dữliệ u quan hệsong thời gian (Bitemporal Relational Data Model) ngôn ngữTQUEL .15 Mơ hình dữliệ u ý niệ m song thời gian (Bitemporal Conceptual Data Model) ngôn ngữTSQL2 18 Tổng kết chương 21 Chương TỔNG THUẬT CÁC CƠNG TRÌNH NGHIÊN CỨU LIÊN QUAN 23 3.1 3.2 3.3 3.4 3.5 3.6 3.7 Các hướng nghiên cứu liên quan đế n cơsởdữliệu hướng thời gian 23 Mơ hình dữliệu ngôn ngữtuy vấn hướng thời gian 24 Thiế t kếcơsởdữliệ u hướng thời gian 26 Hiệ n thực hỗtrợcơsởdữliệ u hướng thời gian .27 Lập chỉmục hướng thời gian 30 Vấn đềđặt luận văn .34 Tổng kết chương 36 Chương THIẾT KẾCƠSỞ DỮ LIỆU SONG THỜI GIAN HỖ TRỢ HOẠT ĐỘNG MƠI GIỚI CỦA CƠNG TY CHỨNG KHỐN .37 4.1 4.1.1 4.1.2 4.1.3 Võ Hồng Tam Thịtrường chứng khốn nghiệ p vụmơi giới cơng ty chứng khốn 37 Những vấ n đềchung thịtrường chứng khoán 37 Trung tâm giao dị ch chứng khoán 42 Giao dị ch chứng khoán tạ i Trung tâm Giao dị ch Chứng khoán Tp.HCM 43 Trang v Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giớichứng khốn 4.2 4.2.1 4.2.2 4.3 Thiế t kếcơsởdữliệ u hỗtrợhoạt động mơi giới cơng ty chứng khốn.50 Phân tích yêu cầ u vềdữliệ u cho nghiệ p vụquả n lý giao dị ch chứng khoán 50 Thiế t kếlược đồcơsởdữliệ u 52 Tổng kết chương 55 Chương NGÔN NGỮTRUY VẤN SONG THỜI GIAN BI-TSQL 57 5.1 5.1.1 5.1.2 5.1.3 5.1.4 5.1.5 5.1.6 5.1.7 5.1.8 5.2 5.3 5.3.1 5.3.2 5.3.3 5.3.4 5.4 Đềxuất ngôn ngữtruy vấn song thời gian Bi-TSQL 57 Đị nh nghĩ a bả ng dữliệ u hỗtrợdữliệ u hướ ng thờ i gian 58 Mệ nh đềAs Of 59 Mệ nh đềWhen 59 Mệ nh đềValid 61 Các hàm gộ p thao tác gom nhóm .61 Các câu lệ nh cậ p nhậ t dữliệ u 62 Truy vấ n .63 Đị nh nghĩ a ràng buộc 63 Đặc tảcú pháp ngôn ngữBi-TSQL 64 Ngữnghĩ a hình thức ngôn ngữBi-TSQL 67 Biể u diễ n ngữnghĩ a củ a ngôn ngữSQL dùng phép tính quan hệbộ .67 Đị nh nghĩ a hình thứ c tốn tửthời gian vịtừthời gian 68 Ngữnghĩ a củ a câu lệ nh truy vấ n (select) ngôn ngữtruy vấ n song thờ i gian BiTSQL 70 Ngữnghĩ a củ a câu lệ nh nh sửa (insert/update/delete) ngôn ngữtruy vấ n song thời gian Bi-TSQL 72 Tổng kết chương 77 Chương HỆTHỐNG TRUY VẤN CƠ SỞ DỮ LIỆU SONG THỜI GIAN BiTSQL 78 6.1 6.2 6.3 6.4 6.5 6.5.1 6.5.2 6.5.3 6.5.4 6.5.5 6.6 Kiế n trúc hệthống truy vấn Bi-TSQL 78 Giao diệ n người sửdụng cho hệthống truy vấn .81 Thưviện lập trình giao tiế p với hệthống truy vấn 82 Ứng dụng kỹthuật lập chỉmục song thời gian cho hệthống truy vấn 83 Kếtquảthực nghiệ m 86 Khảnă ng biể u diễ n ngôn ngữBi-TSQL 86 So sánh hệthố ng truy vấ n Bi-TSQL vớicác hiệ n thực mẫ u 86 Hiệ u suấ t hệthố ng truy vấ n Bi-TSQL 87 So sánh thời gian thực thi câu truy vấ n Bi-TSQL với câu truy vấ n SQL-92 tương ứng 89 Tác dụng củ a kỹthuậ t lậ p chỉmụ c song thời gian 90 Tổng kết chương 93 Chương TỔNG KẾT – ĐÁNH GIÁ 94 7.1 7.2 7.3 Tổng kết 94 Những đóng góp luận văn 94 Hướng phát triể n .96 CÔNG TRÌNH CƠNG BỐCỦA TÁC GIẢ 97 Võ Hồng Tam Trang vi Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giới chứng khốn  Cập nhậ t dữliệ u (update): thao tác cậ p nhậ t dữliệ u có thểđược mơ hình nhưlà mộ t thao tác xóa dữliệ u cũ,theo sau đ ó mộ t thao tác chèn dữliệ u Các chức nă ng hiệ n thực theo giả i thuật sau: Võ Hồng Tam Trang D-4 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giớichứng khốn Phụlục E Đặc tảCú pháp Ngôn ngữ Bi-TSQL Bên đ ặc tảcú pháp ngôn ngữBi-TSQL theo quy tắ c đị nh nghĩ a vă n phạ m công cụANTLR (ANother Tool for Language Recognition) [24] Ký hiệ u : («x»|«y»|«z») Ý nghĩ a Đị nh nghĩ a luậ t sinh Đị nh nghĩ a luậ t (subrule) («x»|«y»|«z»)? Luậ t tùy chọ n (optional subrule) («x»|«y»|«z»)* Có từ0 đ ế n n phầ n tửtrong cặ p ngoặ c («x»|«y»|«z»)+ Có từ1 đ ế n n phầ n tửtrong cặ p ngoặ c start_rule: sql_statement; sql_statement : sql_command (SEMI)? ; sql_command : to_define_data | to_modify_data ; to_define_data : create_command | drop_command | alter_command ; create_command : create_table ; create_table : "create" ("persistent" )? ( "interval" | "event" )? "table" ( schema_name DOT )? create_table_name OPEN_PAREN new_column_list CLOSE_PAREN ("with" "granularity" granularity)? ( "as" select_statement )? ; Võ Hồng Tam Trang E-1 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giới chứng khốn granularity : "year" | "month" | "day" | "hour" | "minute" | "second" ; create_table_name : IDENTIFIER ; new_column_list : new_column_name datatype ( "default" expression )? ( column_constraint )* ( COMMA new_column_name datatype ( "default" expression )? ( column_constraint )* )* ; new_column_name : IDENTIFIER ; datatype : character_type | date_type | float_type | decimal_type | integer_type ; character_type : ( "char" | "varchar" | "varchar2" | "character") ( OPEN_PAREN NUMBER CLOSE_PAREN )? ; date_type : "date" ; float_type : "float" | "real" | "double"; decimal_type : "number" ( OPEN_PAREN NUMBER ( COMMA NUMBER )? CLOSE_PAREN )? ; integer_type : "integer" | "int" | "smallint" ; column_constraint : "constraint" ( constraint_name )? def_column_constraint ; def_column_constraint : ( ( "not" )? "null" ) | ( "unique" | ( "primary" "key" ) ) | ( "references" ( schema_name DOT )? table_name OPEN_PAREN column_name CLOSE_PAREN ) | ( "check" OPEN_PAREN condition CLOSE_PAREN ) ; constraint_name : identifier; drop_command : drop_table ; drop_table : "drop" "table" ( schema_name DOT )? drop_table_name ; drop_table_name : IDENTIFIER ; Võ Hồng Tam Trang E-2 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giới chứng khốn alter_command : alter_table ; alter_table : "alter" "table" ( schema_name DOT )? table_name alter_table_spec ( alter_table_spec )* ; alter_table_spec : ( "drop" "constraint" OPEN_PAREN constraint_name CLOSE_PAREN ) | "add" "constraint" (constraint_name)? desc_column_constraint ; desc_column_constraint : ( ( "unique" | "primary" "key" ) OPEN_PAREN column_name (COMMA column_name)* CLOSE_PAREN ) | ( "foreign" "key" OPEN_PAREN column_name CLOSE_PAREN "references" (schema_name DOT )? table_name OPEN_PAREN column_name CLOSE_PAREN) | ( "check" OPEN_PAREN condition CLOSE_PAREN ) ; to_modify_data : select_command | insert_command | update_command | delete_command | truncate_command | transaction_command ; truncate_command : "truncate" ("table")? truncate_table_name ; truncate_table_name : IDENTIFIER ; transaction_command : "commit" ( "work" )? ( "comment" QUOTED_STRING )? | ( "set" "transaction" "read" "only" ) | "savepoint" savepoint_name | "rollback" ( "work" )? ( "to" "savepoint" savepoint_name )? ; savepoint_name : identifier ; select_command : select_statement ; select_statement : subquery | select_expression ( ( "union" ("all")? select_expression )* ; Võ Hoàng Tam | "intersect" | "minus" ) Trang E-3 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty môi giới chứng khoán select_expression : select_clause ( valid_clause )? from_clause ( where_clause )? ( when_clause )? ( as_of_clause )? ( group_clause )? ( order_clause )? ; select_clause : "select" ( "all" | "distinct" )? select_list ; from_clause : "from" table_reference_list ; where_clause : "where" where_condition ; when_clause : "when" ; temporal_pred temporal_pred : TRUE | temporal_pred_term ( "or" temporal_pred_term)* ; temporal_pred_term : temporal_pred_fact ( "and" temporal_pred_fact)* ; temporal_pred_fact : OPEN_PAREN temporal_pred CLOSE_PAREN | "not" temporal_pred | temporal_pred_element ( "overlap" | "precede" temporal_pred_element ; | "equal" ) temporal_pred_element : tuple_expression | temporal_pred_constant | OPEN_SQUARE temporal_constant COMMA temporal_constant CLOSE_SQUARE ; tuple_expression : tuple_fact (PLUS VERTBAR NUMBER ("month" | "date" |"months" | "dates") VERTBAR )? ; tuple_fact : tuple_variable | "begin" "of" tuple_variable | "end" "of" tuple_variable ; Võ Hồng Tam Trang E-4 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giới chứng khốn temporal_pred_constant : QUOTED_STRING | NOW | "to_date" OPEN_PAREN QUOTED_STRING COMMA QUOTED_STRING CLOSE_PAREN ; as_of_clause : "as" "of" temporal_constant ( "through" temporal_constant ; )? temporal_constant : QUOTED_STRING | NOW | FOREVER | BEGINNING | date_with_format ; date_with_format : "to_date" OPEN_PAREN QUOTED_STRING COMMA QUOTED_STRING CLOSE_PAREN ; valid_clause : "valid" "during" i_expression | "valid" "at" e_expression | "valid" "from" temporal_constant "to" temporal_constant ; e_expression : event_element | "begin" "of" i_expression | "end" "of" i_expression | OPEN_PAREN e_expression CLOSE_PAREN ; i_expression : i_expression_factor ( ("overlap" | "extend" ) i_expression_factor)* ; i_expression_factor : interval_element | OPEN_PAREN i_expression CLOSE_PAREN | OPEN_SQUARE temporal_constant COMMA temporal_constant CLOSE_SQUARE ; interval_element : tuple_variable | temporal_double_constant; event_element : tuple_variable | temporal_double_constant; tuple_variable : IDENTIFIER ; temporal_double_constant : QUOTED_STRING | NOW | "to_date" OPEN_PAREN QUOTED_STRING COMMA QUOTED_STRING CLOSE_PAREN ; Võ Hoàng Tam Trang E-5 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty môi giới chứng khoán select_list :(( displayed_column ) => displayed_column (COMMA displayed_column)* | ASTERISK ) ; table_reference_list : selected_table ( COMMA selected_table )* ; where_condition : condition ; displayed_column : ((schema_name DOT)? table_name DOT ASTERISK)=> ((schema_name DOT )? table_name DOT ASTERISK) | ( exp_simple ( alias )? ) ; schema_name : identifier ; table_name : identifier ; exp_simple : expression ; expression : term ( ( PLUS | MINUS ) term )* ; alias : ( "as" )? identifier ; term : factor ( ( multiply | DIVIDE ) factor )* ; multiply : ASTERISK ; factor : factor2 ( VERTBAR VERTBAR factor2 )* ; factor2 : ( sql_literal ) => sql_literal | ( ( PLUS | MINUS ) expression ) => ( PLUS | MINUS ) expression | ( function ( OPEN_PAREN expression ( COMMA expression )* CLOSE_PAREN ) ) => function ( OPEN_PAREN expression ( COMMA expression )* CLOSE_PAREN ) | ( group_function OPEN_PAREN ( ASTERISK | "all" | "distinct" )? (expression)? CLOSE_PAREN ) => group_function OPEN_PAREN(ASTERISK | "all" | "distinct" )? (expression)? CLOSE_PAREN | ( user_defined_function ( OPEN_PAREN expression (COMMA expression)* CLOSE_PAREN ) ) => user_defined_function ( OPEN_PAREN expression ( COMMA expression )* CLOSE_PAREN ) | ( OPEN_PAREN expression CLOSE_PAREN ) => OPEN_PAREN expression CLOSE_PAREN | ( variable ) => variable | expression_list ; expression_list : OPEN_PAREN expression ( COMMA expression )+ CLOSE_PAREN ; sql_literal : ( NUMBER | QUOTED_STRING | "null" ) ; variable : ( column_spec ( OPEN_PAREN PLUS CLOSE_PAREN ) ) => column_spec ( OPEN_PAREN PLUS CLOSE_PAREN ) | column_spec ; Võ Hoàng Tam Trang E-6 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty môi giới chứng khoán column_spec : ( ( schema_name DOT )? table_name DOT )? column_name ; user_defined_function : ( ( schema_name DOT )? package_name DOT )? identifier ; package_name : identifier ; column_name : identifier ; function : number_function | char_function | conversion_function | other_function ; number_function : "abs" | "ceil" | "floor" | "mod" | "power" | "round" | "sign" | "sqrt" | "trunc" ; char_function : "chr" | "initcap" | "lower" | "lpad" | "ltrim" | "replace" | "rpad" | "rtrim" | "soundex" | "substr" | "translate" | "upper" | "ascii" | "instr" | "length" | "concat" ; group_function : "avg" | "count" | "max" | "min" | "stddev" | "sum" | "variance" ; conversion_function : "chartorowid" | "convert" | "hextoraw" | "rawtohex" | "rowidtochar" | "to_char" | "to_date" | "to_number" ; other_function : "decode" | "dump" | "greatest" | "least" | "nvl" | "uid" | "userenv" | "vsize" ; selected_table : ( table_spec | subquery ) ( selected_table_alias )? ; table_spec : ( selected_schema_name DOT )? selected_table_name ( AT_SIGN link_name )? ; selected_schema_name : IDENTIFIER ; selected_table_name : IDENTIFIER ; selected_table_alias : ("as")? IDENTIFIER ; Võ Hoàng Tam Trang E-7 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty môi giới chứng khoán table_alias : ( schema_name DOT )? table_name ( AT_SIGN link_name )? ( alias )? ; link_name : identifier ; condition : logical_term ( "or" logical_term )* ; logical_term : logical_factor ( "and" logical_factor )* ; logical_factor : ( ( "prior" ) ? exp_simple comparison_op ( "prior" )? exp_simple ) => ( ( "prior" ) ? exp_simple comparison_op ( "prior" )? exp_simple ) | ( exp_simple ( "not" )? "in" ) => exp_simple ("not")? "in" exp_set | ( exp_simple ( "not" )? "like" ) => exp_simple ( "not" )? "like" expression ( "escape" QUOTED_STRING )? | ( exp_simple ( "not" )? "between" ) => exp_simple ( "not" )? "between" exp_simple "and" exp_simple | ( exp_simple "is" ("not")?"null" ) => exp_simple"is"("not")? "null" | ( quantified_factor ) => quantified_factor | ( "not" condition ) => "not" condition | ( OPEN_PAREN condition CLOSE_PAREN ) ; quantified_factor : ( exp_simple comparison_op ( "all" | "any" )? subquery ) => exp_simple comparison_op ( "all" | "any" )? subquery | ( ( "not" )? "exists" subquery ) => ( "not" )? "exists" subquery | subquery ; comparison_op : EQ | LT | GT | NOT_EQ | LE | GE ; exp_set : ( exp_simple ) => exp_simple | subquery ; subquery : OPEN_PAREN select_command CLOSE_PAREN ; group_clause : "group" "by" expression ( COMMA expression )* ( "having" condition )? ; set_clause : ( ( "union" "all" ) | "intersect" | "minus" ) select_command ; order_clause : "order" "by" sorted_def ( COMMA sorted_def )* ; Võ Hồng Tam Trang E-8 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giới chứng khốn sorted_def : ( (expression) => expression | ( NUMBER ) => NUMBER ) ( "asc" | "desc" )? ; delete_command : "delete" ( "from" )? delete_table_name ( valid_clause )? ( where_clause )? ; delete_table_name : IDENTIFIER ; update_command : ( subquery_update ) => subquery_update | simple_update ; simple_update : "update" ("table")? update_table_name "set" column_spec EQ ( (expression) => expression | select_command ) ( COMMA column_spec EQ ((expression) => expression|select_command) )* ( valid_clause )? ( where_clause )? ; subquery_update : "update" ("table")? update_table_name "set" OPEN_PAREN column_spec ( COMMA column_spec )* CLOSE_PAREN EQ select_command ( valid_clause )? ( where_clause )? ; update_table_name : IDENTIFIER ; insert_command : "insert" "into" insert_table_name ( OPEN_PAREN insert_column ( COMMA insert_column )* CLOSE_PAREN )? ( value_list | select_command ) ( valid_clause )? ; insert_table_name : IDENTIFIER ; insert_column : IDENTIFIER ; value_list : "values" OPEN_PAREN expression ( COMMA expression )* CLOSE_PAREN ; identifier : IDENTIFIER ; tokens { NOW = "now"; FOREVER = "forever"; TRUE = "true"; BEGINNING = "beginning"; } Võ Hồng Tam Trang E-9 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giới chứng khốn IDENTIFIER : 'a' 'z' ( 'a' 'z' | '0' '9' | '_' | '$' | '#' )* | '"' ( ~'"' )* '"' ; QUOTED_STRING : '\'' ( ~'\'' )* '\'' ; SEMI DOT COMMA ASTERISK AT_SIGN OPEN_PAREN CLOSE_PAREN OPEN_SQUARE CLOSE_SQUARE PLUS MINUS DIVIDE VERTBAR EQ : : : : : : : : : : : : : : ';'; '.' ; ',' ; '*' ; '@' ; '(' ; ')' ; '[' ; ']' ; '+' ; '-' ; '/' ; '|' ; '=' ; NOT_EQ: ''{_ttype = NOT_EQ;}) | ('='{ _ttype = LE; }) )? | "!=" | "^=" ; GT : '>' ( '=' { _ttype = GE; } )? ; NUMBER : ( PLUS | MINUS )? ( ( N DOT N ) => N DOT N | DOT N | N ) ( "e" ( PLUS | MINUS )? N )? ; N : '0' '9' ( '0' '9' )* ; Võ Hoàng Tam Trang E-10 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giớichứng khốn Phụlục F Bảng đối chiếu Thuật ngữ Anh - Việt Các thuậ t ngữtrong thịtrường chứng khoán: Thuật ngữTiếng Anh Thuật ngữTiếng Việt Advisory account Loạ i "tài khoả n tưvấ n" khách hàng mởtạ i Cơng ty Chứng khốn Bond Trái phiế u Broker Người mơi giớichứng khốn Capital market Thịtrường vốn Cash account Loạ i "tài khoả n thông thường" khách hàng mở tạ i Công ty Chứng khoán Common stock Cổphiế u thường Discretionary account Loạ i "tài khoả n ủy thác" khách hàng mởtạ i Công ty Chứng khoán Dividen Cổtức Matching order Khớp lệ nh thịtrường chứng khoán Matching price Khớp giá thịtrường chứng khoán Money market Thịtrường tiền tệ Preferred stock Cổphiế u ưu đãi Securities Market Thịtrường chứng khoán Securities Trading center Trung tâm giao dị ch chứng khoán Stock Cổphiế u Trading floor Sàn giao dị ch Các thuậ t ngữtrong chuyên ngành: Thuật ngữTiế ng Anh Thuật ngữTiế ng Việ t ADT, Abstract Data Type Kiể u dữliệu trừu tượng Aggregate Gom nhóm dữliệu Attribute, column Thuộc tính kiể u thực thể , mộtcột bả ng dữliệu Võ Hồng Tam Trang F-1 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Cơng ty mơi giới chứng khốn Bitemporal database Cơsởdữliệ u song thờigian Conceptual design Thiế t kếcơsởdữliệu ởmức ý niệ m Data model Mơ hình dữliệ u DBMS, DataBase Management System Hệquả n trịcơsởdữliệ u Entity lifespan Thời gian tồn tạ i mộtthực thể Entity type Kiể u thực thể ERD, ER diagram Lược đồthực thểmối liên kế t Event extraction Trích thời gian bắ t đầ u thời gian kếtthúc interval Event, instant Sựkiện, thời điể m File processing system Hệthống xửlý tập tin Granularity, chronon Độmị n thờigian Historical database, valid-time database Cơsởdữliệ u lị ch sử Instant timestamp Gán nhãn thời gian thời điểm Interval constructor Toán tửtạ o interval từcác event hoặ c interval khác Interval timestamp Gán nhãn thời gian thời khoả ng Interval, period, duration Khoả ng thời gian Logical design Thiế t kếcơsởdữliệu ởmức luậ n lý Nontemporal, time-invariant Bấ t biế n theo thời gian Normal form Dạ ng chuẩ n hóa cơsởdữliệu Object-oriented model Mơ hình dữliệ u hướng đối tượng Relation, table Quan hệ , bả ng dữliệ u Relational algebra Đạ i sốquan hệ Relational calculus Phép tính quan hệ Relational model Mơ hình dữliệ u quan hệ Relational schema Lược đồcơsởdữliệ u quan hệ Relationship type Kiể u mốiquan hệ Võ Hoàng Tam Trang F-2 Mơ hình cơsởdữliệu song thời gian -Ứng dụng vào quản lý giao dị ch ởcác Công ty mơi giới chứng khốn Rollback database, transaction-time database Cơsởdữliệ u giao tác Snapshot database Cơsởdữliệ u tức thời Temporal data Dữliệ u thay đổitheo thời gian Temporal database Cơsởdữliệ u hướng thời gian Temporal normalization Chuẩ n hóa cơsởdữliệu hướng thời gian Temporal predicate Biể u thức boolean so sách giá trịthời gian Temporal, time-varying, timeoriented, time-dependent Thay đổi theo thời gian Timestamp Nhãn thời gian Timestamp referencing Truy xuấ t đế n nhãn thời gian gán cho bộdữliệ u (tuple) Transaction time Thời gian giao tác Transaction timeslice Chọn bộdữliệ u (tuple) quan hệ thỏa điề u kiệ n vềthời gian giao tác Tuple, row Mộthàng bả ng dữliệ u, bộdữliệ u Valid time Thời gian hợp lệ Valid timeslice Chọn bộdữliệ u (tuple) quan hệ thỏa điề u kiệ n vềthời gian hợp lệ Võ Hoàng Tam Trang F-3 ... Mơ hình cơsởd? ?liệu song thời gian -? ??ng dụng vào quản lý giao dị ch ? ?các Công ty môi giới chứng khốn Hình 2.2: Cơsởdữliệ u lị ch sửtrong ngữcả nh thời gian hợp lệvà thời gian giao tác Cơsởd? ?liệu. .. thời gian giao tác Võ Hoàng Tam Trang Mơ hình cơsởd? ?liệu song thời gian -? ??ng dụng vào quản lý giao dị ch ? ?các Công ty môi giới chứng khoán Cơsởd? ?liệu song thời gian (bitemporal database) Cơsởdữliệ... cơsởd? ?liệu song thời gian -? ??ng dụng vào quản lý giao dị ch ? ?các Công ty mơi giới chứng khốn Chương CƠ SỞ LÝ THUYẾT VỀCƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN Các khái niệ m cơbản củ a mơ hình dữliệ u hướng thời gian