Sobre as propriedades ACID de transações em sistemas de gerenciamento de bancos de dados relacionais, analise as afirmações a seguir.

I - Atomicidade garante que a transação seja executada por completo ou não produza efeito algum; em caso de falha antes da efetivação (commit), as operações já realizadas devem ser desfeitas (rollback).
II - Consistência é responsabilidade exclusiva do SGBD, que a assegura independentemente da lógica das transações submetidas pelas aplicações.
III - Isolamento, em seu grau máximo (serializável), garante que a execução concorrente de transações produza resultado equivalente ao de alguma execução serial dessas mesmas transações.
IV - Durabilidade garante que os efeitos de uma transação persistam após o commit, ainda que essa garantia dispense o registro em memória não volátil, por se tratar de propriedade lógica do modelo transacional. 

Quais estão corretas? 

Considere as tabelas ALUNO(id, nome) e MATRICULA(id, aluno_id, disciplina), em que aluno_id é uma chave estrangeira referenciando o id da tabela ALUNO. Um professor está utilizando o SGBD MySQL 8.4 e deseja listar o nome de cada aluno e a quantidade de disciplinas em que está matriculado, incluindo alunos sem nenhuma matrícula (com contagem zero). Qual consulta SQL produz esse resultado?