Ban, Đoàn V. Correctness of Object-Oriented Database Schema. JCC 2013, 16, 7-15.