title: Is it OK to name a MySQL index the same as the column it indexes?
body: <p>Is it considered bad form to give an index the same name as the column it is based on?</p>
  
  <p>Like if you have a column named 'foo' and you want to create a normal index on it, would it be okay to name the index 'foo'? MySQL doesn't complain, but I am wondering what the pros and cons are. </p>