设有图书关系BOOK（BID，BNAME，QTY），属性依次是书号、书名、库存数量。规定当一批图书入库时，首先判断是否存在该书，如果存在则更改其库存数量，并通知客户最新的库存数量；否则，插入该书信息（书名暂时为空），并发出“新书入库”的提示信息。
设计一个存储过程来实现此功能，该存储过程有书号（@bid）和入库数量（@s）2个参数。同时，要求设计一个SQL程序验证存储过程的作用。