Por que UPDATE FROM falha e MERGE funciona em uma exibição com um gatilho INSTEAD OF?

Meu entendimento é que isso não é permitido porque UPDATE...FROMtem alguns comportamentos peculiares que são mantidos devido à compatibilidade com versões anteriores. Fazer com que eles funcionem da mesma forma quando a exibição tem gatilhos em vez de seria difícil, talvez impossível.

MERGEtem várias fraquezas, mas tem uma semântica de atualização bem definida e sã.

O principal exemplo disso é MERGEevitar atualizações ambíguas — onde uma linha de destino é alterada logicamente mais de uma vez pela especificação SQL. Se nada no esquema garantir absolutamente que uma linha de destino não possa ser modificada mais de uma vez, um MERGEplano apresentará operadores para verificar essa condição em tempo de execução e gerar um erro se for encontrado.

Isso torna a implementação da tabela unida MERGEem um destino com gatilhos em vez de mais fácil/possível.

A UPDATE...FROMsintaxe também tem comportamentos de ligação curiosos (novamente mantidos para evitar quebra de código antigo) quando a tabela de destino é referenciada mais de uma vez, às vezes por alias e às vezes não.

Não está diretamente relacionado à sua pergunta, mas há um exemplo de caso extremo com CTEs descritos na documentação :

Quando uma expressão de tabela comum (CTE) é o destino de uma instrução UPDATE, todas as referências ao CTE na instrução devem corresponder. Por exemplo, se um alias for atribuído ao CTE na cláusula FROM, o alias deverá ser usado para todas as outras referências ao CTE. Referências CTE não ambíguas são necessárias porque uma CTE não tem uma ID de objeto, que o SQL Server usa para reconhecer a relação implícita entre um objeto e seu alias. Sem esse relacionamento, o plano de consulta pode produzir um comportamento de junção inesperado e resultados de consulta não intencionais.

Tudo isso dito, só porque funciona MERGEnão significa que não haja bugs à espreita. Para um exemplo semi-relacionado veja MERGE into a view com INSTEAD OF triggers .

Pressionar com força as bordas das combinações de recursos complexos é uma ótima maneira de encontrar bugs de casos extremos.