下面哪個選項不是冗余數(shù)據(jù)？（）

創(chuàng)建存儲過程[getDetailByName]，通過輸入參數(shù)學生姓名（如"張三"），篩選出該學生的基本信息，對不存在此學生姓名的輸入值，必須作一檢測，打印信息“不存在此學生”。

順序封鎖發(fā)能夠解決死鎖。

選擇運算是傳統(tǒng)的集合運算符。

創(chuàng)建視圖[學生成績表視圖]，視圖中包括學號（Sno）、姓名（Sname）、課程號（Cno）、課程名（Cname）、成績（Grade）。

磁盤鏡像的作用在于并發(fā)控制。

建立學生表[Student]，其中學號屬性不能為空，并且其值是唯一的。

關系數(shù)據(jù)庫中查詢優(yōu)化是可以省略的。

建立索引是為了加快查詢速度。因此，對一個基本表可以建立多個索引。

一個關系模式總可以通過分解達到BCNF或3NF。