Erarbeiten Sie sich anhand von geeigneter Literatur, welche formalen Verfahren zur Datenbanknormalisierung es gibt.

Hat da jemand ein paar Stichworte für Google oder so? Mit meinen Suchbegriffen hab ich zwar viel zu Normalisierung aber nichts zu formalen Verfahren gefunden.