嵌入存储过程