3 ms·

I was thinking something a bit snappier and bit shorter... maybe an Index? Maybe it could be even maintained automatically by the database...