///
professor (cpf_professor, nome, titulação, salario) curso (cod_curso, titulo, objetivo, cpf_professor_coord) contrato (cpf_professor, cod_curso, data_inicio)
Em uma instância da relação professor, não pode haver tuplas com diferentes números de colunas, mesmo que o cpf_professor_coord seja inexistente.