Alternative Names
Time normal form, P normal form, Q normal form, first temporal normal form.