Normalisation to third normal form