[RCU] user IDs in MySQL