Ban, Đoàn V. Correctness of Object-Oriented Database Schema. J. Comput. Sci. Cybern. 2013, 16, 7-15.