Should I use JSON in MySQL here? - Theo's Typesafe Cult