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

創(chuàng)建存儲(chǔ)過程[getDetailByName]，通過輸入?yún)?shù)學(xué)生姓名（如"張三"），篩選出該學(xué)生的基本信息，對(duì)不存在此學(xué)生姓名的輸入值，必須作一檢測(cè)，打印信息“不存在此學(xué)生”。

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

封鎖協(xié)議越嚴(yán)格，并發(fā)程度越低。

介質(zhì)故障是最容易發(fā)生的一種故障。

選擇運(yùn)算的基本方法有（）

查考試成績(jī)有不及格的學(xué)生的學(xué)號(hào)。

一個(gè)關(guān)系模式的范式級(jí)別達(dá)到3Nf后它一定是BCNF。

對(duì)于已提交事務(wù)，恢復(fù)時(shí)需要做redo操作。

透過視圖的更新被保存在視圖中。