Ensuring atomicity of multilevel transactions
暂无分享,去创建一个
[1] Hector Garcia-Molina,et al. Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.
[2] Henry F. Korth,et al. Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model , 1994, TODS.
[3] Sushil Jajodia,et al. Correctness Criteria for Multilevel Secure Transactions , 1996, IEEE Trans. Knowl. Data Eng..
[4] Oliver Costich,et al. A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture , 1992, Proceedings 1992 IEEE Computer Society Symposium on Research in Security and Privacy.
[5] Sushil Jajodia,et al. Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions , 1995, VLDB.
[6] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .
[7] Wei-Tek Tsai,et al. Multiversion concurrency control for multilevel secure database systems , 1990, Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.
[8] M. Tamer Özsu,et al. Using semantic knowledge of transactions to increase concurrency , 1989, TODS.
[9] S. Jajodia,et al. A model of atomicity for multilevel transactions , 1993, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy.