Um analista de sistemas enviou o seguinte diagrama de classes UML para que a equipe de banco de dados crie esquemas de tabelas que atendam às especificações definidas no modelo:



Além do diagrama, as seguintes anotações sobre as semânticas dos atributos foram enviadas:

• O atributo matrícula é o identificador de Aluno.
• Todo aluno tem que possuir um número de CPF, que é de sua exclusividade.
• O atributo codigo é o identificador de Disciplina.
• A relação Cursa representa as disciplinas já cursadas pelo aluno e as que estão em curso no semestre corrente.
• Um aluno pode cursar uma mesma disciplina várias vezes, exceto se for no mesmo ano e semestre.
• O lançamento da nota de uma disciplina cursada é feito apenas no final do semestre corrente. Até o término do semestre nenhuma nota pode ser informada.

Qual dos esquemas de tabelas é o que atende mais adequadamente às especificações acima?