Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken.