存储过程经过编译、优化之后存储在数据库服务器中。