TAILIEUCHUNG - Kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian

Bài viết Kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian trình bày một phương pháp kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian bằng cách dùng đồ thị chuyển trạng thái. | Tạp Chí Khoa Học Giáo Dục Kỹ Thuật số 16 2010 Đại Học Sư Phạm Kỹ Thuật Tp Hồ Chí Minh 1 KIỂM TRA RÀNG BUỘC TOÀN VẸN THỜI GIAN TRONG CƠ SỞ DỮ LIỆU THỜI GIAN CHECKING TEMPORAL INTEGRITY CONSTRAINTS IN TEMPORAL DATABASES Phạm Văn Chung ĐH Công Nghiệp TP. HCM Nguyễn Thành Sơn ĐH Sư Phạm Kỹ Thuật TP. HCM Dương Tuấn Anh ĐH Bách Khoa TP. HCM TÓM TẮT Bài báo trình bày một phương pháp kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian bằng cách dùng đồ thị chuyển trạng thái. Thứ nhất bài báo đưa ra cách dùng những câu có-khuôn-mẫu để đặc tả ràng buộc toàn vẹn thời gian và nêu cách chuyển chúng thành những đồ thị chuyển trạng thái. Thứ hai đề xuất một giải thuật để kiểm tra ràng buộc toàn vẹn thời gian bằng cách dùng đồ thị chuyển trạng thái mà những lối đi trên đó cho phép có đỉnh lặp lại. Cuối cùng bài báo trình bày một thí dụ kiểm tra ràng buộc toàn vẹn thời gian trong một cơ sở dữ liệu bệnh viện. ABSTRACT This paper elaborates a method for checking temporal integrity constraints in real world temporal databases by using transition graphs. First it advocates the usage of patterned- sentences to express temporal integrity constraints and gives a method to transform patterned- sentences to transition graphs. Second this work puts forward an algorithm for checking temporal integrity constraints by utilizing the transition graphs in which the paths are allowed to include repeated vertices. Finally the paper illustrates a case study that performs checking temporal integrity constraints in a temporal clinical database. I. DẪN NHẬP Trong bài báo này chúng tôi nghiên cứu History-less checking của Chomicki 1 2 làm thế nào để kiểm tra ràng buộc toàn vẹn và phương pháp dùng đồ thị chuyển trạng thái của dữ liệu theo thời gian RBTVTG . Dựa transition graph của Gertz và Lipeck 4 . trên hướng tiếp cận của Gertz và Lipeck 4 chúng tôi mở rộng khung thức của họ đã đề Bằng cách dùng những câu có-khuôn- xuất để kiểm tra RBTVTG trong trường hợp mẫu patterned-sentence để đặc

• Cơ sở dữ liệu
• Cơ sở dữ liệu thời gian
• Cơ sở dữ liệu bệnh viện
• Hướng tiếp cận của Chomicki
• Đồ thị chuyển trạng thái
• Phương pháp History less checking
• hệ nền TOOBIS
• mở rộng thời gian
• dữ liệu thời gian
• luận văn khoa học
• công nghệ thông tin
• Xây dựng cơ sở dữ liệu
• Cơ sở dữ liệu
• Chuỗi thời gian
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Khoa học
• Cơ sở dữ liệu hướng đối tượng
• Xử lý truy vấn
• Cở dữ liệu hướng đối tượng thời gian
• Hệ thống thông tin
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ
• Cơ sở toán học cho tin học
• Đối tượng chuyển động
• Cơ sở dữ liệu không gian thời gian
• Quản lý thời gian trong DB2
• UNIX và Windows
• tính nhất quán thời gian
• hệ quản trị cơ sở dữ liệu
• lập trình XML
• cơ sở dữ liệu nâng cao
• Thiết kế cơ sở dữ liệu
• Mô hình TimeER
• Mô hình quan hệ
• Tập thực thể
• Mô hình cơ sở dữ liệu mức khái niệm
• Mô hình cơ sở dữ liệu quan hệ
• Mô hình dữ liệu
• Tài liệu cấu trúc
• Mô hình cơ cở dữ liệu thời gian
• Sử dụng siêu dữ liệu
• Tìm kiếm tài liệu
• Bài giảng Hệ quản trị cơ sở dữ liệu
• Điều khiển truy xuất đồng thời
• Kỹ thuật nhãn thời gian
• Kỹ thuật điều khiển đồng thời
• Cơ sở dữ liệu quan hệ
• SQL Server 2008
• Cơ sở dữ liệu quan hệ và SQL
• Bài giảng cơ sở dữ liệu quan hệ
• Lý thuyết cơ sở dữ liệu
• Mệnh đề SQL
• Các hàm thời gian trong SQL
• Bài toán dự báo dữ liệu chuỗi thời gian
• Cơ sở dữ liệu Cophieu68
• Cơ sở dữ liệu doanh nghiệp
• Hệ suy luận ANFIS
• Cấu trúc dữ liệu
• Kỹ thuật dự báo vị trí
• Điều hành giao thông
• luận văn công nghệ thông tin
• xử lý câu truy vấn
• quản lý dữ liệu
• số học
• phéo toán đại số
• kết hợp thời gian
• phương pháp truy vấn
• Mô hình thực thể
• Mô hình thực thể quan hệ thời gian
• Cơ sở toán học
• xử lý CSDL
• DataBase Management System
• Kiến trúc bộ xử lý TOQL
• Dữ liệu thời gian thực
• Lược đồ dữ liệu Avro
• Lưu trữ dữ liệu
• Quy trình ISI
• Quản trị cơ sở dữ liệu NoSQL
• Đồ án tốt nghiệp
• Xây dựng hệ quản trị cơ sở dữ liệu
• Lập trình NodeJS
• Đồ án công nghệ thông tin
• Quản trị cơ sở dữ liệu
• Khai phá dữ liệu
• Luật kết hợp
• Thuộc tính định lượng
• Thuật toán Apriori
• Bài giảng Cơ sở dữ liệu
• Kỹ thuật lập trình
• Hàm tính gộp
• Hàm chuyển đổi kiểu dữ liệu
• Hàm thời gian
• Hàm xử lý chuỗi
• Xây dựng mô hình cơ sở dữ liệu
• Cơ sở dữ liệu thông tin
• Điểm đến du lịch thông minh
• Điểm đến du lịch thông minh Huế
• Mô hình thực thể quan hệ
• Mô hình ER truyền thống
• Mô hình ER
• Thiết kế hệ thống thông tin
• Quy trình thao tác may sản phẩm dệt kim
• Sản phẩm dệt kim
• Thời gian thực hiện thao tác may
• Công nghệ may
• Mô hình ER thời gian
• Mô hình Anchor
• Mô hình dữ liệu mức khái niệm
• Cơ sở dữ liệu thuộc dạng chuẩn 6NF
• Bài giảng Kinh tế lượng cơ sở
• Kinh tế lượng cơ sở
• Các mô hình hồi quy dữ liệu bảng
• Dữ liệu theo chuỗi thời gian
• Phân tích lịch sử biến cố
• Deadlock Detection
• Kỹ thuật khóa
• Giao thức điều khiển song hành