Verification support for object database design by