Restructuring object-oriented database model to ease checking the integrity constraints | IEEE Conference Publication | IEEE Xplore