A. Redlein: "Optimization of an integrity constraints generator"; Supervisor: K. Göschka, L. Froihofer; Institut für Informationssysteme, AB Verteilte Systeme, 2010.