設(shè)有4個關(guān)系模式：

用SQL語句實現(xiàn)下列操作：
（1）查詢P1號零件的顏色。
（2）查詢S1號供應(yīng)商為J1號工程提供零件的編號和供應(yīng)數(shù)量，查詢結(jié)果按零件號降序排列。
（3）查詢由S1號供應(yīng)商提供紅色零件的工程號。
（4）查詢與其提供零件的供應(yīng)商所在城市為同一城市的工程號。
（5）統(tǒng)計所在地為杭州的工程數(shù)量。
（6）統(tǒng)計每個供應(yīng)商提供的零件總數(shù)。
（7）查詢比J1號工程使用的零件數(shù)量多的工程號。
（8）刪除為由S1號供應(yīng)商提供零件的工程信息。

設(shè)有圖書關(guān)系BOOK（BID，BNAME，QTY），屬性依次是書號、書名、庫存數(shù)量。規(guī)定當(dāng)一批圖書入庫時，首先判斷是否存在該書，如果存在則更改其庫存數(shù)量，并通知客戶最新的庫存數(shù)量；否則，插入該書信息（書名暫時為空），并發(fā)出“新書入庫”的提示信息。
設(shè)計一個存儲過程來實現(xiàn)此功能，該存儲過程有書號（@bid）和入庫數(shù)量（@s）2個參數(shù)。同時，要求設(shè)計一個SQL程序驗證存儲過程的作用。