Datenmodellierung mit deduktiven Techniken