5.1 Formalisation of Tables in SQL