Title: Unterstützung des Entwurfs konsistenzerhaltender Datenbankanwendungsprogramme