约束的存储过程