Verification support for object database design door