A pattern-based constraint specification language for object-oriented databases | IEEE Conference Publication | IEEE Xplore