1-- Retrieves a user's ID from their registration number. 2select u.id 3from public.user_account as u 4where u.registration = $1;