Přistoupil bych k možnosti 2. Samotné "id" se mi zdá dostatečné. Vzhledem k tomu, že tabulka je User, sloupec "id" v "user" označuje, že jde o identifikační kritérium pro uživatele.
Musím však dodat, že všechny konvence pojmenování jsou o konzistenci. Obvykle neexistuje žádné správné / špatné, pokud existuje konzistentní vzor a je aplikován napříč aplikací, to je pravděpodobně důležitější faktor v tom, jak efektivní budou konvence pojmenování. a jak daleko jdou směrem k tomu, aby byla aplikace srozumitelnější, a tedy i udržovatelná.