Kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian
Email tác giả liên hệ:
sonngth@hcmute.edu.vnTừ khóa:
kiểm tra, thời gian, đồ thị, cơ sở dữ liệuTó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
Tải xuống: 0
Tài liệu tham khảo
Chomicki, J., “Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding,” Technical Report KS66506, Computing and Information Sciences, Kansas State University Manhattan, 1995.
Chomicki, J., Toman, D., “Implementing Temporal Integrity Constraints Using an Active DBMS,” IEEE Transaction on Knowledge and Data Engineering, 7(4), 1995, pp. 566-582.
Chomicki, J., Toman, D., “Temporal Logic in Information Systems,” BRICS Lecture Series, Dept. of Computer Science, University of Aarhus, Denmark, Nov. 1997.
Gertz, M., Lipeck, U.W., “Temporal Integrity Constraints in Temporal Databases,” Proceedings of the International Workshop on Temporal Databases, J. Clifford, A.Tuzhilin (Eds.), Sept.1995, Workshops in Computing, Springer-Verlag, Berlin, pp. 77-92.
Gertz, M., Lipeck, U.W.,“Deriving Integrity Maintaining Triggers from Transition Graphs,” Proceedings 9th International Conference on Data Engineering, IEEE Computer Society Press, 1993, pp.22-29.
Lipeck, U.W., Zhou, H., “Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals,” Proceedings of the 3rdInternational Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Sept. 1991, pp. 115-130.
Phạm Văn Chung, “Checking Temporal Integrity Constraints in Temporal Databases,” Technical Report, Faculty of Information Technology, HCM City University of Technology, 2005.
Tải xuống
Đã Xuất bản
Cách trích dẫn
Giấy phép
Tác phẩm này được cấp phép theo Giấy phép quốc tế Creative Commons Attribution-NonCommercial 4.0 .
Bản quyền thuộc về JTE.
