denormalization in sql - Theo's Typesafe Cult