I want detail usage introduction about constraint,such as how to constrain astring to be exactly 4 character and start with 'z'.Where can I find thereference of CHECK? detail usage.