Database Constraint Design and Implementation (Challenge)