Checking temporal integrity constraints in temporal databases
Corressponding author's email:
sonngth@hcmute.edu.vnKeywords:
kiểm tra, thời gian, đồ thị, cơ sở dữ liệuAbstract
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
Downloads: 0
References
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.
Downloads
Published
How to Cite
Issue
Section
Categories
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Copyright © JTE.
