Eu iria com a opção 2. Para mim, "id" em si parece suficiente. Como a tabela é User, a coluna "id" dentro de "user" indica que é o critério de identificação para User.

No entanto, devo acrescentar que as convenções de nomenclatura têm tudo a ver com consistência. Geralmente, não há certo / errado, desde que haja um padrão consistente e seja aplicado em todo o aplicativo, esse é provavelmente o fator mais importante na eficácia das convenções de nomenclatura. e até que ponto eles vão para tornar o aplicativo mais fácil de entender e, portanto, manter.