As variáveis a e b são declaradas de maneira que tenham tipos iguais aos tipos de atributos e e f da relação T1.