定义和存储过程