一个简单的存储过程的学习以及使用