@INPROCEEDINGS{MRS99, author = {Ulrich Marder and Norbert Ritter and Hans-Peter Steiert}, title = {A DBMS-based Approach for Checking OCL Constraints}, booktitle = {OOPSLA'99-Workshop}, year = {1999}, publisher = { Denver} }