Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Building an Object-oriented Database System: The Story of O2. Morgan Kaufmann, 1992.
2. M. Benedikt, T. Griffin, and L. Libkin. Verifiable properties of database transactions. In Proceedings of Principles of Database Systems (PODS), pages 117–127, 1996.
3. V. Benzaken and X. Schaefer. Static management of integrity in object-oriented databases: Design and implementation. In Extending Database Technology (EDBT), March 1998.
4. A. J. Bernstein, D. S. Gerstl, W.-H. Leung, and P. M. Lewis. Design and performance of an assertional concurrency control system. In Proceedings of ICDE, pages 436–445, Orlando, Florida, February 1998.
5. R. G. G. Cattell and Douglas K. Barry, editors. The Object Database Standard: ODMG 2.0. Morgan Kaufmann Publishers, San Francisco, California, 1997.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Types and Constraints;Object-Oriented Technology;2015
2. Verifiable Object-Oriented Transactions;Lecture Notes in Computer Science;2014
3. Object-Oriented Constraints for XML Schema;Objects and Databases;2010
4. Verification Technology for Object-Oriented/XML Transactions;Lecture Notes in Computer Science;2010
5. Verification Theories for XML Schema;Flexible and Efficient Information Handling;2006