3. Normalform?

[mirage228]

Also es geht bei der 3. NF um eine transitive Abhängigkeit. Ein nicht-Schlüsselattribut darf nicht über ein anderes Nicht-Schlüsselattribut ("Determinante") vom Primärschlüssel abhängig sein.
Du könntest also "Nachkomma" als eigene Relation mit Primärschlüssel "Datentyp" auslagern (ggf. Nachkomma dann "NULL" erlauben), wenn für jeden Float-Datentyp eine eindeutig zuordnenbare Anzahl an Nachkommastellen hat (ansonsten wäre es ja nicht transitiv von Datentyp abhängig).