Is it more efficient to store record IDs in a MySQL database as an Integer
or a String? I like string IDs better because you can create meaningful
names, but, not sure if this means the DB has to work harder or not.