ĐẠI HỌC QUỐC GIA TP HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA TP HCM Phạm văn Chung RÀNG BUỘC TOÀN VẸN VÀ TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN VÀ ỨNG DỤNG LUẬN ÁN TIẾN SĨ KỸ THUẬT Chuyên ngành: Khoa học máy tính Mã số: 60.48.01.01 TP.HCM - Năm 2008 ĐẠI HỌC QUỐC GIA TP HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA TP HCM Phạm văn Chung RÀNG BUỘC TOÀN VẸN VÀ TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN VÀ ỨNG DỤNG LUẬN ÁN TIẾN SĨ KỸ THUẬT Chuyên ngành: Khoa học máy tính Mã số: 60.48.01.01 NGƯỜI HƯỚNG DẪN KHOA HỌC 1- PGS.TS DƯƠNG TUẤN ANH 2- PGS TS TRẦN THÀNH TRAI Phản biện 1: PGS.TS Đồng thị Bích Thủy Phản biện 2: PGS TSKH Nguyễn Xuân Huy Phản biện 3: PGS TS Đỗ Phúc Bảo vệ luận án cấp Nhà nước ngày 25/6/2008 ĐH Bách khoa, ĐH Quốc gia Tp HCM TP.HCM - Năm 2008 LỜI CAM ĐOAN Tôi cam đoan nội dung luận án kết nghiên cứu riêng Tất ý tưởng tham khảo từ kết nghiên cứu công bố công trình khoa học nêu rõ luận án Những chương trình phần mềm cài đặt đóng góp luận án thực chưa công bố công trình khác Tác giả luận án Phạm văn Chung i LỜI CẢM ƠN Trân trọng cảm tạ quí thày Ban Lãnh đạo Khoa CNTT, chủ nhiệm môn sở liệu trường ĐHBK-TP.HCM động viên, hướng dẫn tạo điều kiện thuận lợi cho trình nghiên cứu thực luận án Xin tri ân PGS TS Dương Tuấn Anh, PGS TS Trần Thành Trai người Thày tận tình dẫn dắt suốt trình học hỏi, nghiên cứu khoa học, thực chuyên đề Đặc biệt Thày Dương Tuấn Anh truyền thụ cho nhiều kiến thức, phương pháp làm việc, nghiên cứu cho nghiên cứu sinh để tìm đóng góp luận án Xin cảm ơn GS TS Yual Shahar, M.D., Ph.D, Professor of Medicine and Computer Science Stanford Medical Informatics Medical School Office Building X215, 251 Campus Drive Stanford University Standford, CA 94305-5479, GS TS Hồ Tú Bảo, School of Knowledge Science, Japan Advanced Institute of Science and Technology, cung cấp tài liệu cho nhiều ý kiến qúi báu giúp hoàn thiện luận án Chân thành cảm ơn Ban Giám Đốc Bệnh viện Ung Bướu TP.HCM tiếp nhận, tạo điều kiện cho phép tìm hiểu liệu bệnh nhân bệnh ung thư, ThS BS Nguyễn Đức Bảo quí Bác sĩ Phòng Chỉ Đạo tuyến Bệnh viện hướng dẫn, giải thích cho thu thập liệu bệnh án, để thực ứng dụng luận án Trân Trọng NCS Phạm văn Chung ii DANH MỤC CHỮ VIẾT TẮT CSDL : sở liệu CSDLTG : sở liệu hướng thời gian CEA : CarcinoEmbryonic Antigen: chất đánh dấu sinh học tốt cho bệnh Ung thư đại trực tràng Câu PS: câu-có-khuôn-mẫu Hệ thống KBTA: hệ thống khung thức tổng quát KBTA KBTA : Knowledge-based temporal abstraction RBTV : ràng buộc toàn vẹn RBTVTG : tính toàn vẹn liệu ràng buộc theo thời gian TYTG : trích yếu thời gian iii MỤC LỤC MỞ ĐẦU Chương TỔNG QUAN ………………………………………………… 1.1 Phân tích, đánh giá số công trình trước …………………… 1.1.1 Mô hình liệu thời gian ……………………………………… 1.1.2 Ngôn ngữ truy vấn thời gian …………………………………… 1.1.3 Tính toàn vẹn liệu ràng buộc theo thời gian ……… 1.1.4 Trích yếu thời gian sở liệu thời gian …………… 1.2 Những vấn đề nghiên cứu luận án …………………………… 1.2.1 Mô hình liệu thời gian ngôn ngữ truy vấn thời gian … 1.2.2 Ràng buộc toàn vẹn thời gian ………………………………… 1.2.3 Trích yếu thời gian ………………………………………… … 1.3 Tổ chức luận án ………………………………………………… 3 12 16 16 17 18 19 Chương 20 CƠ SỞ LÝ THUYẾT ……………………………………… 2.1 2.2 2.3 2.4 Một số thuật ngữ ……………………………………………………… Thời gian hợp lệ mô hình liệu thời gian ………………… Bảng liệu trạng thái, bảng liệu biến cố khoảng thời gian Những phép toán khoảng thời gian …………………………… 2.4.1 Phép so sánh khoảng ………………………………………… 2.4.2 Phép hội (UNION) ……………………………………………… 2.4.3 Phép giao (INTERSECT) ……………………………………… 2.4.4 Phép trừ (MINUS) ……………………………………………… 2.4.5 Phép toán fold ………………………………………………… 2.4.6 Phép toán unfold ……………………………………………… 2.5 Sự chuẩn hoá thời gian ……………………………………………… 2.5.1 Tính chất đồng phụ thuộc thời gian …………………… 2.5.2 Sự chuẩn hoá thời gian ………………………………………… 2.6 Sự cần thiết chuẩn hoá thời gian ……………………………… 2.7 Vấn đề thời gian bất định CSDLTG ………………………… 2.7.1 Tính bất định …………………………………………………… 2.7.2 Mở rộng ngữ nghĩa …………………………………………… 2.8 Ngôn ngữ truy vấn thời gian ………………………………………… 2.8.1 Đại số quan hệ ………………………………………………… 2.8.2 Đại số quan hệ thời gian ……………………………………… 2.8.3 Chuyển đại số quanhệ thời gian thành đại số quan hệ …… 2.8.4 Tiểu ngôn ngữ truy vấn thời gian SubTSQL ………………… 2.9 Tóm tắt chương ……………………………………………………… iv 20 22 22 23 24 26 26 26 26 28 28 29 31 32 33 33 34 36 36 36 37 37 37 Chương TÍNH TOÀN VẸN CỦA DỮ LIỆU RÀNG BUỘC THEO THỜI GIAN 40 3.1 Đồ thị chuyển trạng thái biểu thị RBTVTG …………………… 3.1.1 Định nghĩa (Đồ thị chuyển trạng thái ) …………………… 3.1.2 Định nghĩa (Thoả mãn nhãn cạnh đồ thị)……… 3.1.3 Định nghĩa (Dãy chuyển trạng thái) ……………………… 3.1.4 Định nghĩa (Ràng buộc theo thứ tự thời gian) …………… 3.1.5 Định nghĩa (Ràng buộc qui luật nghiệp vụ) ………… 3.1.6 Định nghĩa (Ràng buộc dãy chuyển trạng thái) …… 3.2 Xây dựng thủ tục kiểm tra RBTVTG ……………… ……… 3.2.1 Những trạng thái lặp lại dãy chuyển trạng thái … 3.2.2 Kiểm tra RBTVTG đồ thị chuyển trạng thái …………… 3.3 Xây dựng đồ thị chuyển trạng thái từ đặc tả ràng buộc toàn vẹn 3.3.1 Cú pháp ngữ nghĩa PS ………………………… 3.3.2 Đặc tả RBTVTG PS ………………………………… 3.3.3 Kiểm tra PS hợp lệ ………………………………………… 3.3.4 Chuyển đổi PS thành đồ thị chuyển trạng thái ………… 3.4 Cài đặt RBTVTG ………………………………………………… 3.4.1 RBTVTG qui luật nghiệp vụ ……………………………… 3.4.2 Đặc tả ràng buộc RB PS ……………………………… 3.4.3 Chuyển đổi PS thành đồ thị chuyển trạng thái …………… 3.4.4 Lược đồ sở liệu kiểm tra RBTVTG ……………… 3.5 Tầm quan trọng RBTVTG 3.6 Biện luận …………………………………………………………… 3.6.1 So sánh hướng tiếp cận luận án với hướng tiếp cận Gertz 3.6.2 Đánh giá chi phí thực nghiệm ………………………… 3.7 Tóm tắt chương ……………………………………………………… 41 42 44 45 45 46 47 47 49 57 57 57 60 64 67 69 69 70 70 72 72 74 74 Chương TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU THỜI GIAN 79 4.1 Những phương pháp suy diễn tri thức cần thiết ……… 4.1.1 Những phương pháp suy diễn chế…………………… 4.1.2 Những tri thức cần thiết cho trích yếu thời gian …………… 4.2 Cơ sở tri thức cho trích yếu thời gian ……………………………… 4.2.1 Một số tính chất luật suy diễn …………………………… 4.2.2 Tính an toàn (safe) luật ………………………………… 4.2.3 Luật suy diễn thời gian sở liệu thời gian ……… 4.2.4 Ngôn ngữ trích yếu thời gian TAR (Temporal-Abstraction Rules) 4.2.5 Luật TYTG theo chiều ngang dùng chế suy diễn thời gian 4.2.6 Luật TYTG theo chiều dọc dùng chế trích yếu đồng thời 4.2.7 Luật TYTG theo nội suy thời gian dùng chế nội suy thời gian 80 80 84 84 84 86 87 88 90 v 76 77 91 92 4.2.8 Luật TYTG chế trích yếu thời gian ………… 4.3 Trích yếu thời gian đồ thị suy diễn …………………………… 4.3.1 Đồ thị suy diễn ………………………………………………… 4.3.2 Hướng tiếp cận trích yếu thời gian đồ thị suy diễn …… 4.3.3 Xây dựng thủ tục trích yếu thời gian đồ thị suy diễn … 4.4 Phân rã liệu theo thời gian để chuẩn bị TYTG ……………… 4.4.1 Thủ tục phân rã liệu ………………………………………… 4.4.2 Phân tích độ phức tạp giải thuật phân rã liệu ……… 4.4.3 Một ví dụ phân rã liệu ……………………………………… 4.5 Ứng dụng trích yếu thời gian ……………………………………… 4.5.1 Xây dựng luật suy diễn ứng dụng …………………… 4.5.2 Xây dựng đồ thị suy diễn ứng dụng ………………… 4.6 Cài đặt trích yếu thời gian ………………………………………… 4.6.1 Tổ chức sở liệu ………………………………………… 4.6.2 Tích hợp TYTG với quản lý liệu thời gian vào kiến trúc đơn 4.6.3 Kiến trúc hệ thống TDM ………………………………… 4.6.4 Ví dụ câu truy vấn TYTG …………………………………… 4.7 Phân tích TYTG dựa vào thực nghiệm ……………………… 4.7.1 Chi phí TYTG luận án thực nghiệm …………… 4.7.2 Chi phí hệ thống RÉSUMÉ Shahar IDAN Boaz 4.8 Tóm tắt chương …………………………………………………… Chương NHỮNG KẾT QUẢ VÀ BIỆN LUẬN 93 94 94 97 99 103 104 104 105 108 109 114 114 114 115 116 119 122 122 124 125 127 Kết chương ……………………………………………… Kết chương ……………………………………………… Kết chương …………………………………………… Hướng phát triển luận án ………………………………… 127 128 130 133 KẾT LUẬN ………………………………………………………………… 135 PHỤ LỤC A ……………………………………………………………… -1- PHỤ LỤC B ……………………………………………………………… -14- PHỤ LỤC C ……………………………………………………………… -27- PHỤ LỤC D ……………………………………………………………… -31- PHỤ LỤC E ……………………………………………………………… -45- CÔNG TRÌNH CỦA TÁC GIẢ …………………………………………… A TÀI LIỆU THAM KHẢO ………………………………………………… B 5.1 5.2 5.3 5.4 vi DANH MỤC BẢNG Bảng 1.1.1a : Những mô hình liệu thời gian Bảng 1.1.1b : Bảng Phien_truc Bảng 1.1.1c : Bảng Luong Bảng 1.1.3a : Quan hệ rα Bảng 1.1.3b : Những quan hệ bổ trợ rα Bảng 2.4a: Định nghĩa phép so sánh khoảng Bảng 2.4b: Minh họa hình học phép so sánh khoảng Bảng 2.5.1a: Quan hệ Employee Bảng 2.5.1b: Quan hệ Maintenance Bảng 2.5.1c: Quan hệ Sal-Mgr Bảng 2.6a: kết câu truy vấn thừa thông tin Bảng 2.6b: Kết cho câu truy vấn Bảng 4.4.3a : Bảng Vertices Bảng 4.4.3b : Bảng Transition_state Bảng 4.4.3c : Bảng Labels Bảng 5.4.3a : Bảng liệu thời gian E đối tượng Bảng 5.4.3b : Bảng Temp ứng với đối tượng P005 Bảng 5.4.3c : Bảng Temp ứng với đối tượng P001 Bảng 5.6.3 : Màn hình giao diện cho trích yếu thời gian Bảng 5.6.4a : Dữ liệu truy xuất từ CSDL vào bảng retrievedtable Bảng 5.6.4b : Kết TYTG bảng 5.6.3a Bảng 5.7.1 : Độ phức tạp semi-naive vii 5 9 24 25 29 29 30 32 33 71 71 72 106 106 106 137 121 121 125 DANH MỤC HÌNH Hình 1.1.3: Đồ thị chuyển trạng thái ……………………………… Hình 1.1.4a: Trình bày tổng quát phương pháp KBTA…………… Hình 1.1.4b: Những giá trị định tính cho TYTG độ đo khí máu Hình 1.1.4c: Khung thức khám phá tri thức CSDL viêm gan Hình 2.3: Bảng trạng thái drug_treatment bảng biến cố CEA_value Hình 2.4.5a: Thực phép fold thuộc tính Duration……… Hình 2.4.5b: Thủ tục fold …………………………………………… Hình 2.5.2:Phân rã Sal-Mgr thành Tmanager Tsalary ……… Hình 3.1.1 :Đồ thị chuyển trạng thái T …………………………… Hình 3.1.2 : Nhãn cạnh đồ thị …………………………… Hình 3.1.4 : Ràng buộc theo thứ tự thời gian …………… ……… Hình 3.1.5 : Đồ thị chuyển trạng thái , s1 thái đầu …………… Hình 3.2.1a : Đồ thị chuyển trạng thái có s1: đỉnh khởi đầu, s4: đỉnh kết thúc Hình 3.2.1b : Ghi giá trị tần suất t vào bảng liệu Hình 3.2.2a : Minh họa thêm liệu vào đỉnh j vị trí liền sau với đỉnh i Hình 3.2.2b : Thủ tục Insertting(O, n, t) …………………………… Hình 3.2.2c : Những thủ tục thủ tục Inserting …………… Hình 3.2.2d : Những hàm cho thủ tục Inserting …………………… Hình 3.2.2e : Xoá thể đối tượng s3 ………………… Hình 3.2.2f : Xoá đối tượng O có giá trị x đỉnh đồ thị Hình 3.2.2g : Thủ tục Deleting(O, n, x) …………………………… Hình 3.2.2h : Thủ tục Updating (O, n, x )…………………………… Hình 3.3.2a : Đồ thị chuyển trạng thái có nhãn l3 mâu thuẫn … Hình 3.3.2b : Đồ thị chuyển trạng thái tương ứng với PS ví dụ 3.3.2b Hình 3.3.3a : Thủ tục check_state_label (L, V) …………………… Hình 3.3.3b : Thủ tục contradictory_label(TS)…………………… Hình 3.3.3c : Thủ tục object_passed (V, TS) …………………… Hình 3.3.3d : Thủ tục double_label(TS) …………………………… Hình 3.3.3e : Thủ tục non_transfer(TS) …………………………… Hình 3.3.3f : Thủ tục check_ label (L, TS)………………………… Hình 3.3.4a : Thủ tục chuyển PS thành đồ thị chuyển trạng thái Hình 3.3.4b : Những thủ tục thủ tục PS_to_TransGraph Hình 3.3.4c : Những thủ tục thủ tục PS_to_TransGraph (tiếp theo) Hình 3.4.2: PS diễn tả ràng buộc RB ………………………………… Hình 3.4.3 : Đồ thị chuyển trạng thái mô tả RBTVTG chu kỳ sống đối tượng Hình 3.6 :Thời gian kiểm tra RBTVTG ứng với số mẩu tin CSDL viii 11 12 14 15 23 27 28 31 42 44 44 46 48 49 50 52 52 53 53 54 55 56 60 63 65 65 66 66 66 67 68 68 69 70 71 76 %{ #include "myparser.h" %} %% SELECT FROM WHEN WHERE DURING = [a-zA-Z][a-zA-Z0-9_$]* [0-9]+ \[ \] \/ , ; [ \t\n]+ %% {strcpy(yylval.string,yytext); return SELECT;} {strcpy(yylval.string,yytext); return FROM;} {strcpy(yylval.string,yytext); return WHEN;} {strcpy(yylval.string,yytext); return WHERE;} {strcpy(yylval.string,yytext); return DURING;} {strcpy(yylval.string,yytext); return EQ;} {strcpy(yylval.string,yytext);return IDENTIFIER;} {strcpy(yylval.string,yytext); return NUMBER;} {strcpy(yylval.string,yytext); return LBRACKET;} {strcpy(yylval.string,yytext); return RBRACKET;} {strcpy(yylval.string,yytext); return SLASH;} {strcpy(yylval.string,yytext); return COMMA;} {strcpy(yylval.string,yytext); return SEMICOLON;} /* ignore whitespace */; Hình D6: Mã nguồn tập tin phân tích từ vựng Mã nguồn hình D6 hình D7 trình soạn thảo, ví dụ Parser Generator biên dịch sang mã ngôn ngữ C, từ cho kết qủa biên dịch - 179 - PHỤ LỤC E THIẾT KẾ MỨC QUAN NIỆM VÀ MỨC LUẬN LÝ CHO CSDLTG Có số hướng tiếp cận thiết kế mô hình liệu thời gian đưa [31],[32] Trong phụ lục này, dựa ý tưởng Snodgrass[64], trình bày thiết kế mức quan niệm mức luận lý cho mô hình liệu thời gian A) Thiết kế mức quan niệm Hướng thiết kế mức quan niệm cho ứng dụng có yếu tố thời gian bước đầu thiết kế, không quan tâm đến yếu tố thời gian có nghĩa trình thiết kế giai đoạn tương tự thiết kế sơ đồ kết hợp thực thể (ER) truyền thống [15] Và sau hoàn tất sơ đồ ER thế, thành phần sơ đồ mà ứng dụng đòi hỏi có yếu tố thời gian; gắn giải (annotation) ngôn ngữ tự nhiên Hướng tránh nhầm lẫn có hay yếu tố thời gian trình thiết kế sơ đồ ER Và sơ đồ ER dễ đọc hơn; không cần định nghĩa thêm ký hiệu cho yếu tố thời gian 1) Sơ đồ ER yếu tố thời gian Sơ đồ ER yếu tố thời gian sơ đồ ER truyền thống, nên không cần vào chi tiết thuật ngữ hay khái niệm Sơ đồ ER xây dựng gồm có thành phần sau: - Những thực thể mạnh - Những thực thể yếu - Những thuộc tính khoá - Những thuộc tính không tham gia vào khoá - Những mối liên kết - Những ràng buộc toàn vẹn - 180 - 2) Chú giải thời gian Trước khi, thực đặt giải thời gian cho sơ đồ thiết kế, cần giải thích số thuật ngữ sử dụng sau: Thời gian sống thực thể (entity lifespan) Thời gian sống thực thể thời gian mà thực thể tồn ứng dụng Căn vào thời gian sống thực thể, phân loại thực thể như: Loại thứ thực thể mà thời gian tồn ứng dụng, không cần thời gian sống cho chúng, mặc định hiểu chúng tồn thời gian Loại thứ hai có thời gian sống ẩn tàng, xem chúng yếu tố thời gian, nên không cần thời gian sống Những thực thể không thuộc hai loại trên, xếp vào loại thực thể có thời gian sống, người thiết kế cần phải rõ thời gian sống cho chúng Thời gian sống thực thể biểu thị bằng: thời điểm xảy biến cố (ví dụ: Chuyến bay số 123 cất cánh lúc 30 ngày 12/4/2004), hay khoảng thời gian (ví dụ: Chuyến bay 123 bị hủy từ ngày 20/5/2004 đến 27/5/2004) hay tập gồm khoảng thời gian Mối liên kết có thời gian hợp lệ Một kiểu mối liên kết mà tồn theo với khoảng thời gian, gọi mối liên kết có thời gian hợp lệ Thời gian hợp lệ cho mối liên kết cụ thể phải tập phép giao khoảng thời gian sống thực thể liên kết Độ mịn thời gian cần ghi chú, thời gian hợp lệ mối liên kết cần ghi lại Thuộc tính thời gian hợp lệ Thuộc tính thực thể có giá trị thay đổi theo thời gian gọi thuộc tính có thời gian hợp lệ Loại thuộc tính này, giá trị thay đổi thời gian sống thực thể liên kết hay thời gian hợp lệ mối - 181 - liên kết với thực thể chứa Thời gian hợp lệ cho giá trị thuộc tính thực thể cụ thể phải tập thời gian sống thực thể Những thuộc tính khoá Một khoá thay đổi theo thời gian xác định thể thực thể điểm thời gian Ngược lại, khoá không thay đổi theo thời gian xác định thể thực thể thời gian 3) Những thành phần có liệu thay đổi theo thời gian Có ba thành phần sơ đồ ER có liệu thay đổi theo thời gian, là: thực thể có thời gian sống cần ghi, mối liên kết có thời gian hợp lệ thuộc tính thời gian hợp lệ Do giải thời gian sơ đồ mức quan niệm ER cần ghi rõ: - Những thực thể có thời gian sống cần ghi - Những mối liên kết mối liên kết thời gian hợp lệ - Những thuộc tính thực thể thuộc tính thời gian hợp lệ - Những thành phần khác giải, hiểu yếu tố thời gian B) Thiết kế mức luận lý Thiết kế mức luận lý tiếp diễn hai giai đoạn Thứ nhất, lần bỏ qua ảnh hưởng thời gian ứng dụng, chuyển đổi sơ đồ ER yếu tố thời gian thành quan hệ không thời gian, kết số quan hệ Thứ hai, giải đưa vào quan hệ mức luận lý, tạo sửa đổi quan hệ thích hợp với giải Trong phần trình bày phần bổ sung giải vào quan hệ xây dựng từ giai đoạn thứ quan hệ thêm vào thuộc tính thời gian hợp lệ, giai đoạn thứ đơn giản yếu tố thời gian trình bày nhiều tài liệu sẵn có Quá trình thiết kế mức luận lý gồm bước mục sau: - 182 - 1) Chọn độ mịn thời gian Mỗi thành phần sơ đồ ER giải thời gian Khi chuyển đổi thành quan hệ, thêm vào cột để ghi: thời gian biến cố xảy (thời gian biến cố, xem phần 2.3) hay khoảng thời gian mà tồn tại, khoảng thời gian cần xác định độ mịn thời gian (xem phần 2.1 độ mịn thời gian) Người thiết kế dựa yêu cầu ứng dụng để xác định độ mịn thời gian, có nhiều độ mịn thời gian khác thành phần khác sơ đồ ER Yêu cầu dùng giá trị chung cho độ mịn thời gian, này, chọn giá trị chung độ mịn thời gian nhỏ mà không làm ngữ nghĩa thời gian chúng, độ mịn lớn bội số độ mịn chọn.Ví dụ: Chọn độ mịn nhỏ phút, độ mịn lớn chẳng hạn, xem có độ mịn 60 phút 2) Tạo thuộc tính thời gian hợp lệ cho thực thể Những thực thể giải có thời gian sống cần ghi, quan hệ tương ứng với thực thể (trong thiết kế mức luận lý) thêm vào thuộc tính để ghi thời gian biến cố, quan hệ có liệu biến cố, hay hai thuộc tính để ghi khoảng thời gian quan hệ có liệu trạng thái (bảng trạng thái, bảng biến cố, xem phần 2.3) 3) Tạo cột thời gian hợp lệ cho mối liên kết thời gian hợp lệ Tương tự mục (2) trên, mối liên kết giải mối liên kết thời gian hợp lệ, bảng tương ứng với thêm cột để ghi thời gian biến cố hay hai cột để ghi khoảng thời gian 4) Tạo quan hệ cho thuộc tính thời gian hợp lệ Với thuộc tính A quan hệ R, giải thuộc tính thời gian hợp lệ, thuộc tính trích khỏi R tạo quan hệ Quan hệ - 183 - gồm thuộc tính: A, khoá R hai thuộc tính Ts, Te để ghi khoảng thời gian [45],[46] Sau xây dựng khoá thời gian cho quan hệ mới, trình bày mục (5) sau Công việc phần gọi phân rã để hỗ trợ yếu tố thời gian Ví dụ: Xét quan hệ R: Employe(empno, sal, sex, addr, birth-of-date,…) thuộc tính sal giải thuộc tính thời gian hợp lệ, R phân rã thành hai quan hệ: Employe(empno, sex, addr, birth-of-date,…) Salary(empno, sal, ts, te) 5) Khoá thời gian Sau thực mục (2), (3), (4), cần kiểm tra lại khoá cũ quan hệ đảm đương yêu cầu khoá hay không, nghĩa qua giá trị khoá chính, có xác định mẩu tin quan hệ hay không Nếu có, khoá cũ khoá thời gian, ngược lại phải xây dựng lại khoá (khoá thời gian) cho quan hệ Thường khoá thời gian thuộc loại khoá đa hợp, tạo thành nhiều thuộc tính, có thuộc tính có giá trị khoảng hay biến cố thời gian Ví dụ : Xét hai quan hệ Position Salary, hai quan hệ chứa thuộc tính empno khoá cũ , khoá như: Position(empno, pos, ts, te), khoá (empno, pos) Salary(empno, sal, ts, te), khoá (empno, ts) C) Một số ví dụ thiết kế Trong phần trình bày số ví dụ minh họa: thực chuyển đổi từ sơ đồ quan niệm ER có giải thời gian, thành quan hệ CSDLTG - 184 - Ví dụ 1: Cơ sở liệu quản lý công việc giảng viên Quản lý công việc giảng viên bao gồm việc theo dõi hoạt động: giảng dạy, tham gia nghiên cứu, hướng dẫn luận văn cho sinh viên trường đại học Nó bao gồm kiểu thực thể TEACHER, THESIS, COURSE, RESEARCH-PROJECT, mối liên kết: supervise, teach, participate Sơ đồ ER thiết kế hình E1 THESIS TEACHER COURSE supervise teach RESEARCHPROJECT participate Hình E1: Sơ đồ ER, quản lý công việc giảng viên Những giải thời gian cho sơ đồ ER - RESEARCH-PROJECT: kiểu thực thể có thời gian sống - TEACH, PARTICIPATE, SUPERVISE: mối liên kết có thời gian hợp lệ - Position, Trainning, Publication, Working-exp: thuộc tính có thời gian hợp lệ kiểu thực thể TEACHER Những quan hệ chuyển từ sơ đồ ER TEACHER(empno, name, addr,….) COURSE(course_no, title, credits,…) RESEARCH_PROJECT(proj_no, proj_name, budget, time_start, time_end, chief) THESIS(thesisno, title, student,…) TEACHING(empno, course_no, ts, te) PARTICIPATION(empno, proj_no, role, ts, te) SUPERVISION(empno, thesisno, role, ts, te) TEACHER-POSTION(empno, pos, ts, te, result) TEACHER-TRAINING(empno, training_course, ts, te) TEACHER-PUBLICATION(empo, title, type, detail, timeofprint) - 185 - WORKING-EXPERIENCE(empno, job-title, orgnization, ts, te) Chú ý: Khoá quan hệ thuộc tính gạch Ví dụ 2: Cơ sở liệu bệnh viện Cơ sở liệu bao gồm: quản lý điều trị (TREATMENT) thuốc (DRUG-MEDICATION), xét nghiệm (LAB-TEST) để định bệnh lần phải giải phẫu (SURGERY) bệnh nhân bệnh viện Sơ đồ quan niệm ER thiết kế hình E2 Những giải thời gian cho sơ đồ ER - TREATMENT, DRUG-MEDICATION, SURGERY: thực thể có thời gian sống PATIENT TREATMENT DRUGMEDICATION LAB-TEST SURGERY Hình E2: Sơ đồ ER quản lý điều trị bệnh - LAB_TEST: kiểu thực thể có thời gian biến cố - Bed: thuộc tính có thời gian hợp lệ kiểu thực thể TREATMENT Những quan hệ chuyển từ sơ đồ ER PATIENT(p-id, name, addr, sex, age,…) TREATMENT(file-no, p-id, disease, ts, te) DRUD-MEDICATION(file-no, drug, ts, te dosage,) SURGERY(file-no, op-name, op-room, ts, te) LAB-TEST(file-no, test-name, event-time,…) BED(file-no, bed-number, ts, te) - 186 - CÔNG TRÌNH CỦA TÁC GIẢ 1) Phạm văn Chung, Dương Tuấn Anh, “A Query Sublanguage for Temporal Clinical Database Systems and its Implementation” Tạp chí Tin học Điều khiển học, tập 21, số 4, trang 293-300, năm 2005 2) Phạm văn Chung, Dương Tuấn Anh, “Generating Transition Graphs from Temporal Integrity Constraints expressed as Patterned Sentences”, kỷ yếu Hội thảo khoa học Quốc gia lần thứ II: Nghiên cứu ứng dụng công nghệ thông tin (FAIR 2005), TP.HCM, 23-24/9, 2005, trang 129-140 3) Phạm văn Chung, Dương Tuấn Anh, “Temporal Abstraction from Temporal Clinical Databases using Inference Graphs”, Proceedings of the International Symposium on Communications and Information Technologies 2006, 18-20 October 2006, Bangkok, Thailand, ISBN: 0-7803-9741-X for CD-ROM 4) Phạm Văn Chung, Dương Tuấn Anh, “Tiền xử lý liệu có tính thời gian kiểm tra ràng buộc toàn vẹn thời gian”, kỷ yếu Hội thảo quốc gia lần thứ IX, Nhà xuất Khoa học kỹ thuật Hà nội, 2006 5) Phạm Xuân Khánh, Hà Minh Nhật, Phạm Văn Chung, “Dùng mã nguồn mở để biên dịch câu truy vấn có yếu tố thời gian, thực thi Oracle từ C++”, kỷ yếu Hội thảo quốc gia lần thứ IX, Nhà xuất Khoa học kỹ thuật Hà nội, 2006 6) Phạm Văn Chung, Dương Tuấn Anh, “ Applying Temporal Abstraction in Clinical Databases”, IEEE, 5th International Conference, RIVF’07, Hà nội, 3/2007 7) Lê văn Quốc Anh, Phạm văn Chung, Dương Tuấn Anh, “Implementation of Valid-time Indeterminacy in Temporal Clinical Database”, Proceedings of ACOMP 2007 International Workshop on Advanced computing and Applications, HoChiMinh City, pp 8-14 A TÀI LIỆU THAM KHẢO [1] Allen J.F (1993), “Maintaining Knowledge about Temporal Intervals”, Communication of the ACM, 26(11), pp 832-843 [2] Artale A., Franconi E (1999), “Reasoning with enhanced Temporal EntityRelationship Models”, Knowledge Representation Meets Databases, pp 1-5 [3] Balaban M., Boaz D., Shahar Y (2003), “Analysis of Temporal Abstraction in Medical Databases”, Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany [4] Balaban M., Boaz D., Shahar Y (2003),”Applying Temporal Abstraction in Medical Information Systems”, Annals of Mathematics, Computing and Teleinformatics, 1(1), pp 56-64 [5] Baudinet M., Chomicki J., Wolper P (1993), “Temporal Deductive Databases, in Temporal Databases”, Theory, Design, And Implementation, A.U Tansel et al., (Eds.), Benjamin Cummings, pp.294-320 [6] Bellazzi R., Larizza C., Riva A (1997), “Temporal abstraction for preprocessing and interpreting diabetes monitoring time series”, In Proc Workshop on Intelligent data analysis in Medicine and Pharmacology (IDAMAP 97), pp 1-9 [7] Bellazzi R., Larizza C., Riva A.(1997), “Temporal abstraction for diabetes patients management ”, In Proc AIME-97, Artificial Intelligence in Medicine, pp 319-330 [8] Bellazzi R., Larizza C., Magni P., Montani S., Stefanelli M.(2000), “Intelligent analysis of clinical time series: an application in diabetes mellitus domain”, Artificial Intelligence in Medicine 20(1): pp 35-57 [9] Boaz D., Shahar Y., (2003), “IDAN: A Distributed Temporal-Abstraction Mediator for Medical Databases”, Proceedings of the 9th Conference on Artificial Intelligence in Medicine, Europe (AIME) ‘03, Protaras, Cyprus [10] Boaz D., Balaban M., Shahar Y (2003), “ A Temporal-Abstraction Rule Language for Medical Databases”, Proceedings of the workshop on Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP) '03, Protaras Cyprus [11] Boaz D., Shahar Y (2005), “ A Framework for Distributed Mediation of Temporal-Abstraction Queries to Clinical Databases”, Artificial Intelligence in Medicine, 34(1): pp 3-24 [12] Böhlen M.H (1994), “Valid Time Integrity Constraints”, Technical Report TR 94-30, Department of Computer Science, Univ of Arizona B [13] Böhlen M.H., Snodgrass R.T., Soo M.D.(1996), “Coalescing in Temporal Databases”, Proc of 22nd Very Large DataBases Conference, Mumbai (Bombay), India [14] Böhlen M.H., Chomicki J., Snodgrass R.T., Toman D (1996), “Querying TSQL2 Databases with Temporal Logic”, Proceedings of Advances Database Technology, LNCS, 1057, Springer, pp 325-341 [15] Chen P.(1986), “ Entity-Relationship Modeling: Historical Events, Future Trends, and Lessons Learned”, available at: http://citeseer.ist.psu.edu/595690.html [16] Chomicki J., Niwi D (1993),"On the Feasibility of Checking Temporal Integrity Constraints", ACM SIGACT-SIGMOD-SIGART, sysmposium on Principles of Database System, Wasington D C., pp 202-213 [17] Chomicki J., Toman D (1994), “Implementing Temporal Integrity Constraints Using an Active DBMS”, In Proc RIDE'94 Active Database Systems, Houston, pp 87-95, 1994 [18] Chomicki J (1995), “Efficient checking of Temporal Integrity Constraints Using bounded History Encoding” , Computing and Information Sciences Kansas State University Manhattan, KS66506 [19] Chomicki J., Toman D (1997), “Temporal Logic in Information Systems”, BRICS Lecture Series, Dept of Computer Science, University of Aarhus, Denmark [20] Clemensen J., Larsen S B., Bardram J E., (2005), “Developing Pervasive – Health Moving Experts from Hospital to Home”, University of Aarhus Aabogade 42, DK-8200 Aarhus N, Denmark [21] Clifford J., Gadia S.(1993), “The Interval-Extented Relational model and its application to Valid-Time Databases”, In A.Tansel et al., (Eds), Temporal Databases : Theory design, and implementation, chapter 3, pp 67-91 [22] Codd E F (1979), “Extending the Database Relational Model to Capture More Meaning”, IBM Research Laboratory, ACM Transactions on Database Systems, Vol 4, No 4, pp 397-434 [23] Das A K., Tu S W., Purcell G.P., Musen M A (1992), “An Extended SQL for Temporal Data Management in Clinical Decision-Support Systems”, Proc of 16th Annual Symposium on Computer Applications in Medical Care, Baltimore, pp 128-132 [24] Date C J., Darwen H., Lorentzos N A (2003), “Temporal data and Relation Model”, Morgan Knaufmann, Publishers [25] Dyreson C.E., (1994),“Valid-time Indeterminacy”, Ph.D Dissertation, Department of Computer Science, University of Arizona C [26] Elmasri R., Wuu T.J (1993), “A Temporal Model and Query language for EER Databases”, In A Tansel et al., (Eds), Temporal Databases : Theory Design, and Implementation, Benjamin/Cummings Publishers, chapter 9, pp 212-229 [27] Elmasri R , Wuu G.T.J., Kouramajian V.(1993), “A Temporal Model and Query Language for EER Databases”, A.U.Tansel, (Ed), Benjamin Cummings, pp 212-229 [28] Gabbay D., McBrien P (1991), “Temporal Logic and Historical Databases”, Proceedings of 17th VLDB Conference, Barcelona, pp 423-430 [29] Gertz M., Lipeck U.W (1995), “Temporal Integrity Constraints in Temporal Databases”, Proceedings of the International Workshop on Temporal Databases, J Clifford, A Tuzhilin (Eds.), Springer-Verlag, Berlin, pp 77-92 [30] Gertz M., Lipeck U.W (1996), “Deriving Integrity Maintaining Triggers from Transition Graphs”, Proceedings 9th International Conference on Data Engineering, IEEE Computer Society Press, pp.22-29 [31] Gregersen H., Jensen C.S (1997), “Temporal Entity-Relationship Models – a Survey”, TIMECENTER Technical Report TR-3 [32] Gregersen H., Jensen C.S (1998), “Conceptual Modeling of Time-varying Information”, TIMECENTER Technical Report TR-35 [33] Horn W., Miksch S., Egghart G., Popow C., Paky F (1997), “Effective Data Validation of High-frequence Data: Time-Point, Time-Interval, and TrendBase Methodes”, Computers in Biology and Medicine, 27(5) [34] Ho T.B., Nguyen D.D., Kawasaki S., Nguyen T.D.(2002), “Extracting Knowledge from Hepatitis Data with Temporal Abstraction”, IEEE Conference on Data Mining, Workshop on Active Mining, Maebashi, pp 9196 [35] Ho T.B., Le, S.Q., Tran, T.N., Takabayashi K.(2004), “Combining Temporal Abstraction and Data Mining to Study Hepatitis”, ECML/PKDD 2004 Workshop on Discovery Challenge, pp 155-167 [36] Jensen C S., Snodgrass R T., Soo M D (1995), “The TSQL2 Data Model”, The TSQL2 Temporal Query Language, pp 153 238 Kluwer Academic Publishers, Available at: http://citeseer.ist.psu.edu/jensen95tsql.html [37] Jensen C.S., (2001), “Introduction to Temporal Database Research”, Available at: http://infolab.usc.edu/csci599/Fall2001/paper/chapter1.pdf [38] Jensen C.S., Snodgrass R T (1995), “Semantics of Time-Varying attributes and Their Use for Temporal Database design”, LNCS 1021, pp 366-377, Springer-Verlag D [39] Jensen C.S., Snodgrass R T., Soo M D., (1995), “Extending Existing Dependency Theory to Temporal Databases”, chapter 29 [40] Kawasaki S., Nguyen T.D., Ho T.B (2003), “Temporal Abstraction for Longterm Changed Tests in Hepatitis Domain”, Journal of Advanced Computational Intelligence and Intelligent Informatics 7(3), pp 348-354 [41] Lavrač N ,Keravnou E., Zupan B (1997), “Intelligent Data Analysis in Medicine”, Intelligent Data Analysis in Medicine and Phamacology, pp 243260 [42] Lipeck U.W., Zhou H (1991), “Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals”, In: Proceedings of the 3rdInternational Workshop on Foundations of Models and Languages for Data and Objects, Aigen, pp 115-130 [43] Lipeck U.W (1994), “Transitional Monitoring of dynamic Integrity Constraints”, Bulletin of the Technical Committee on Data Engineering, Vol 17, No.1, (Special Issue on Data Constraint Management), IEEE Computer Society, pp 38-42 [44] Locke P., “Oracle Call Interface Programmer’s Guide”, Oracle Corporation, 1997 [45] Lorentzos N.A.(1993), “The Interval-extended Relational Model and its Application to Valid-time Databases”, in A.U Tansel et al (Eds.), Temporal Databases – Theory, Design and Implementation, Benjamin/Cummings Publishing, pp 65-91 [46] Marchetti-Spacecamela A., Pelaggi A and Sacca D (1987), “Worst-case Complexity Analysis of Methods for Logic Query Implementation”, Proc of 6th, ACM-SIGACT-SIGMOD-SIGART Symposium of Principles of Database Systems, San Diego, California, USA, pp 294-301 [47] Navathe S.B., Ahmed R (1993), “Temporal Extensions to Relational Model and SQL”, in A.U Tansel et al (Eds.), Temporal Databases – Theory, Design and Implementation, Benjamin/Cummings Publishing, pp 92-109 [48] Nguyen J.H., Shahar Y., Tu S.W., Das Amar K., Musen M.A.(1999), “Integration of Temporal Reasoning and Temporal Data Maintenance into a Reusable Database Mediator to Answer Abstract, Time-Oriented Queries: The Tzolkin System”, J Intelligent Information System 13(1-2), pp.121-145 [49] Niki P et al.(1994), “Toward an Infrastructure for Temporal databases”, Report of an Invitational ARPA/NSF Workshop [50] O’Connor M J., Tu S W., Mussen M A (1999), “Applying Temporal Joins to Clinical Databases” , Proc of the AMIA Annual Symposium, Washington, D.C., pp 335-339 E [51] O’Connor M J., Tu S W., Mussen M A (2000), “Representation of Temporal Indeterminacy in Clinical Databases”, Technical Report SMI-2001-10857, Standard University School of Medicine, Stanford [52] O’Connor M.J., Tu S.W., Mussen M.A (2002), “The Chronus II Temporal Database Mediator”, Technical Report SMI-2002-0941, Standard University School of Medicine, Stanford [53] Ozsoyoglu G., Snodgrass R.T (1995), “Temporal and Real-Time Databases: A Survey”, Knowledge and Data Engineering, vol 7, pp 513-532 [54] Rosenzweig B (2000), “Oracle Pl/SQL interactive workbook”, The Prentice Hall PTR Oracle Series, ISBN 0-13-015743-0 [55] Sarda N.L., “HSQL: A Historical Query Language”(1993), in A.U Tansel et al (Eds.), Temporal Databases – Theory, Design and Implementation, Benjamin/Cummings Publishing, pp 110-140 [56] Segev A., Shoshani A (1993), “A Temporal Data Model Based on Time Sequences”, A.e.a Tansel, (Eds), Benjamin Cummings, pp 248-270 [57] Shahar Y (1994), “A Knowledge-base methode for Temporal Abstraction of Clinical Data”, Ph.D thesis, Stanford Medical Informatics, Stanford University School of Medicine [58] Shahar Y (1997), “Timing is Everything: temporal Reasoning and Temporal Data Maintenance in Medicine”, Western Journal of Medicine 168, pp 105113 [59] Shahar Y (1995), “A framework for knowledge-base temporal abstraction”, Technical Report No KSL95-29 , Section on Medical Informatics, Stanford University School of Medicine [60] Shahar Y., Cheng C.(1998), “Ontology-Driven Visualization of Temporal Abstractions”, A temporal-abstraction system for patient monitoring, Computers and Biomedical Research 26, pp 255-273 [61] Shahar Y., Musen M.A (1996), “Knowledge-Based Temporal Abstraction in Clinical Domains”, Artificial Intelligence in Medicine 8(3), pp 267-298 [62] Slivinskas G (2001), “A Middleware Approach to Temporal Query Processing, Ph.D Dissertation, Aalborg University, Denmark, Available at: http://www.citeser.ist.psu.edu [63] Snodgrass R.T (Ed.) (1994), “An Evaluation of TSQL2”, Commentary, TSQL2 Design Committee [64] Snodgrass R.T., Jensen C.S (1996), “Adding Valid Time to SQL/Temporal”, ISO International Organization for Standardization F [65] Snodgrass R.T (2000), “Developing Time-Oriented Database Application in SQL”, Morgan Kaufmann Publishers 2000 [66] Steiner A (1998), “A Generalisation Approach to Temporal Data Models and their Implementations”, Diss ETH No.12434 – 1998 [67] Steiner A (1999), ”TimeDB 2.0”, Version Beta 4, a TimeConsult Product, Available at: http://www.TimeConsult.com [68] Suchen H., Jensen C S., Snodgrass R T (1995), “Valid-Time Selection and Projection”, The TSQL2 Temporal Query Language, pp 251-298 [69] Tansel A.U (1993), “A Generalize Relational Framework for Modeling Temporal Data”, A.U Tansel, (Ed), Benjamin Cummings, pp 183-201 [70] Thomas N., (2004), “A compact guide to LEX & YACC”, Availabe at: http://www.epaperpress.com [71] Torp K., Jensen C.S., Böhlen M (1997),“Layered Implementation of Temporal DBMS’s – Concepts and Techniques”, TIMECENTER, Technical Report, TR2, [72] Ullman J.D (1998), “Principles of Database and Knowledge-Base Systems”, volume I, chapter 3, Logic as a Database Model [73] Wuu G.T.J., Dayal U (1993), “A Uniform Model for Temporal and Versioned Object-Oriented Databases”, A.U Tansel, (Ed), Benjamin Cummings, pp 230-247 [74] Yu C.T., Meng W (1998), “Principles of Database Query Processing for Advanced Applications”, Publishher: Morgan Kaufmann Publishers: ISBN: 1558604340, chapter 7, Query Processing in Deductive Database Systems, pp.246-265 [75] Lê văn Quốc Anh, “Giải vấn đề thời gian bất định sở liệu hướng thời gian - ứng dụng vào sở liệu bênh viện”, Luận văn cao học, Khoa Công nghệ thông tin, ĐH Bách khoa, TP HCM, 6/2005 [76] Nguyễn Đức Bảo (2002), “Sử dụng trị số ngưỡng-giá trị CEA để chuẩn đoán sớm ung thư đại-trực tràng tái phát”, Nghiên cứu y học, TP.HCM, Tập 6, phụ số 4, trang 198-202 [77] Nguyễn Đức Bảo (2002), “ Nghiên cứu giá trị xét nghiệm CEA ung thư đại trực tràng”, Nghiên cứu y học, TP.HCM, Tập 6, phụ số G [...]... trong những bảng không có dữ liệu thời gian, và ứng dụng vào việc thực hiện những câu truy vấn thời gian trên nhiều bảng có yếu tố thời gian trong cơ sở dữ liệu bệnh viện Chronus phát triển để những câu truy vấn hỗ trợ được cho việc ra quyết định điều trị trong khoa y của trường đại học Stanford 1.1.3 Tính toàn vẹn của dữ liệu ràng buộc theo thời gian Tính toàn vẹn của dữ liệu ràng buộc theo thời gian, ... một cơ sở lý thuyết về nó, và trên cơ sở này có thể phát triển những ứng dụng Chúng tôi chọn đề tài “RÀNG BUỘC TOÀN VẸN VÀ TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN VÀ ỨNG DỤNG” Chọn ứng dụng trên bệnh ung thư, vì đối với loại bệnh này, bệnh nhân cần được phát hiện sớm, chữa trị kịp thời và thời gian theo dõi điều trị bệnh là khá dài, thường là từ 5 năm trở nên kéo theo khối lượng dữ liệu. .. và cài đặt thử nghiệm trên những số liệu thực, được thu thập từ bệnh viện, qua số liệu thực nghiệm, phân tích hướng tiếp cận của luận án về thời gian thực hiện Mục tiêu chính của luận án là nghiên cứu về ràng buộc toàn vẹn của dữ liệu theo thời gian và trích yếu thời gian 1.2.1 Mô hình dữ liệu thời gian và ngôn ngữ truy vấn thời gian Để thực hiện được phần kiểm tra ràng buộc toàn vẹn thời gian và trích. .. trình bày cơ sở lý thuyết cho mô hình dữ liệu thời gian bao gồm: ý nghĩa của một số thuật ngữ được sử dụng trong CSDLTG, khoảng thời gian được dùng để biểu diễn yếu tố thời gian, những phép toán cơ bản trên khoảng thời gian, phép kết thời gian trên những bảng dữ liệu, ngôn ngữ truy vấn thời gian Chương 3, trình bày vấn đề tính toàn vẹn của dữ liệu ràng buộc theo thời gian, đề xuất phương pháp và thủ tục... hợp lệ trong mô hình dữ liệu thời gian Hệ thống CSDLTG có thể được xây dựng trên nền tảng cơ sở dữ liệu quan hệ, do mô hình dữ liệu và ngôn ngữ truy vấn cho mô hình quan hệ hoàn toàn được xác lập Tuy nhiên, còn có hai hạn chế cần quan tâm khi sử dụng cơ sở dữ liệu quan hệ truyền thống cho lưu trữ và xử lý dữ liệu thời gian 1 Cơ sở dữ liệu quan hệ bị hạn chế về vấn đề lưu trữ những dữ liệu thời gian có... hình dữ liệu thời gian khác nhau đã được đưa ra từ năm 1984 đến năm 1997 trong [31],[32] 2.3 Bảng dữ liệu trạng thái, bảng dữ liệu biến cố và khoảng thời gian Thêm yếu tố thời gian vào mô hình dữ liệu quan hệ, để xây dựng CSDLTG, thì hầu hết những nhà nghiên cứu thường tập trung vào những mô hình chỉ có thời gian hợp lệ Trong mô hình chỉ có thời gian hợp lệ, thì mỗi mẩu tin trong bảng dữ liệu thời gian. .. chỉ có thời gian giao tác (transaction-time), ý nghĩa thuật ngữ thời gian hợp lệ” và thời gian giao tác” được trình bày trong chương 2, mục 2.1” Có vài mô hình có cả thời gian hợp lệ và thời gian giao tác gọi là song thời gian (bitemporal) Trong [36] đã liệt kê những mô hình dữ liệu thời gian đã được đề xuất, như bảng 1.1.1a Ngoài vấn đề khác nhau về loại thời gian (thời gian hợp lệ, thời gian giao... để thực hiện được việc quản lý, thao tác, truy xuất, trích yếu thời gian trên những dữ liệu lịch sử của những đối tượng trong thế giới thực Cơ sở dữ liệu cho những dữ liệu lịch sử được gọi là cơ sở dữ liệu hướng thời gian (CSDLTG) Mô hình dữ liệu thời gian (temporal data model) đã được nhiều tác giả nghiên cứu từ hai mươi năm qua và đã có nhiều ứng dụng [37],[50] như: - Tài chính: kế toán, quản lý vốn... Hướng tiếp cận của Gertz và Lipeck [29],[30] Gertz và Lipeck áp dụng phương pháp kiểm tra ràng buộc toàn vẹn trong cơ sở dữ liệu truyền thống, được trình bày trong [42],[43] Để đưa vào ngữ cảnh của cơ sở dữ liệu thời gian, các tác giả dùng logic thời gian (temporal logic) như một ngôn ngữ chỉ ra ràng buộc, và nhấn mạnh đến vấn đề: những công thức logic thời gian được chuyển đổi thành đồ thị chuyển trạng... trong máu (blood-gas) 3) Hướng tiếp cận của Hồ Tú Bảo Hồ Tú Bảo và các đồng sự đưa ra phương pháp trích yếu thời gian năm 2003 trong [34],[40] năm 2005 trong [35], trên dữ liệu thời gian dài hạn và tồn tại những dữ liệu chưa hợp lệ Điểm chính của phương pháp là căn cứ vào sự chuyển đổi những trạng thái của đối tượng trong CSDLTG và những thuật giải để TYTG Phương pháp được ứng dụng trong cơ sở dữ liệu ... sở lý thuyết nó, sở phát triển ứng dụng Chúng chọn đề tài “RÀNG BUỘC TOÀN VẸN VÀ TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN VÀ ỨNG DỤNG” Chọn ứng dụng bệnh ung thư, loại bệnh này,... 1.1.3 Tính toàn vẹn liệu ràng buộc theo thời gian Tính toàn vẹn liệu ràng buộc theo thời gian, gọi tắt ràng buộc toàn vẹn thời gian (RBTVTG) phải đặt có thao tác cập nhật liệu thời gian Có số... văn Chung RÀNG BUỘC TOÀN VẸN VÀ TRÍCH YẾU THỜI GIAN TRONG CƠ SỞ DỮ LIỆU HƯỚNG THỜI GIAN VÀ ỨNG DỤNG LUẬN ÁN TIẾN SĨ KỸ THUẬT Chuyên ngành: Khoa học máy tính Mã số: 60.48.01.01 NGƯỜI HƯỚNG DẪN