Posso saber se um procedimento armazenado foi executado em um banco de dados específico?

A partir do SQL Server 2008, use can, sys.dm_exec_procedure_statsque fornece o status de quando o procedimento armazenado foi executado pela última vez

select db_name(database_id) as dbname,last_execution_time 
from sys.dm_exec_procedure_stats

(enfase adicionada)

Existe alguma maneira de provar definitivamente que foi/não foi

Não, não há como provar de forma definitiva que foi executado, exceto codificar o procedimento armazenado para fazer algo como inserir um registro em uma tabela de log mostrando que foi executado. No seu caso particular, isso também exigiria uma máquina do tempo para colocar isso em prática, e não acredito que isso seja possível de criar em primeiro lugar :-(.

Existem DMVs que podem rastrear execuções, mas são liberados por vários motivos:

• reinicialização do serviço
• DBCC FREESYSTEMCACHE('ALL')
• pressão de memória
• talvez outros

Claro, se você o vir em qualquer DMV, isso prova que ele foi executado, mas é melhor tirar uma captura de tela porque pode ter desaparecido na próxima vez que você executar essa consulta para mostrar a alguém que está lá ;-). No entanto, não encontrá-lo em um Detran não prova que ele nunca foi executado.

Portanto, junto com a consulta sugerida por @TheGameiswar, você também pode tentar o seguinte:

SELECT qplan.[objectid], qplan.[dbid], OBJECT_NAME(qplan.[objectid], qplan.[dbid])
FROM sys.dm_exec_cached_plans cplan
CROSS APPLY sys.dm_exec_query_plan(cplan.[plan_handle]) qplan
WHERE qplan.[objectid] IS NOT NULL;