Skapa märken för min webbplats, bästa sättet att lagra användarmärken? Använder PHP

Jag gör liknande med en webbsida. Och jag har ännu inte kommit över ett avgörande svar. Men lagra inte märkena som 0;5;6;4

Ha istället en tabell som heter user_badges

Table user_badges
     user_id
     badge_id

Och ha ett bord för märkena

 Table badges
    badge_id
    badge_name
    ..
    etc