发送短信 : Techniques for verifying database integrity constraints /